loading...
Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing
Talca, Chile November 11-November 13
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SCCC.1999.81015919th International Conference of the ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Sandra C.P.F. Fabbri, José Carlos Maldonado, Paulo Cesar Masiero, Marcio Eduardo Delamaro, "Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing," Chilean Computer Science Society, International Conference of the, pp. 96, 19th International Conference of the Chilean Computer Science Society, 1999.
 
 
BibTex
x
 
@article{ 10.1109/SCCC.1999.810159,
author = {Sandra C.P.F. Fabbri and José Carlos Maldonado and Paulo Cesar Masiero and Marcio Eduardo Delamaro},
title = {Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing},
journal ={Chilean Computer Science Society, International Conference of the},
volume = {0},
year = {1999},
issn = {1522-4902},
pages = {96},
doi = {http://doi.ieeecomputersociety.org/10.1109/SCCC.1999.810159},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Chilean Computer Science Society, International Conference of the
TI - Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing
SN - 1522-4902
SP
EP
A1 - Sandra C.P.F. Fabbri,
A1 - José Carlos Maldonado,
A1 - Paulo Cesar Masiero,
A1 - Marcio Eduardo Delamaro,
PY - 1999
KW - Finite State Machines
KW - Mutation Testing
KW - Reactive Systems
KW - Software Testing. Tools
VL - 0
JA - Chilean Computer Science Society, International Conference of the
ER -
 
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
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:
Sandra C.P.F. Fabbri, José Carlos Maldonado, Paulo Cesar Masiero, Marcio Eduardo Delamaro, "Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing," sccc, pp.96, 19th International Conference of the Chilean Computer Science Society, 1999
Usage of this product signifies your acceptance of the Terms of Use.