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:
- Bàn về thực hành các môn Hệ thống thông tin cho sinh viên không chuyên tin - Phần 1 (18/08/2019)
- Sepecification of the test oracles (16/08/2019)
- Synchronous Approach (16/08/2019)
- Tác dụng của phần MS Access với các môn học khác (18/06/2019)
- HDFS (Hadoop Distributed File System) (18/06/2019)
» 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)
