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.

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)