Ứng dụng

Môi trường kiểm thử được hoạt động như sau:

• Bước 1: Chương trình C tạo dữ liệu đầu ra X từ một trạng thái nội bộ của chương trình. Trạng thái của chương trình C được định nghĩa dựa trên dữ liệu đầu vào, đầu ra và trạng thái hiện tại của ứng dụng tương tác.
• Bước 2: Chuyển đầu ra X thành dữ liệu đầu vào cho ứng dụng tương tác. Dữ liệu X thực chất là các thao tác của người dùng tương tác với ứng dụng. Vì vậy, X là các dữ liệu kiểm thử đối với ứ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 chương trình và tiếp tục quay lại Bước 1. Toàn bộ các dữ liệu đầu vào, đầu ra đều được lưu vào bộ lưu dấu vết hành vi người dùng. Các điều kiện sinh dữ liệu thử từ chương trình C được tính toán từ bộ lưu dấu vết này.