Proteum/FSM: a tool to support finite state machine validation based on mutation testing
作者： Sandra Camargo Pinto Ferraz Fabbri , José Carlos Maldonado , ME Delamaro , None
关键词:
摘要: The quality of the VV&T-Verification, Validation and Testing-activity is extremely relevant to software development process. Testing techniques criteria have been investigated in context VV&T reactive systems specifications, providing mechanisms activity assessment. establishment a low-cost, effective testing validation strategy supporting tools pursued by many researchers for coding specification as well. This paper discusses main architectural operational aspects tool, named Proteum/FSM, that supports application mutation validating specifications based on finite state machines (FSM). Further improvements research issues are briefly discussed.
ieeecomputersociety.org参考文章(13)
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
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
PC Masiero, JC Maldonado, IG Boaventura, A reachability tree for statecharts and analysis of some properties Information & Software Technology. ,vol. 36, pp. 615- 624 ,(1994) , 10.1016/0950-5849(94)90021-3
James Lyle Peterson, Petri net theory and the modeling of systems ,(1981)
Gregor V. Bochmann, Alexandre Petrenko, Protocol testing Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94. pp. 109- 124 ,(1994) , 10.1145/186258.187153
T.S. Chow, Testing Software Design Modeled by Finite-State Machines IEEE Transactions on Software Engineering. ,vol. SE-4, pp. 178- 187 ,(1978) , 10.1109/TSE.1978.231496
J.R. Horgan, A.P. Mathur, Assessing testing tools in research and education IEEE Software. ,vol. 9, pp. 61- 69 ,(1992) , 10.1109/52.136170
R.A. DeMillo, R.J. Lipton, F.G. Sayward, Hints on Test Data Selection: Help for the Practicing Programmer Computer. ,vol. 11, pp. 34- 41 ,(1978) , 10.1109/C-M.1978.218136
Arthur Gill, Introduction to the theory of finite-state machines ,(1962)