USA flag logo/image

An Official Website of the United States Government

A TESTING METHODOLOGY FOR HIGH RELIABILITY SOFTWARE

Award Information

Agency:
National Aeronautics and Space Administration
Branch:
N/A
Award ID:
16961
Program Year/Program:
1992 / SBIR
Agency Tracking Number:
16961
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
Charles River Analytics Inc.
625 Mount Auburn Street Cambridge, MA 02138-
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 2
Fiscal Year: 1992
Title: A TESTING METHODOLOGY FOR HIGH RELIABILITY SOFTWARE
Agency: NASA
Contract: N/A
Award Amount: $495,200.00
 

Abstract:

SINCE SOFTWARE IS A CRUCIAL COMPONENT OF CURRENT ENGINEERINGSYSTEMS, HIGH-RELIABILITY SOFTWARE IS REQUIRED FOR NASA PROGRAMS. THE USE OF FORMAL SOFTWARE ENGINEERING PRINCIPLESAND OF CASE TOOLS HAVE YIELDED ONLY MODEST PROGRESS IN THIS AREA. THE USE OF REDUNDANT SOFTWARE COMPONENTS IS NOT SUFFICIENTLY DEVELOPED TO PROVIDE AN EFFICIENT ALTERNATIVE. A TESTING METHODOLOGY WILL BE DEVELOPED THAT WILL PRODUCE HIGH RELIABILITY SOFTWARE BY USING INTERACTIVE, PROOF-BASED CORRECTNESS TESTING, ENFORCED TESTING DIVERSITY, AND KNOWLEDGE-BASED TESTING. THIS METHODOLOGY IS APPLICABLE TO PARALLEL SOFTWARE AS WELL. RECENT REDUNDANT SOFTWARE EXPERIMENTS INDICATE THAT NO SINGLE TESTING STRATEGY PRODUCES SUFFICIENT TEST CASES TO ENSURE HIGH RELIABILITY. HENCE, A COMBINATION OF TESTING STRATEGIES IS REQUIRED FOR HIGH RELIABILITY. EXPERIMENTAL RESEARCH ALSO INDICATES THAT DYNAMIC TESTING IS INEFFICIENT IN DETECTING FAILURES THAT OCCUR INFREQUENTLY. KNOWLEDGE-BASED STATIC TESTING IS MORE EFFICIENT. ORACLES FOR ASSERTING CORRECTNESS OF HIGH-RELIABILITY SOFTWARE ARE DIFFICULT TO BUILD SINCE THEIRRELIABILITY MUST EXCEED THE SOFTWARE. THE FIRM HAS DEVELOPED A GENERALIZATION OF INTERACTIVE PROOFS WHICH SOLVE THIS PROBLEM. IN THE FUTURE, PARALLEL ARCHITECTURES WILL BE USED FOR CRITICAL SOFTWARE APPLICATIONS. SINCE SOFTWARE IS A CRUCIAL COMPONENT OF CURRENT ENGINEERINGSYSTEMS, HIGH-RELIABILITY SOFTWARE IS REQUIRED FOR NASA PROGRAMS. THE USE OF FORMAL SOFTWARE ENGINEERING PRINCIPLESAND OF CASE TOOLS HAVE YIELDED ONLY MODEST PROGRESS IN THIS AREA. THE USE OF REDUNDANT SOFTWARE COMPONENTS IS NOT SUFFICIENTLY DEVELOPED TO PROVIDE AN EFFICIENT ALTERNATIVE. A TESTING METHODOLOGY WILL BE DEVELOPED THAT WILL PRODUCE HIGH RELIABILITY SOFTWARE BY USING INTERACTIVE, PROOF-BASED CORRECTNESS TESTING, ENFORCED TESTING DIVERSITY, AND KNOWLEDGE-BASED TESTING. THIS METHODOLOGY IS APPLICABLE TO PARALLEL SOFTWARE AS WELL. RECENT REDUNDANT SOFTWARE EXPERIMENTS INDICATE THAT NO SINGLE TESTING STRATEGY PRODUCES SUFFICIENT TEST CASES TO ENSURE HIGH RELIABILITY. HENCE, A COMBINATION OF TESTING STRATEGIES IS REQUIRED FOR HIGH RELIABILITY. EXPERIMENTAL RESEARCH ALSO INDICATES THAT DYNAMIC TESTING IS INEFFICIENT IN DETECTING FAILURES THAT OCCUR INFREQUENTLY. KNOWLEDGE-BASED STATIC TESTING IS MORE EFFICIENT. ORACLES FOR ASSERTING CORRECTNESS OF HIGH-RELIABILITY SOFTWARE ARE DIFFICULT TO BUILD SINCE THEIRRELIABILITY MUST EXCEED THE SOFTWARE. THE FIRM HAS DEVELOPED A GENERALIZATION OF INTERACTIVE PROOFS WHICH SOLVE THIS PROBLEM. IN THE FUTURE, PARALLEL ARCHITECTURES WILL BE USED FOR CRITICAL SOFTWARE APPLICATIONS.

Principal Investigator:


0

Business Contact:

Small Business Information at Submission:

Charles River Analytics Inc.
55 Wheeler St Cambridge, MA 02138

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