首页 | 本学科首页   官方微博 | 高级检索  
     


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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号