The Community for Technology Leaders
Proceedings. SCCC'99 XIX International Conference of the Chilean Computer Science Society (1999)
Talca, Chile
Nov. 11, 1999 to Nov. 13, 1999
ISSN: 1522-4902
ISBN: 0-7695-0296-2
pp: 96
Sandra C.P.F. Fabbri , Universidade Federal de S?o Carlos
José Carlos Maldonado , Universidade de S?o Paulo
Paulo Cesar Masiero , Universidade de S?o Paulo
Marcio Eduardo Delamaro , Universidade Estadual de Maring
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.
INDEX TERMS
Finite State Machines, Mutation Testing, Reactive Systems, Software Testing. Tools
CITATION

J. C. Maldonado, P. C. Masiero, S. C. Fabbri and M. E. Delamaro, "Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing," Proceedings. SCCC'99 XIX International Conference of the Chilean Computer Science Society(SCCC), Talca, Chile, 1999, pp. 96.
doi:10.1109/SCCC.1999.810159
83 ms
(Ver 3.3 (11022016))