17/05/2015 10:11:00 AM
Phần mềm-Ứng dụng
Cấu trúc của mô hình TESTCTT
Một TESTCTT có nhiều đầu vào và nhiều đầu ra. Các đầu vào của TESTCTT tương ứng với các đầu ra của ứng dụng tương tác và các đầu vào của TESTCTT tương ứng với các đầu ra của ứng dụng tương tác. Mệnh đề sets định nghĩa các kiểu dữ liệu được sử dụng trong TESTCTT. Trong ngôn ngữ TTT có các kiểu dữ liệu boolean, integer hoặc kiểu liệt kê. Mệnh đề var trình bày các biến trạng thái của mô hình kiểm thử. Các biến trạng thái cung cấp một khung nhìn trừu tượng về trạng thái hiện hành của ứng dụng tương tác.
» Tin mới nhất:
- Những thủ thuật sử dụng Visual Studio Code (18/12/2025)
- 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)
» Các tin khác:
- Ngôn ngữ mô hình hóa TTT (18/04/2015)
- Bổ sung điều kiện cho hồ sơ hoạt động trên cây nhiệm vụ (18/04/2015)
- Quy trình xử lý thông tin của hệ thống thông tin kế toán trong doanh nghiệp (18/03/2015)
- Phân loại các vấn đề (18/03/2015)
- Phân loại hệ thống tương tác (18/03/2015)
- Phương pháp đại số (18/03/2015)
- Hệ thống thông tin hỗ trợ ra quyết định (18/03/2015)
- Khách sạn thời đại công nghệ (18/03/2015)
- Phương pháp B (17/01/2015)
- Phương pháp ICO (17/01/2015)
