Xây dựng công cụ sinh đột biến cho chương trình Lustre

Abstract

Lustre là ngôn ngữ đồng bộ luồng dữ liệu, được sử dụng rộng rãi để phát triển các hệ thống phản ứng, hệ thống điều khiển và hệ thống giám sát, như lò phản ứng hạt nhân, máy bay dân sự, xe ôtô... Đặc biệt, Lustre rất thích hợp cho phát triển các hệ thống thời gian thực. Trong các ứng dụng như vậy, các hoạt động kiểm thử để phát hiện lỗi giữ một vai trò rất quan trọng. Trong đó, kiểm thử đột biến là một trong những kỹ thuật được sử dụng phổ biến để đánh giá khả năng phát hiện lỗi của dữ liệu thử. Việc sinh ra các đột biến từ bộ toán tử đột biến đã đề xuất là một công việc quan trọng và tốn nhiều chi phí (thời gian, nhân lực), nếu ta thực hiện sinh đột biến bằng phương pháp thủ công. Trong luận văn này, chúng tôi trình bày giải pháp sinh đột biến một cách tự động cho chương trình Lustre dựa trên bộ toán tử đã được định nghĩa. Công cụ sinh đột biến tự động là một yêu cầu cấp bách cho việc kiểm thử đột biến các chương trình Lustre, từ đó có thể áp dụng kiểm thử đột biến cho chương trình Lustre với quy mô lớn hơn. Công cụ được thử nghiệm sinh đột biến trên một số lớn các chương trình Lustre và cho kết quả khả quan.