Mutation Testing Applied to Estelle Specifications

  • Authors:

  • Simone Do Rocio Senger De Souza;José Carlos Maldonado;Sandra Camargo Pinto Ferraz Fabbri;Wanderley Lopes De Souza

  • Affiliations:

  • Departamento de Informática, Universidade Estadual de Ponta Grossa (UEPG) rocio@icmc.sc.usp.br;Departamento de Computação e Estati´stica, ICMC/USP, São Carlos jcmaldon@icmc.sc.usp.br;Departamento de Computação, Universidade Federal de São Carlos-UFSCar sfabbri@dc.ufscar.br;Departamento de Computação, Universidade Federal de São Carlos-UFSCar desouza@dc.ufscar.br

  • Venue:
  • Software Quality Control
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 mutant 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.