Ứng dụng

The tool supports developing test models in the TTT language. It translates these models into an equivalent C program. In this section, we describe the features of the tool. In the next section, we present its underlying algorithms.

The TESTCTT model is built through four steps: (1) selecting a test target for the interactive multimodal application; (2) defining notations of activity in the model; (3) defining state variables and data types; (4) writing test scripts for each activity.

TESTCTT model is specified by means of the TTT language. However, instead of implementing a test generator based on TTT, we translate TESTCTT model into a C program which can be compiled in order to generate test data. Translation is a component of the environment TTTEST.