TIGer: A Test Instance Generator for Large Programs

Period of Performance: 01/01/2004 - 12/31/2004


Phase 1 SBIR

Recipient Firm

Architecture Technology Corp.
9971 Valley View Road Array
Eden Prairie, MN 55344
Principal Investigator


Testing accounts for a large and growing share of software development costs. Developing tests is labor-intensive; and significant savings would result from tools that could automatically generate tests meeting some given criterion of completeness. ATC-NY proposes to build a set of modules, Tiger, that can be incorporated into existing test generators and will allow the generation of test cases for large systems. Recent work has explored ways to generate tests by model-checking. The limiting factor in model-checking is the size of the state space to be explored and much research has been devoted to strategies for reducing the state spaces to be checked. Nearly all of it addresses the problem of program verification and, as a result, is not directly applicable to generating tests. Nonetheless, this work contains a rich body of ideas, which we will adapt to define and implement Tiger.