Phần mềm-Ứng dụng

Mô hình TESTCTT được xây dựng qua bốn bước: (1) chọn một mục tiêu kiểm thử cho ứng dụng tương tác; (2) định nghĩa các ký hiệu của các hoạt động trong mô hình; (3) thiết kế các biến trạng thái và chọn các kiểu dữ liệu cho các biến; (4) cuối cùng viết các kịch bản kiểm thử cho mỗi hoạt động. Mô hình TESTCTT có mục đích sinh dữ liệu kiểm thử. Tuy nhiên, mô hình TESTCTT không thể thực thi được, vì vậy chúng tôi tiến hành biên dịch sang một chương trình C.