Test Case Generation with Test Purpose Specification by MSCs

This paper presents a new test case generation method based on formal system specifications in SDL. The test purpose of a specific test case is specified formally by one or many Message Sequence Charts (MSCs). Based on the test purpose and the system specification a complete test case can be generated automatically in the TTCN format, including preamble, postamble and test body with all test verdicts.