Proteum: a family of tools to support specification and program testing based on mutation
作者： José Carlos Maldonado , Márcio Eduardo Delamaro , Sandra CPF Fabbri , Adenilso da Silva Simão , Tatiana Sugeta
DOI: 10.1007/978-1-4757-5939-6_19
关键词:
摘要: The qualification of the VV&T- Verification, Validation and Testing - activity is extremely relevant to software development process. establishment a low-cost, effective testing validation strategy supporting tools have been pursued by many researchers. This presentation discusses main architectural operational aspects family that support specification program based on mutation. C programs supported Proteum/IM 2.0, at unit integration level as well. Proteum an acronym for PROgram Using Mutants. At application mutation validating Reactive Systems (RS) specifications Finite State Machines (FSM), Statecharts Petri Nets Proteum/RS.
springer.com
acm.org 
sci-hub.st 参考文章(20)
José Carlos Maldonado, Ellen Francine Barbosa, Auri Marcelo Rizzo Vincenzi, Márcio Eduardo Delamaro, None, Evaluating N -selective mutation for C programs: unit and integration testing Mutation testing for the new century. pp. 22- 33 ,(2001) , 10.1007/978-1-4757-5939-6_6
Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado, Ellen Francine Barbosa, Márcio Eduardo Delamaro, Unit and Integration Testing Strategies for C Programs Using Mutation-Based Criteria Springer, Boston, MA. pp. 45- 45 ,(2001) , 10.1007/978-1-4757-5939-6_8
Marcio Eduardo Delamaro, Jose Carlos Maldonado, Auri Marcelo Rizzo Vincenzi, None, Proteum/IM 2.0: An Integrated Mutation Testing Environment Mutation testing for the new century. pp. 91- 101 ,(2001) , 10.1007/978-1-4757-5939-6_17
S. C. P. F. Fabbri, J. C. Maldonado, P. C. Masiero, M. E. Delamaro, E. Wong, Mutation Testing Applied to Validate Specifications Based on Petri Nets formal techniques for (networked and) distributed systems. pp. 329- 337 ,(1995) , 10.1007/978-0-387-34945-9_24
Simone do Rocio Senger de Souza, Sandra Camargo Pinto Ferraz Fabbri, Wanderley Lopes de Souza, José Carlos Maldonado, None, Mutation testing applied to Estelle specifications hawaii international conference on system sciences. ,vol. 8, pp. 285- 301 ,(2000) , 10.1023/A:1008978021407
Sandra Camargo Pinto Ferraz Fabbri, José Carlos Maldonado, ME Delamaro, None, Proteum/FSM: a tool to support finite state machine validation based on mutation testing international conference of the chilean computer science society. pp. 96- 104 ,(1999) , 10.1109/SCCC.1999.810159
M. Delamaro, J.C. Maldonado, Interface mutation: assessing testing quality at interprocedural level international conference of the chilean computer science society. pp. 78- 86 ,(1999) , 10.1109/SCCC.1999.810156
SC Pinto Ferraz Fabbri, Márcio Eduardo Delamaro, José Carlos Maldonado, Paulo Cesar Masiero, None, Mutation analysis testing for finite state machines international symposium on software reliability engineering. pp. 220- 229 ,(1994) , 10.1109/ISSRE.1994.341378
S.C.P.F. Fabbri, J.C. Maldonado, T. Sugeta, P.C. Masiero, Mutation testing applied to validate specifications based on statecharts international symposium on software reliability engineering. pp. 210- 219 ,(1999) , 10.1109/ISSRE.1999.809326
Aditya P. Mathur, W. Eric Wong, An empirical comparison of data flow and mutation‐based test adequacy criteria Software Testing, Verification & Reliability. ,vol. 4, pp. 9- 31 ,(1994) , 10.1002/STVR.4370040104