Mutation operators for specifications
作者： P.E. Black , V. Okun , Y. Yesha
关键词: Data mining 、 Mutation testing 、 Code coverage 、 Software development process 、 Software system 、 Set (abstract data type) 、 Formal methods 、 Formal verification 、 Software construction 、 Computer science 、 Formal specification 、 Reliability engineering
摘要: Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is repository of knowledge about system, and recent method uses such specifications to automatically generate complete test suites via mutation analysis. We define an extensive set operators for use with this method. report results our theoretical experimental investigation relationships between classes faults detected by various operators. Finally, we recommend sets which yield good coverage at reduced cost compared using all proposed
umbc.edu
sci-hub.se 参考文章(18)
Sérgio Vale Aguiar Campos, Kenneth L. McMillan, Edmund M. Clarke, Vassili Hartonas-Garmhausen, Symbolic Model Checking ,(1993)
André Engels, Loe Feijs, Sjouke Mauw, Test Generation for Intelligent Networks Using Model Checking tools and algorithms for construction and analysis of systems. pp. 384- 398 ,(1997) , 10.1007/BFB0035401
Ramesh Bharadwaj, Constance L. Heitmeyer, Model Checking Complete Requirements Specifications Using Abstraction automated software engineering. ,vol. 6, pp. 37- 68 ,(1999) , 10.1023/A:1008697817793
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
Kuo-Chung Tai, Theory of fault-based predicate testing for computer programs IEEE Transactions on Software Engineering. ,vol. 22, pp. 552- 562 ,(1996) , 10.1109/32.536956
John B. Goodenough, Susan L. Gerhart, Correction to "toward a theory of test data selection" IEEE Transactions on Software Engineering. ,vol. SE-1, pp. 425- 426 ,(1975) , 10.1109/TSE.1975.6312876
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
Angelo Gargantini, Constance Heitmeyer, Using model checking to generate tests from requirements specifications foundations of software engineering. ,vol. 24, pp. 146- 162 ,(1999) , 10.1145/318774.318939