Integrated Model-based Test Case Generation

Model-based test case generation provides a solid foundation for the software quality assurance and gains more and more attention to the industries. It is important to perform software testing as early as possible to detect faults, reduce software development time and cost. Manyresearchers have considered using UML diagrams to generate test cases. Few work on the test case generation using combination of sequencediagram and statechart diagrams is reported in literatures. In this paper, we present an integrated approach to generating test cases from sequencediagrams using UML2.x syntax. The approach combines UML2 sequence diagrams and statecharts hierarchically and generate test paths basedon message flow graph. We also define various coverage criteria to generate test paths. We have applied it to a case study to investigate its faultdetection capability. The results show that the proposed approach effectively detects all the seeded faults when complying with the mostdemanding adequacy criterion and still achieves reasonably good results for less expensive adequacy criteria. As a result, this work provides asolid foundation for further research on automatic test case generation, coverage criteria analysis of sequence diagram based object orientedtesting