Generating Test Data for Both Paths Coverage and Faults Detection Using Genetic Algorithms

被引:0
作者
Gong, Dun-wei [1 ]
Zhang, Yan [1 ]
机构
[1] China Univ Min & Technol, Sch Informat & Elect Engn, Xuzhou 221116, Jiangsu, Peoples R China
来源
ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS: WITH ASPECTS OF ARTIFICIAL INTELLIGENCE | 2012年 / 6839卷
关键词
Software testing; paths coverage; faults detection; test data; multi-objective optimization; genetic algorithms; SOFTWARE TEST;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Various studies on generating test data have been done up to date, but few test data generated by these studies can effectively detect faults lying in the program. We focus on the problem of generating test data for both paths coverage and faults detection. First, the problem above is formulated as a bi-objective optimization problem with one constraint, whose two objectives are the number of faults detected in the traversed path and the risk level of these faults, respectively, and the unique constraint is that the traversed path is just the target one; then, a multi-objective evolutionary algorithm is employed to effectively solve the formulated model; finally, the proposed method is applied in bubble sort program manually injected with some faults, and compared with the random method and the evolutionary optimization one without the task of detecting faults. The experimental results confirm the advantage of our method.
引用
收藏
页码:664 / 671
页数:8
相关论文
共 13 条
[1]   Tabu search-based metaheuristic algorithm for software system reliability problems [J].
Caserta, M. ;
Uribe, A. Marquez .
COMPUTERS & OPERATIONS RESEARCH, 2009, 36 (03) :811-822
[2]  
Deb K., 2009, MULTIOBJECTIVE OPTIM
[3]   Using genetic algorithms to aid test-data generation for data-flow coverage [J].
Ghiduk, Ahmed S. ;
Harrold, Mary Jean ;
Girgis, Moheb R. .
14TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2007, :41-+
[4]   Evolutionary white-box software test with the EvoTest Framework, a progress report [J].
Gross, Hamilton ;
Kruse, Peter M. ;
Wegener, Joachim ;
Vos, Tanja .
ICSTW 2009: IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION WORKSHOPS, 2009, :111-+
[5]  
Harman M, 2007, GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2, P1098
[6]  
Holland J.H., 1992, Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control and Artificial Intelligence
[7]   AUTOMATED SOFTWARE TEST DATA GENERATION [J].
KOREL, B .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (08) :870-879
[8]  
Myers G, 1979, Art of Software Testing
[9]  
Sagarna Ramon, 2008, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW), P232, DOI 10.1109/ICSTW.2008.19
[10]   Automatic, evolutionary test data generation for dynamic software testing [J].
Sofokleous, Anastasis A. ;
Andreou, Andreas S. .
JOURNAL OF SYSTEMS AND SOFTWARE, 2008, 81 (11) :1883-1898