18/03/2019 08:31:05 AM
Phần mềm-Ứng dụng
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 mới nhất:
- Procedures for Process Reuse (19/05/2025)
- Templates for Reusable Processes (19/05/2025)
- Process Reuse (17/04/2025)
- Technology Transfer (17/04/2025)
- Technology Insertion (13/03/2025)
» Các tin khác:
- Algorithm of Generating Test Data For IMA by Basing On Neural Networks (18/02/2019)
- Neural Networks (18/02/2019)
- The Goal of IMA Test (15/01/2019)
- WHY TO TEST IMA (15/01/2019)
- Những lí do để các bạn sinh viên cần học tốt môn Tin học đại cương (18/12/2018)
- Mô hình hóa ứng dụng Memo dựa vào mạng nơ ron (18/10/2018)
- Giải thuật sinh dữ liệu kiểm thử ứng dụng tương tác với mạng Noron (18/10/2018)
- Lưu đồ - Một công cụ hỗ trợ ra quyết định (18/10/2018)
- Phép toán Concurrency (18/08/2018)
- Phép toán Choice (18/08/2018)
