doi: 10.4304/jsw.8.6.1511-1517
An Approach for Domain Reduction with Data Dependence in Mutation Testing
Abstract—As a testing strategy to evaluate the completeness of test cases, mutation testing has been identified as a "faultoriented" technique for unit testing, which is mainly used to generate complete test cases. The path-oriented technique of test data generation is a highly efficient technique which implements test data generation by building and solving constraint systems. Most of path-oriented generation techniques only take control dependence among statements into consideration, which is to build constraint system by analyzing control flow graph. However, it neglects the influence of data dependence among statements on constraint system. Therefore, this paper improved test data generation technique of domain reduction and proposed a new domain reduction method with data dependence. It added detecting of equivalent mutants and solved influences on constraint systems caused by multiple conditional branch statement. Experimental results showed that this method improved success rate and execution efficiency of test data generation in a significant extent.
Index Terms—Mutation testing, Equivalent mutant, Constraint system, Automatically software testing, Test data generation.
Cite: Gaochao Xu, Yushuang Dong, Xiaodong Fu, Yan Ding, Jia Zhao, Xinzhong Liu, "An Approach for Domain Reduction with Data Dependence in Mutation Testing," Journal of Software vol. 8, no. 6, pp. 1511-1517, 2013.
General Information
ISSN: 1796-217X (Online)
Abbreviated Title: J. Softw.
Frequency: Quarterly
APC: 500USD
DOI: 10.17706/JSW
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Cecilia Xie
Abstracting/ Indexing: DBLP, EBSCO,
CNKI, Google Scholar, ProQuest,
INSPEC(IET), ULRICH's Periodicals
Directory, WorldCat, etcE-mail: jsweditorialoffice@gmail.com
-
Oct 22, 2024 News!
Vol 19, No 3 has been published with online version [Click]
-
Jan 04, 2024 News!
JSW will adopt Article-by-Article Work Flow
-
Apr 01, 2024 News!
Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec) [Click]
-
Apr 01, 2024 News!
Papers published in JSW Vol 18, No 1- Vol 18, No 6 have been indexed by DBLP [Click]
-
Jun 12, 2024 News!
Vol 19, No 2 has been published with online version [Click]