Proteum/FSM: A tool to support finite state machine validation based on mutation testing

Proceedings - International Conference of the Chilean Computer Science Society, SCCC

Volumn 1999-November, Issue , 1999, Pages 96-104

  Fabbri, Sandra C P F ^a   Delamaro, Márcio Eduardo ^b   Maldonado, José Carlos ^c   Masiero, Paulo Cesar ^c  

^a FEDERAL UNIVERSITY OF SÃO CARLOS   (Brazil)

^b STATE UNIVERSITY OF MARINGÁ   (Brazil)

^c UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE DESIGN; SOFTWARE ENGINEERING; SPECIFICATIONS; VERIFICATION;

EFFECTIVE TESTING; MUTATION TESTING; OPERATIONAL ASPECTS; QUALITY ASSESSMENT; RESEARCH ISSUES; SOFTWARE DEVELOPMENT PROCESS; TESTING TECHNIQUE; VALIDATION STRATEGIES;

SOFTWARE TESTING;

EID: 84939481683     PISSN: 15224902     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCCC.1999.810159     Document Type: Conference Paper

References (20)

1. Petrenko, A.; Bochmann, G.v. "On Fault Coverage of Tests for Finite State Specifications", http://www.iro.umontreal.ca/pub/teleinfo/TRs/Petr96b.ps.gz, 1996.
2. Gill, A. Introduction to the Theory of Finite-State Machines, New York, McGraw-Hill, 1962.
3. Harel, D. "Statecharts: On the Formal Semantics of Statecharts", in Proc. 2nd IEEE Symposium on Logic in Computer Science, Ithaca, New York, 1987.
4. Peterson, J.L. Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, N.J, 1981.
5. Masiero, P.C.; Maldonado, J.C.; Boaventura, I.G. "A Reachability Tree for Statecharts and Analysis of Some Properties", Information and Software Technology, Vol. 36 (10), pp. 615-624, 1994.
6. Harel, D. "Biting the Silver Bullet - Toward a Brighter Future for Systems Development", Computer IEEE, pp. 8-20, January, 1992.
7. Chow, T.S. "Testing Software Design Modeled by Finite-State Machines", IEEE Transactions on Software Engineering, SE (4(3)), pp. 178-187, 1978.
8. Fujiwara, S.; Bochmann, G.V.; Khendek,F.; Amalou, M.; Ghedamsi, A. "Test Selection Based on Finite State Models", IEEE Transaction on Software Engineering, Vol. 17, N. 6, June, 1991.
9. Naito, S.; Tsunoyama, M. "Fault Detection for Sequential Machines by Transition-Tours", in Proceedings of FTCS -Fault Tolerant Comput. Systems, pp. 238-243, 1981.
10. Bochmann, G.v.; Petrenko, A. "Protocol Testing: Review of Methods and Relevance for Software Testing", in Proceedings of the ISSTA'1994 - International Symposium on Software Testing and Analysis, ACM - Software Engineering Notes, pp. 109-124, 1994.
11. Fabbri, S.C.P.F.; Maldonado, J.C.; Delamaro, M.E.; Masiero, P.C. "Mutation Analysis Testing for Finite State Machines", in Proc. ISSRE'94 - Fifth International Symposium on Software Reliability Engineering, California, pp. 220-229, November, 1994.
12. Fabbri, S.C.P.F.; Maldonado, J.C.; Masiero, P.C.; Delamaro, M.E.; Wong, E. "Mutation Testing Applied to Validate Specifications Based on Petri Nets", in Proc. FORTE'95 - 8th International IFIP Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, Montreal, Canada, October, 1995.
13. Fabbri, S.C.P.F.; Maldonado, J.C.; Masiero, P.C. "Mutation Testing Applied to Validate Specifications Based on Statecharts", ISSRE'99 - X International Symposium on Software Reliability Engineering, Boca Raton, FL, USA (accepted for publication).
14. Horgan, J.R.; Mathur, A.P. "Assessing Testing Tools in Research and Education", IEEE Software, May, 1992.
15. DeMillo, R.A.; Lipton, R.J.; Sayward, F.G. "Hints on Test Data Selection: Help for the Practicing Programmer", Computer, Vol. 11(4), pp. 34-41, 1978.
16. DeMillo, R.A. "Mutation Analisys as a Tool for Software Quality Assurance", in Proceedings of COMPSAC 80, Chicago-IL, October, 1980.
17. Gabos, D.; Stiubiener, S. "Aspects of Test Sequence Generation Methodology for Data Communication Protocols", in Proc. of the 8 Simposium of Computer Networks, 1990 (in Portuguese).
18. Delamaro, M.E. "Proteum - A Test Environment Based on Mutation Analysis Master Thesis, ICMSC-USP, October, 1993 (in Portuguese).
19. Masiero, P.C.; Fortes, R.P.M.; Batista Neto, J.E.S. "Edition and Simulation of Behavioral Aspects of Real Time Systems", in Proceedings of XI National Congress of SBC, XVIII SEMISH, Santos, pp. 45-61, August, 1991.
20. Mathur, A.P.; Wong, W.E. "Evaluation of the Cost of Alternate Mutation Strategies", in Anais VII SBES - Simpósio Brasileiro de Engenharia de Software, Rio de Janeiro, RJ, pp.320-335, Outubro, 1993.