Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443) (1999)
Boca Raton, Florida
Nov. 1, 1999 to Nov. 4, 1999
Sandra Camargo Pinto Ferraz Fabbri , Universidade Federal de S?o Carlos
José Carlos Maldonado , Universidade de S?o Paulo
Tatiana Sugeta , Universidade de S?o Paulo
Paulo Cesar Masiero , Universidade de S?o Paulo
The establishment of a low-cost, effective testing and validation strategy has been pursued by many researchers at the program level as well as at the specification level. The application of Mutation Testing for validating specifications based on Statecharts is proposed. A mutation operator set for Statecharts ? one of the crucial points for effectively applying Mutation Testing ? is defined; in this scope these operators can be taken as a fault model. We also provide strategies to abstract the statecharts components according to different Statecharts features that may comprise the testing and validation activity aims, providing is this way mechanisms for the establishment of an incremental, hierarchical, mutation-based testing strategy. Implementation and functional aspects of PROTEUM/ST, a tool currently under development, are also presented.
Finite State Machines, Statecharts, Mutation Testing, Reactive Systems, Software Testing
S. C. Fabbri, T. Sugeta, J. C. Maldonado and P. C. Masiero, "Mutation Testing Applied to Validate Specifications Based on Statecharts," Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443)(ISSRE), Boca Raton, Florida, 1999, pp. 210.