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

Với mục đích sinh dữ liệu kiểm thử cho các ứng dụng tương tác, chúng tôi đề xuất môi trường kiểm thử, được gọi là TTTEST (TTT-based Test) . Môi trường kiểm thử TTTEST gồm bốn thành phần cơ bản: mô hình TESTCTT được đặc tả bằng ngôn ngữ TTT, chương trình C được biên dịch từ mô hình TESTCTT, ứng dụng tương tác cần kiểm thử và bộ lưu dấu vết hành động của người dùng.Hoạt động của môi trường TTTEST được mô tả như sau:

-      Bước 0: Mô hình TESTCTT được dịch sang chương trình C.

-      Bước 1: Chương trình Ctạo dữ liệu đầu ra X từ một trạng thái nội bộcủa chương trình.

-      Bước 2: Chuyển đầu ra X thành dữ liệu đầu vào cho ứng dụng tương tác.

-      Bước 3. Ứng dụng tương tác nhận đầu vào X và xử lý cho kết quả đầu ra Y.

-      Bước 4. Chương trình C nhận Y làm dữ liệu đầu vào, cập nhật biến trạng thái nội bộ của mô hình và tiếp tục quay lại Bước1.