Ứng dụng

Nhằm đặc tả các đặc điểm đã xác định trong ngôn ngữ TTT, chúng tôi đã định nghĩa các loại lệnh như sau: các lệnh CTT nhằm đặc tả các phép toán CTT, các lệnh phỏng theo ngôn ngữ truy vấn dữ liệu SQL nhằm lưu trữ và xử lý dữ liệu về hành vi người dùng và các lệnh nhóm để dựng kịch bản kiểm thử.

<statement> ::=<begin_end>|<invar_operator>|

   <ctt_operator>|<sql_statement>|

<conditional_struct>  |<iteration_statement>

<begin_end > ::= begin <statement>+ end;