T2 Prototype: Automatic Test Generator for Large Software Systems

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

$481K

Phase 2 SBIR

Recipient Firm

Programming Environments, Inc.
4043 State Hwy 33
Tinton Falls, NJ 07753
Principal Investigator

Abstract

THE LACK OF HIGH-RELIABILITY SOFTWARE IS A MAJOR PROBLEM IN MILITARY AND COMMERCIAL COMMUNITIES TODAY. FOR YEARS PRIOR TO PHASE I, PEI HAD BEEN WORKING ON A WAY TO PREVENT ERRORS IN SOFTWARE AND ULTIMATELY HAD DEVELOPED A TOOL CALLED T WHICH AUTOMATICALLY GENERATES TEST CASES BEFORE THE DEVELOPER BEGINS DESIGN -A GIANT STEP TOWARD DESIGNING OUT ERRORS. T WORKS ON SMALL COLLECTIONS OF CODE. PHASE I FEASIBILITY STUDY FINDINGS REVEALED THE HIGH PROBABILITY THAT AN ENHANCED OR EXPANDED VERSION OF T (TO BE CALLED T2) COULD IMPROVE SOFTWARE RELIABILITY BY INCREASING TEST COVERAGE ON LARGE SOFTWARE SYSTEMS. PEI PROPOSES A TWO-YEAR PHASE II PROJECT IN WHICH T2 WOULD BE DEVELOPED IN THREE BUILDS. THE ANTICIPATED RESULT OF PHASE II IS T2, A SOFTWARE TOOL THAT WILL RUN ON FOUR COMPUTER/OPERATING SYSTEM CONFIGURATIONS AND WILL AUTOMATICALLY DESIGN, GENERATE, TRACE, AND DOCUMENT TEST CASES. THIS AUTOMATED TEST GENERATION WILL ELIMINATE HOURS OF WORK AND REWORK, AND THE TESTS CREATED WILL ENABLE SIGNIFICANTLY HIGHER TEST COVERAGE THAN FOUND ON PRESENT MILITARY PROJECTS.