Bài viết đề xuất 1 phương pháp sinh dữ liệu kiểm thử tự động áp dụng kĩ thuật kiểm thử theo cặp nhằm thu được bộ test data với độ phủ cao. Thực nghiệm cho thấy phương pháp đề xuất cho kết quả tốt hơn so với kiểm thử ngẫu nhiên. | Đỗ Thị Bích Ngọc SINH DỮ LIỆU KIỂM THỬ CHO MÔ HÌNH HỆ THỐNG NHÚNG SỬ DỤNG KỸ THUẬT KIỂM THỬ THEO CẶP Đỗ Thị Bích Ngọc Học Viện Công Nghệ Bưu Chính Viễn Thông Tóm tắt Hệ thống nhúng đang ngày càng đóng vai trò quan Hoạt động kiểm thử một hệ thống phần mềm nói chung trọng trong đời sống hiện đại. Các hệ thống này đòi hỏi tính và hệ thống nhúng nói riêng là vấn đề thường chiếm tới 30- an toàn rất cao. Vì vậy đảm bảo chất lượng cho các hệ 50 thời gian cũng như kinh phí làm ra một hệ thống. thống nhúng này đã và đang thu hút sự quan tâm của cả Trong đó việc sinh dữ liệu kiểm thử test data quyết định giới nghiên cứu và công nghiệp. Trong các hệ thống nhúng đến chất lượng của kết quả kiểm thử. Một bộ test data được quy trình kiểm thử thường yêu cầu độ phủ cao với nhiều đánh giá là tốt nếu có khả năng phát hiện lỗi cao đạt độ độ đo theo các chuẩn quốc tế như CC DC MC DC của phủ theo chuẩn cho trước. Đã có nhiều tiêu chuẩn yêu cầu ISO 26262. Bài báo này đề xuất 1 phương pháp sinh dữ về an toàn các hệ thống nhúng như ISO 26262 IEC 61508 liệu kiểm thử tự động áp dụng kĩ thuật kiểm thử theo cặp EN-50128 IEC 60880 and DO-178C Trong các hệ nhằm thu được bộ test data với độ phủ cao. Thực nghiệm thống này yêu cầu kiểm thử cao hơn đòi hỏi phải có bộ cho thấy phương pháp đề xuất cho kết quả tốt hơn so với test data để phủ hết tất cả các đường chạy xảy ra. kiểm thử ngẫu nhiên. Không như các hệ thống phần mềm thông thường tín hiệu đầu vào của hệ thống nhúng là các chuỗi dữ liệu theo Từ khoá Độ phủ CC độ phủ DC độ phủ MC DC mô thời gian. Do vậy việc sinh test data cho hệ thống nhúng hình hệ thống nhúng kiểm thử kiểm thử theo cặp tín gặp nhiều khó khăn và phức tạp hơn so với hệ thống phần hiệu liên tục mềm thông thường. I. GIỚI THIỆU Việc kiểm thử mô hình hệ thống nhúng có 2 vấn đề Hiện nay hệ thống nhúng đang phát triển mạnh mẽ và chính ngày càng đóng vai trò quan trọng trong cuộc sống của con Vấn đề 1 Đầu vào của hệ thống nhúng thường là tín hiệu người. Hệ thống nhúng bao gồm .
