Applying mutation analysis to SDL specifications
作者： Gábor Kovács , Zoltán Pap , Dung Le Viet , Antal Wu-Hen-Chang , Gyula Csopaki
关键词: Specification language 、 Simulation 、 Selection (genetic algorithm) 、 Code (cryptography) 、 Process (engineering) 、 Software engineering 、 Specification and Description Language 、 Software development 、 Computer science 、 Test (assessment) 、 Conformance testing 、 Mutation testing
摘要: Mutation analysis is a fault based testing method used initially for code software testing, and lately specification validation as well. In this paper, the applied to SDL (Specification Description Language) specifications. It automate process of conformance test generation selection telecommunications protocols. We present two algorithms automatic selection. These provide basis Test Selector tool developed at Budapest University Technology Economics. results an empirical study using tool.
springer.com
sci-hub.st 参考文章(21)
D Richard Kuhn, Fault Classes and Error Detection in Specification Based Testing | NIST - 6140. ,(1998) , 10.6028/NIST.IR.6140
Elliot Berk, JLex: A lexical analyzer generator for Java ,(2004)
Tommaso Bolognesi, Testing Protocol Specification, Diego Latella, Formal methods for distributed system development : FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy Kluwer Academic Publishers. ,(2000)
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
Dieter Hogrefe, Amardeo Sarma, Jan Ellsberger, SDL: Formal Object-Oriented Language for Communicating Systems ,(1997)
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
P.E. Ammann, P.E. Black, A specification-based coverage metric to evaluate test sets high-assurance systems engineering. ,vol. 8, pp. 239- 248 ,(1999) , 10.1109/HASE.1999.809499
P.E. Ammann, P.E. Black, W. Majurski, Using model checking to generate tests from specifications international conference on formal engineering methods. pp. 46- 54 ,(1998) , 10.1109/ICFEM.1998.730569
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