Generating test data for branch coverage

被引:39
作者
Gupta, N [1 ]
Mathur, AP [1 ]
Soffa, ML [1 ]
机构
[1] Univ Arizona, Dept Comp Sci, Tucson, AZ 85721 USA
来源
FIFTEENTH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS | 2000年
关键词
path testing; branch testing; iterative relaxation technique; testing tools;
D O I
10.1109/ASE.2000.873666
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Branch coverage is an important criteria used during the structural testing of programs. In this paper, we present a new program execution based approach to generate input data that exercises a selected branch in a program. The test data generation is initiated with an arbitrarily chosen input from the input domain of the program. A new input is derived from the initial input in an attempt to force execution through any of the paths through the selected branch. The method dynamically switches among the paths that reach the branch by refining the input. Using a numerical iterative technique that attempts to generate an input to exercise the branch, it dynamically selects a path that offers less resistance. We have implemented the technique and present experimental results of its performance for some programs. Our results show that our method is feasible and practical.
引用
收藏
页码:219 / 227
页数:9
相关论文
共 12 条
[1]  
Clarke L. A., 1976, IEEE Transactions on Software Engineering, VSE-2, P215, DOI 10.1109/TSE.1976.233817
[2]   CONSTRAINT-BASED AUTOMATIC TEST DATA GENERATION [J].
DEMILLO, RA ;
OFFUTT, AJ .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (09) :900-910
[3]  
Ferguson R., 1996, ACM Transactions on Software Engineering and Methodology, V5, P63, DOI 10.1145/226155.226158
[4]  
FORGACS I, 1997, LNCS, V1301
[5]  
FORGACS I, 1998, P ACM SIGSOFT INT S
[6]  
Galloway S, 1997, ALTERN J, V23, P4
[7]  
GOTLIEB A, 1998, INT S SOFTW TEST AN
[8]  
Gupta N., 1999, 14th IEEE International Conference on Automated Software Engineering, P224, DOI 10.1109/ASE.1999.802270
[9]  
GUPTA N, 1998, ACM SIGSOFT SOFTWARE, V23, P231
[10]   AUTOMATED SOFTWARE TEST DATA GENERATION [J].
KOREL, B .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (08) :870-879