Skip to main content
placeholder image

Function substitution: Towards constraint solving in software testing

Conference Paper


Abstract


  • 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. © 2012 IEEE.

Authors


  •   Feng, X M. (external author)
  •   Marr, S (external author)
  •   Callaghan, T (external author)
  •   Zhi Quan (George) Zhou
  •   Carette, J (external author)

Publication Date


  • 2012

Citation


  • Feng, X. M., Marr, S., Callaghan, T., Zhou, Z. & Carette, J. (2012). Function substitution: Towards constraint solving in software testing. QSIC 2012: 12th International Conference on Quality Software (pp. 31-40). USA: IEEE.

Scopus Eid


  • 2-s2.0-84869098275

Ro Metadata Url


  • http://ro.uow.edu.au/eispapers/55

Start Page


  • 31

End Page


  • 40

Place Of Publication


  • USA

Abstract


  • 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. © 2012 IEEE.

Authors


  •   Feng, X M. (external author)
  •   Marr, S (external author)
  •   Callaghan, T (external author)
  •   Zhi Quan (George) Zhou
  •   Carette, J (external author)

Publication Date


  • 2012

Citation


  • Feng, X. M., Marr, S., Callaghan, T., Zhou, Z. & Carette, J. (2012). Function substitution: Towards constraint solving in software testing. QSIC 2012: 12th International Conference on Quality Software (pp. 31-40). USA: IEEE.

Scopus Eid


  • 2-s2.0-84869098275

Ro Metadata Url


  • http://ro.uow.edu.au/eispapers/55

Start Page


  • 31

End Page


  • 40

Place Of Publication


  • USA