NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
A Methodology for Testing Computer ProgramsThis paper advances and explores the idea of combining into a single methodology the validation and verification techniques - formal proof, test path generation, dynamic testing, symbolic execution and static analysis. The characteristics of each of the techniques are presented and analyzed. Then it is shown that the strengths and weaknesses of the techniques are largely complementary and represent, from a number of points of view, a natural progression of diagnostic capabilities. A system exploiting this progression is proposed, and some difficulties to be expected in implementing such a system are explored.
Document ID
19780028749
Acquisition Source
Headquarters
Document Type
Conference Paper
Authors
Leon J Osterweil (Boeing (United States) Chicago, United States)
Date Acquired
August 9, 2013
Publication Date
October 31, 1977
Publication Information
Publication: AIAA/NASA/IEEE/ACM Computers in Aerospace Conference, Los Angeles, Calif., October 31-November 2, 1977: A Collection of Technical Papers
Publisher: American Institute of Aeronautics and Astronautics
DOI: 10.2514/6.1977-1385
Subject Category
Computer Programming and Software
Report/Patent Number
AIAA-77-1385
Meeting Information
Meeting: AIAA/NASA/IEEE/ACM Computers in Aerospace Conference
Location: Los Angeles, CA
Country: US
Start Date: October 31, 1977
End Date: November 2, 1977
Sponsors: Association for Computing Machinery, American Institute of Aeronautics and Astronautics, Institute of Electrical and Electronics Engineers, National Aeronautics and Space Administration
Accession Number
78A12658
Distribution Limits
Public
Copyright
Portions of document may include copyright protected material.
Technical Review
Single Expert
Keywords
Histograms
Software Systems
Dynamic Analysis
Mathematical Models
Anomaly Detection
Data Flow Analysis
Computer Programs

Related Records

IDRelationTitle19780028742Collected WorksAIAA/NASA/IEEE/ACM Computers in Aerospace Conference, Los Angeles, Calif., October 31-November 2, 1977: A Collection of Technical Papers
No Preview Available