Mutation operators for Object-Z specification
作者： Ling Liu , Huaikou Miao
关键词:
摘要: As a powerful means of measuring test set, mutation testing has been applied to program-based for long time. However, with the development formal specification technique, specifications also play an important role in software testing. For quality specification-based cases, researchers provide some operators logic predicates. With emergence object-oriented specifications, these cannot completely model faults arise and from misunderstanding specification. This paper investigates that may occur gives set Object-Z faults. These approach cases validating specifications.
sci-hub.se 参考文章(15)
D Richard Kuhn, Fault Classes and Error Detection in Specification Based Testing | NIST - 6140. ,(1998) , 10.6028/NIST.IR.6140
Ling Liu, Huaikou Miao, A Specification-Based Approach to Testing Polymorphic Attributes international conference on formal engineering methods. pp. 306- 319 ,(2004) , 10.1007/978-3-540-30482-1_28
Timothy Alan Budd, Mutation analysis of program test data Yale University. ,(1980)
Philip Alan Stocks, Applying Formal Methods to Software Testing ,(1994)
Graeme Smith, The Object-Z specification language ,(1999)
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
M.R. Woodward, Errors in algebraic specifications and an experimental mutation testing tool Software Engineering Journal. ,vol. 8, pp. 211- 224 ,(1993) , 10.1049/SEJ.1993.0027
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
P.E. Black, V. Okun, Y. Yesha, Mutation operators for specifications automated software engineering. pp. 81- 88 ,(2000) , 10.1109/ASE.2000.873653
Yu-Seung Ma, Yong-Rae Kwon, J. Offutt, Inter-class mutation operators for Java international symposium on software reliability engineering. pp. 352- 363 ,(2002) , 10.1109/ISSRE.2002.1173287