Kiểm thử hồi quy cho các ứng dụng Lustre/SCADE
- Kỹ thuật kiểm chứng mô hình cho các hệ thống phản ứng và những đặc trưng của nó
- Giải pháp sử dụng điều kiện kích hoạt trên mạng lưới toán tử của các chương trình Lustre, kết hợp với kỹ thuật kiểm chứng mô hình để sinh dữ liệu thử cho các chương trình Lustre/SCADE.
-
Các giải pháp sinh dữ liệu kiểm thử cho việc kiểm thử hồi quy các chương trình Lustre/Scace:
- GSRS - Sinh dữ liệu kiểm thử cho việc kiểm thử hồi quy với đầu vào là tài liệu yêu cầu bằng ngôn ngữ tự nhiên;
- GSCR - Sinh dữ liệu kiểm thử cho việc kiểm thử hồi quy với đầu vào là tài liệu yêu cầu được đặc tả bằng SCR;
- GOPN - Sinh dữ liệu kiểm thử cho việc kiểm thử hồi quy với đầu vào chính là mã nguồn của chương trình Lustre. công cụ LUSREGTES hỗ trợ sinh dữ liệu kiểm thử tự động cho việc kiểm thử hồi quy các chương trình Lustre/SCADE.
Tin khác:
- Bắt đầu với Docker – Phần 7: Triển khai ứng dụng web bằng Docker
- Giải quyết bài hiệu năng của Web Services sử dụng mô hình mạng hàng đợi và phân tích hồi quy Gaussian
- Analyze Data.
- Activities for Quantitative Test Process Control
- Bắt đầu với Docker – Phần 6: Tự động hóa triển khai với Docker Compose