Các phương pháp kiểm thử ứng dụng tương tác nêu trên đã sử dụng nhiều ký hiệu khác nhau để xây dựng các mô hình kiểm thử : Hành vi của ứng dụng được biểu diễn qua mô hình cây nhiệm vụ tương tranh, nhiệm vụ tương tác được biểu diễn qua máy trạng thái hữu hạn, hoạt động người dùng được biểu diễn trên hồ sơ hoạt động được gán trên cây nhiệm vụ. Nhiều ký hiệu làm cho việc mô hình hóa các thuộc tính và các quá trình trở nên khó khăn. Vì vậy, chúng tôi đã đề xuất ngôn ngữ mô hình hóa kiểm thử TTT để biểu diễn nhất quán các thuộc tính và các quá trình này.