• 中国精品科技期刊
  • CCF推荐A类中文期刊
  • 计算领域高质量科技期刊T1类
Advanced Search
Liu Xinzhong, Xu Gaochao, Hu Liang, Fu Xiaodong, Dong Yushuang. An Approach for Constraint-Based Test Data Generation in Mutation Testing[J]. Journal of Computer Research and Development, 2011, 48(4): 617-626.
Citation: Liu Xinzhong, Xu Gaochao, Hu Liang, Fu Xiaodong, Dong Yushuang. An Approach for Constraint-Based Test Data Generation in Mutation Testing[J]. Journal of Computer Research and Development, 2011, 48(4): 617-626.

An Approach for Constraint-Based Test Data Generation in Mutation Testing

More Information
  • Published Date: April 14, 2011
  • As a testing strategy to evaluate the completude of test cases, mutation testing has been identified as a “fault-oriented” technique for unit testing, which is mainly used to generate complete test cases. By applying mutation operators to simulate software defects, mutation testing generates mutants and constructs a test suit to kill them. Test data generation for the test suit constructing includes random method, path-wise method and goal-oriented test data generators. Among them, the path-wise technique of test data generation is a high-efficiency technique for test cases generation, implements test data generation by building and solving constraint systems. However, most of path-wise generation techniques only take the control dependence among statements into consideration, viz, build constraint system by analyzing the control flow graph but neglecting the data dependence among statements. Considering both of them, a new domain reduction method named domain reduction approach with data dependence (DRD) is proposed to improve the test data generation technique of domain reduction. Using path with data dependence, DRD combines the constraint-based test data generation technique with the chaining approach for test data generation to build constraint system. As an automation technology for test data generation, DRD solves the constraint system by domain reduction technique and verifies test data with back substitution method. Experimental results showed that this method improves the successful rate and execution efficiency of test data generation in mutation testing at a large extent.
  • Related Articles

    [1]Liu Tieqiao, Kuang Jishun, Cai Shuo, You Zhiqiang. A New Method of Embedding Test Patterns into Test-per-Clock Bit Stream[J]. Journal of Computer Research and Development, 2014, 51(9): 2022-2029. DOI: 10.7544/issn1000-1239.2014.20130179
    [2]Sun Chang’ai, Wang Guan. MujavaX: A Distribution-Aware Mutation Generation System for Java[J]. Journal of Computer Research and Development, 2014, 51(4): 874-881.
    [3]Mao Chengying, Yu Xinxin, Xue Yunzhi. Algorithm Design and Empirical Analysis for Particle Swarm Optimization-Based Test Data Generation[J]. Journal of Computer Research and Development, 2014, 51(4): 824-837.
    [4]Bao Xiao'an, Yao Lan, Zhang Na, and Song Jinyu. Adaptive Software Testing Based on Controlled Markov Chain[J]. Journal of Computer Research and Development, 2012, 49(6): 1332-1338.
    [5]Wang Jianmin and Cai Yuan. Automated Test Data Generation Using Evolutionary Algorithm Based on Maintaining Population Diversity[J]. Journal of Computer Research and Development, 2012, 49(5): 1039-1048.
    [6]Zhan Jing, Zhang Huanguo. Automated Testing of the Trusted Platform Module[J]. Journal of Computer Research and Development, 2009, 46(11): 1839-1846.
    [7]Zhang Min, Feng Dengguo, and Chen Chi. A Security Function Test Suite Generation Method Based on Security Policy Model[J]. Journal of Computer Research and Development, 2009, 46(10): 1686-1692.
    [8]Tao Qiuming, Zhao Chen, Wang Yongji. An Automated Method of Test Program Generation for Compiler Optimizations Based on Process Graph[J]. Journal of Computer Research and Development, 2009, 46(9): 1567-1577.
    [9]Li Junyi, Li Renfa, Sun Jiaguang. An Automated Test Data Generation Algorithm Based on Selective Redundancy[J]. Journal of Computer Research and Development, 2009, 46(8): 1371-1377.
    [10]Mao Chengying and Lu Yansheng. A Simplified Method for Generating Test Path Cases in Branch Testing[J]. Journal of Computer Research and Development, 2006, 43(2): 321-328.

Catalog

    Article views (782) PDF downloads (807) Cited by()

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return