Hành vi của ứng dụng tương tác thường được mô tả bằng cách sử dụng CTT. Vì vậy, chúng tôi đề xuất các quy tắc chuyển đổi sau đây để ánh xạ các nhiệm vụ từ CTT sang các lệnh của ngôn ngữ TTT.

-        Quy tắc 1. Nhiệm vụ tương tác trong CTT được chuyển thành kết quả đầu ra của TESTCTT.

-        Quy tắc 2. Nhiệm vụ ứng dụng trong CTT được chuyển thành đầu vào của TESTCTT.

-        Quy tắc 3. Các trạng thái trong CTT được ánh xạ vào biến trạng thái của TESTCTT. Chúng được khai báo trong mệnh đề var của TESTCTT.

-        Quy tắc 4.Các phép toán với xác suất có điều kiện trong CTT được biểu diễn như là các hàm trong TESTCTT.

-        Quy tắc 5. Tính bất biến của các đầu vào ứng dụng được mô hình hoá với các phép toán Invar.