TY - GEN
T1 - Function substitution
T2 - 12th International Conference on Quality Software, QSIC 2012
AU - Feng, Xin
AU - Marr, Simon
AU - O'Callaghan, Tony
AU - Zhou, Zhi Quan
AU - Carette, Jacques
PY - 2012
Y1 - 2012
N2 - Constraint solving is a fundamental tenet of most test case generation strategies. However, conventional constraint solving methods were not designed in consideration of that aspect of test case generation. It has led to a situation where test case generation techniques can miss test cases when constraints contain function invocations. This is due to the fact that, when solving constraints to generate test cases, function invocations are not effectively handled and, as a result, solutions to some constraints are not found even though they do exist. This problem occurs in both specification-based and code-based testing. To address the problem, this paper presents a function substitution method that transforms test case constraints that contain certain types of functions into equivalent constraints that do not contain those functions. The transformation preserves the solution space and avoids missed test cases. As a result, the completeness of test case generation can be improved.
AB - Constraint solving is a fundamental tenet of most test case generation strategies. However, conventional constraint solving methods were not designed in consideration of that aspect of test case generation. It has led to a situation where test case generation techniques can miss test cases when constraints contain function invocations. This is due to the fact that, when solving constraints to generate test cases, function invocations are not effectively handled and, as a result, solutions to some constraints are not found even though they do exist. This problem occurs in both specification-based and code-based testing. To address the problem, this paper presents a function substitution method that transforms test case constraints that contain certain types of functions into equivalent constraints that do not contain those functions. The transformation preserves the solution space and avoids missed test cases. As a result, the completeness of test case generation can be improved.
KW - Software testing
KW - Substitution completeness
KW - Tabular expression
KW - Test case constraint
KW - Test case generation
UR - https://www.scopus.com/pages/publications/84869098275
U2 - 10.1109/QSIC.2012.32
DO - 10.1109/QSIC.2012.32
M3 - Conference contribution
AN - SCOPUS:84869098275
SN - 9780769548333
T3 - Proceedings - International Conference on Quality Software
SP - 31
EP - 40
BT - Proceedings - 12th International Conference on Quality Software, QSIC 2012
Y2 - 27 August 2012 through 29 August 2012
ER -