On the basis of analyzing the characteristics of ConcurTaskTrees (CTT), a well-know notation for specifying interactive application, extensions of CTT operators with conditional probabilities are proposed in order to take into account IMA. More precisely, the user behavior on IMA is often influenced by conditions on the application and its environment.
A new test modeling language is defined for interactive multimodal applications based on task trees. This language defines all the CTT operators, supports state definition, multimodality and conditional probabilities for IMA.
The transformation rules from CTT into a test model in the TTT language are formally developed.
A solution to generate test data for interactive applications is proposed.