Tài liệu Thư viện số

Danh mục TaiLieu.VN

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ử

6 p tailieu_husc 21/11/2024 32 0

Bình luận

ERROR:connection to 10.20.1.101:9315 failed (errno=111, msg=Connection refused)
ERROR:connection to 10.20.1.101:9315 failed (errno=111, msg=Connection refused)