Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (2000)
Jan. 4, 2000 to Jan. 7, 2000
Simone do Rocio Senger de Souza , Universidade Estadual de Ponta Grossa
Sandra Camargo Pinto Ferraz Fabbri , Universidade Federal de S?o Carlos-UFSCar
Wanderley Lopes de Souza , Universidade Federal de S?o Carlos-UFSCar
José Carlos Maldonado , Universidade de S?o Paulo
Many researchers have pursued the establishment of a low-cost, effective testing and validation strategy at the program level as well as at the specification level. Mutation Testing is an error-based approach, originally introduced for program testing, that provides testers a systematic way to evaluate how good a given test set is. Some studies have also investigated its use to generate test sets. In this article, the application of Mutation Testing for validating Estelle specifications is proposed.A mutation operator set for Estelle - one of the crucial points for effectively applying Mutation Testing - is defined, addressing: the validation of the behavior of the modules, the communication among modules and the architecture of the specification. In this scope, these operators can be taken as a fault model. Considering this context, a strategy for validating Estelle-based specification is proposed and exemplified using the Alternating-bit protocol.
S. d. Senger de Souza, W. Lopes de Souza, S. C. Fabbri and J. C. Maldonado, "Mutation Testing Applied to Estelle Specifications," Proceedings of the 33rd Annual Hawaii International Conference on System Sciences(HICSS), Maui, Hawaii, 2000, pp. 8011.