DocumentCode :
3730231
Title :
Boundary value analysis in automatic white-box test generation
Author :
Zhiqiang Zhang;Tianyong Wu;Jian Zhang
Author_Institution :
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
fYear :
2015
Firstpage :
239
Lastpage :
249
Abstract :
White-box testing is an effective technique for generating test cases to provide high coverage for programs. We usually select several execution paths using some strategy, and generate a corresponding test case that follows each path. Each execution path corresponds to an input subspace bounded by constraints. Extreme values in these subspaces are very likely to trigger failures since the constraints bounding input subspaces may be faulty. In this paper, we propose a new way of defining the boundaries of comparison predicates in white-box testing, and apply constrained combinatorial testing to cover these boundaries with reduced number of test cases. Our approach can guarantee to cover all possible boundaries for each selected execution path, thus achieving high fault coverage for boundary faults, while the original structural coverage is still preserved.
Keywords :
"Testing","Arrays","Software","Input variables","Boundary conditions","Computer science","Indexes"
Publisher :
ieee
Conference_Titel :
Software Reliability Engineering (ISSRE), 2015 IEEE 26th International Symposium on
Type :
conf
DOI :
10.1109/ISSRE.2015.7381817
Filename :
7381817
Link To Document :
بازگشت