THE FEASIBILITY OF T: A TOOL TO AUTOMATICALLY GENERATE SOFTWARE TEST CASES

Award Information
Agency:
Department of Defense
Branch
Army
Amount:
$100,000.00
Award Year:
1987
Program:
SBIR
Phase:
Phase II
Contract:
n/a
Agency Tracking Number:
4281
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
Programming Environments Inc.
4043 State Hwy 33, Tinton Falls, NJ, 07753
Hubzone Owned:
N
Socially and Economically Disadvantaged:
N
Woman Owned:
N
Duns:
n/a
Principal Investigator:
Robert Poston
(201) 918-0110
Business Contact:
() -
Research Institution:
n/a
Abstract
THE LACK OF HIGH-RELIABILITY SOFTWARE IS A MAJOR PROBLEM IN THE MILITARY AND COMMERCIAL COMMUNITIES TODAY. TRADITIONAL V&V TECHNIQUES IMPROVE SOFTWARE RELIABILITY BY HELPING TO FIND ERRORS EARLY IN SOFTWARE DEVELOPMENT, BUT WE NEED TO GO BEYOND THESE TECHNIQUES TO FIND A WAY TO PREVENT ERRORS FROM OCCURRING IN THE FIRST PLACE. PEI HAS BEEN USING ERROR PREVENTION CONCEPTS IN A FRONT END TESTING APPROACH. WE HAVE DEVELOPED A SOFTWARE TESTING METHODOLOGY AND A NEW TOOL CALLED "T" WHICH GENERATES TEST CASES BEFORE THE DEVELOPER BEGINS DESIGN. THE METHODOLOGY AND THE TOOL WORK ON SMALL COLLECTIONS OF CODE BUT ARE NOT EFFECTIVE ON LARGE SOFTWARE SYSTEMS TODAY. WE PROPOSE A SOLUTION TO THE COMBINATORICS OR EXHAUSTIVE TESTING PROBLEM WHICH HAS DELAYED THE USE OF THESE INNOVATIONS ON PROJECTS PRODUCING MORE THAN A FEW THOUSAND LINES OF CODE.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government