Phần mềm-Ứng dụng
Our objective is to define a test modeling language, called TTT, making it possible to express scenarios and conditional operational profiles. These conditions are variables introduced by test designers and must be defined in the test model. We have outlined the main characteristics and operational semantics of this test modeling language:
• The TTT language must support conditional probability specifications for all the CTT operators.
• The TTT language should store the “traces” of the user actions and support read-only functions on these traces.
• The TTT language should be formally defined to support automatic test generation.
• The TTT language operator semantics are defined as shown in section 4 by means of a C-like language.
» Tin mới nhất:
- Tools for TMM Level 1 (09/12/2025)
- Testing tools (09/12/2025)
- Bắt đầu với Docker – Phần 4: Docker Image và cách xây dựng với Dockerfile (05/12/2025)
- Evaluating Testing Tools for the Workbench (14/11/2025)
- Goals for the Testers’ Workbench (14/11/2025)
» Các tin khác:
- VAI TRÒ CỦA HỆ THỐNG THÔNG TIN QUẢN LÍ DU LỊCH (17/09/2017)
- Synchronous Approach (17/08/2017)
- Event B models (17/08/2017)
- Controller và URLs trong CodeIgniter Framework (17/05/2017)
- TÌM HIỂU VỀ CODEIGNITER (17/05/2017)
- Ứng dụng xử lí dữ liệu thành thông tin (18/04/2017)
- Bài 02- Ánh xạ cây cú pháp, luật sinh từ tiếng Anh sang tiếng Việt (18/04/2017)
- Bài 01 Văn phạm tiếng Việt - Quá trình chuyển đổi cú pháp từ tiếng Anh qua tiếng Việt (18/04/2017)
- Tạo chức năng Slide Porfolio chỉ với CSS3 (17/03/2017)
- Tạo hiệu ứng bắn pháo hoa bằng HTML5 và Javascript (17/03/2017)
