NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Verification and Validation in a Rapid Software Development ProcessThe high cost of software production is driving development organizations to adopt more automated design and analysis methods such as rapid prototyping, computer-aided software engineering (CASE) tools, and high-level code generators. Even developers of safety-critical software system have adopted many of these new methods while striving to achieve high levels Of quality and reliability. While these new methods may enhance productivity and quality in many cases, we examine some of the risks involved in the use of new methods in safety-critical contexts. We examine a case study involving the use of a CASE tool that automatically generates code from high-level system designs. We show that while high-level testing on the system structure is highly desirable, significant risks exist in the automatically generated code and in re-validating releases of the generated code after subsequent design changes. We identify these risks and suggest process improvements that retain the advantages of rapid, automated development methods within the quality and reliability contexts of safety-critical projects.
Document ID
19990025807
Acquisition Source
Ames Research Center
Document Type
Conference Paper
Authors
Callahan, John R.
(West Virginia Univ. Fairmont, WV United States)
Easterbrook, Steve M.
(West Virginia Univ. Fairmont, WV United States)
Date Acquired
August 19, 2013
Publication Date
December 1, 1997
Publication Information
Publication: Software Engineering Laboratory Series: Proceedings of the Twenty-Second Annual Software Engineering Workshop
Subject Category
Computer Programming And Software
Funding Number(s)
CONTRACT_GRANT: NAG2-797
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Document Inquiry

Available Downloads

There are no available downloads for this record.
No Preview Available