Timed Test Cases Generation based on MSC-2000 Test Purposes

This paper addresses timed test cases generation using test purposes given as Message Sequence Charts (MSCs). A test purpose is a partial behaviour of the system under test. Test purposes are very important in testing because they help reduce the number of test cases while guaranteeing acceptable faults coverage. The adoption of MSCs as a model for test purposes is very important because they have a graphical representation that can be used to express clearly what the user wants to test. The approach presented in this paper is fundamentally based on timed input output automata (TIOA) theory. An example is used to illustrate the concepts and the steps of the approach presented in this paper