Challenging Automatic Test Case Generation Tools with Real World Applications

S.J. Galler, B. Peischl, and F. Wotawa (Austria)

Keywords

case study, real world application, automatic test genera tion, designbycontract, software testing, software tools

Abstract

This work presents results on applying recent advances in automatic test generation for Java programs based on Design-by-ContractTM specifications on two real world ap plications. It therefore extends an existing tool with both, already well-known approaches and the first time ever with a SMT solver. The results show that those fancy techniques do not matter since the most important challenge in this area is still generating test data that conform to their speci fication at least as soon as it comes to real world applica tions.

Important Links:



Go Back