Sinh dữ liệu thử ứng dụng Lustre Scade

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.

6p vijaguar 16-11-2022 17 4   Download

Mục tiêu cuối cùng của đề tài là tự động hóa quá trình kiểm thử hồi quy cho các hệ thống phản ứng được xây dựng bởi ngôn ngữ Lustre và môi trường SCADE. Trong đó, đề tài tập trung xây dựng được giải pháp sinh ca kiểm thử tự động trong kiểm thử hồi quy các ứng dụng Lustre/SCADE.

27p cotithanh000 07-10-2019 64 3   Download

Bài viết Sinh dữ liệu thử cho ứng dụng Lustre Scade sử dụng điều kiện kích hoạt tập trung nghiên cứu việc kiểm thử tự động cho các ứng dụng Lustre/SCADE. Bài viết đề xuất kỹ thuật sử dụng các điều kiện kích hoạt trên mạng lưới toán tử (operator network) để sinh ra các dữ liệu thử một cách tự động.

12p maiyeumaiyeu26 23-12-2016 38 1   Download