Paper Info
Title
Evaluation of Test Criteria for Space Application Software Modeling in Statecharts
Abstract
Several papers have addressed the problem of knowing which software test criteria are better than others with respect to parameters such as cost, efficiency and strength. This paper presents an empirical evaluation in terms of cost and efficiency for one test method for Finite State Machines, switch cover, and two test criteria of the Statechart Coverage Criteria Family, all-transitions and all-simple-paths, for a reactive system of a space application. Mutation analysis was used to evaluate efficiency in terms of killed mutants. The results show that the two criteria and the method presented the same efficiency but all-simple-paths presented a better cost because its test suite is smaller than the one generated by switch cover. Besides, test suite due to the all-simple-paths criterion killed the mutants faster than the other test suites meaning that it might be able to detect faults in the software more quickly than the other criteria.
Year
DOI
Venue
2008
10.1109/CIMCA.2008.147
CIMCA/IAWTIC/ISE
Keywords
Field
DocType
software testing,cost efficiency,finite state machine,testing,mutation analysis,data mining,reactive system,finite state machines,synchronization,switches,test methods
Test suite,Computer science,Software,Artificial intelligence,Application software,Test method,Simulation,State diagram,Finite-state machine,Test case,Reactive system,Reliability engineering,Machine learning
Conference
ISBN
Citations 
PageRank 
978-0-7695-3514-2
1
0.34
References 
Authors
9
4
Name
Order
Citations
PageRank
Erica Ferreira1286.40
Valdivino Santiago2463.52
Danielle Guimarães3161.88
Nandamudi L. Vijaykumar4547.18