USA flag logo/image

An Official Website of the United States Government

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

Award Information

Agency:
Department of Defense
Branch:
Army
Award ID:
4281
Program Year/Program:
1987 / SBIR
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
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 2
Fiscal Year: 1987
Title: THE FEASIBILITY OF T: A TOOL TO AUTOMATICALLY GENERATE SOFTWARE TEST CASES
Agency / Branch: DOD / ARMY
Contract: N/A
Award Amount: $100,000.00
 

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.

Principal Investigator:

Robert Poston
2019180110

Business Contact:

Small Business Information at Submission:

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

EIN/Tax ID:
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No