| State-based testing may be applied at any scope for object-oriented software testing. A number of testing strategies have been proposed using state machines and statecharts as test models in order to derive test sequences and validate classes or class clusters. Though such criteria have the advantage of being systematic, little is known on how cost effective they are and how they compare to each other.; This thesis presents a precise simulation and analysis procedure that involves large set of faults and the execution of large number of test sets. We investigate the cost effectiveness of four of the most referenced coverage criteria on two different representative examples, with state-dependent classes. Through the analysis of common results and differences in two case studies, more general conclusions are drawn regarding the cost benefit of using test case selection strategies based on statechart. A tool framework is developed to automate the experiment process and used to carry out our two case studies. |
