Automatic test selection based on CEFSM specifications

Authors:
Gábor Kovács;Zoltán Pap;Gyula Csopaki
Affiliations:
Department of Telecommunications and Telematics, Budapest University of Technology and Economics, Magyar tudósok körútja 2, H-1117 Budapest, HUNGARY;Department of Telecommunications and Telematics, Budapest University of Technology and Economics, Magyar tudósok körútja 2, H-1117 Budapest, HUNGARY;Department of Telecommunications and Telematics, Budapest University of Technology and Economics, Magyar tudósok körútja 2, H-1117 Budapest, HUNGARY
Venue:
Acta Cybernetica
Year:
2002

Citing 5
Cited 2

On fault coverage of tests for finite state specifications

Computer Networks and ISDN Systems - Special issue on protocol testing
Fault classes and error detection capability of specification-based testing

ACM Transactions on Software Engineering and Methodology (TOSEM)
The Theory of Parsing, Translation, and Compiling

The Theory of Parsing, Translation, and Compiling
A Specification-Based Coverage Metric to Evaluate Test Sets

HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
Using Model Checking to Generate Tests from Specifications

ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods

Iterative automatic test generation method for telecommunication protocols

Computer Standards & Interfaces
Testing of a source address validation protocol with parallel parameterized extended finite state machines

AINTEC '11 Proceedings of the 7th Asian Internet Engineering Conference

Quantified Score

Hi-index	0.01

Visualization

Abstract

Mutation analysis is a fault based testing method used initially for code based software testing. In this paper, this method is applied to formal specifications and used for automatic conformance test selection. This paper defines formally a set of mutation operators for CEFSM (Communicating Extended Finite State Machine) systems to enable the automated creation of mutant specifications. Mutants of a specification are used as selection criteria to pick out adequate test cases. Two different algorithms are proposed for the generation and selection of efficient test suites. Additionally, the operators and algorithms provide the basis of an automatic tool developed at the Budapest University of Technology and Economics. We present the results of an empirical study on the well-known INRES protocol acquired using the tool.