Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing

Authors:
Sandra C. P. F. Fabbri;José Carlos Maldonado;Paulo Cesar Masiero;Marcio Eduardo Delamaro
Affiliations:
-;-;-;-
Venue:
SCCC '99 Proceedings of the 19th International Conference of the Chilean Computer Science Society
Year:
1999

Citing 0
Cited 3

Towards Mutation Analysis for Lustre Programs

Electronic Notes in Theoretical Computer Science (ENTCS)
A transformational language for mutant description

Computer Languages, Systems and Structures
A scoping study on the 25 years of research into software testing in Brazil and an outlook on the future of the area

Journal of Systems and Software

Quantified Score

Hi-index	0.05

Visualization

Abstract

The quality of the VV&T - Verification, Validation and Testing - activity is extremely relevant to the software development process. Testing techniques and criteria have been investigated in the context of VV&T of Reactive Systems specifications, providing mechanisms to the VV&T activity quality assessment. The establishment of a low-cost, effective testing and validation strategy and the development of supporting tools have been pursued by many researchers for coding and specification as well. This paper discusses the main architectural and operational aspects of a tool, named Proteum/FSM, that supports the application of Mutation Testing for validating Reactive Systems specifications based on Finite State Machines (FSM). Further improvements and research issues are briefly discussed.