M. Sarma and R. Mall


System testing, automatic testing, statebased testing, transitioncoverage, transition path coverage


State and transition coverage during system testing is crucial to ensuring the reliability of software systems. However, the state diagrams of complete systems turn out to be so large and complex that they are seldom constructed by the developers. A state diagram of a system on the other hand is the primary artifact based on which test cases for achieving state and transition coverage could be designed. We therefore synthesize state diagrams of systems from other available UML models. Based on the synthesized system state models, we automatically generate test cases for transition path coverage. As there appears to be no published work on state-based system testing, we compare our work with traditional testing techniques. From our experiments, we find that our approach could uncover several faults that were not detected by traditional approaches.

Important Links:

Go Back