Xây dựng công cụ sinh dữ liệu thử cho chương trình Lustre/SCADE dựa trên kiểm chứng mô hình

Bài viết Xây dựng công cụ sinh dữ liệu thử cho chương trình Lustre/SCADE dựa trên kiểm chứng mô hình tập trung nghiên cứu việc kiểm thử tự động cho các ứng dụng Lustre/SCADE, đề xuất sử dụng kỹ thuật kiểm chứng mô hình trên trên mạng lưới toán tử (operator network) để sinh ra các ca kiểm thử một cách tự động.

Từ khóa: Hệ thống phản ứng, Sinh ca kiểm thử, Chương trình Lustre/SCADE, Ngôn ngữ đồng bộ luồng dữ liệu, Mạng lưới toán tử