An incremental testing method based on timed Message Sequence Charts

This paper addresses timed test cases generation using test purposes given as Message Sequence Charts (MSCs) [1]. 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 fault coverage. The adoption of MSCs as a model for test purposes is very important because they have graphical notations 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. The approach has been implemented using C++.