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

Abstract

Hệ thống nhúng đang ngày càng đóng vai trò quan trọng trong đời sống hiện đại. Các hệ thống này đòi hỏi tính an toàn rất cao. Vì vậy, đảm bảo chất lượng cho các hệ thống nhúng này đã và đang thu hút sự quan tâm của cả giới nghiên cứu và công nghiệp. Trong các hệ thống nhúng, quy trình kiểm thử thường yêu cầu độ phủ cao, với nhiều độ đo theo các chuẩn quốc tế, như CC, DC, MC/DC của ISO 26262. Bài báo này đề 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.