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 |
| |
Affiliation: | (1) Departamento de Informática, Universidade Estadual de Ponta Grossa (UEPG), USA;(2) Departamento de Computação e Estati´stica, ICMC/USP, São Carlos, USA;(3) Departamento de Computação, Universidade Federal de São Carlos-UFSCar, USA |
| |
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. |
| |
Keywords: | specification-based testing mutation testing Estelle |
本文献已被 SpringerLink 等数据库收录! |
|