Project Title:

A Design-for-Testability Advisor for Automated Code Generation Systems

Reliable Software Technologies Corporation
11150 Sunset Hills Rd. #250
Reston, VA 22090

93-1  06.03   1219    A       AMOUNT REQUESTED $69,746

A Design-for-Testability Advisor for Automated Code Generation Systems

Abstract:

The proposed innovation is a CASE tool advisor that will enable
NASA to automatically produce higher testability code; this will
allow NASA to assess their software systems to higher levels of
reliability with fewer test cases. The objectives of this study are
to determine how testable current CASE generated code is, decide
where a testability advisor might reside, and determine the
feasibility of developing a testability advisor. These objectives
will be met through a feasibility study to examine the issues
associated with design for testability, analysis of CASE code, and
research into implementation issues. The anticipated result is a
clear understanding as to how a software testability advisor can be
built for a CASE environment. RST expects that the developed
testability system will provide NASA with a means of developing
critical software using CASE that is testable. Such an innovation
will assist in the development of both aerospace and avionic
systems. The developed software testability advisor will be
commercialized by RST and sold along with our other testability
products.

The commercial applications of this innovation are diverse: all
vendors of critical software. These include nuclear, avionics,
aerospace, medical device software, DoD systems, and of course NASA
contractors.

computer-aided-software-engineering software reliability

Reliable Software Technologies Corporation
11150 Sunset Hills Rd. #250
Reston, VA 22090