An Assessment of Software Quality Assurance.

Abstract

This final report describes three tasks which can strengthen the Ballistic Missile Defense Systems Command overall research objectives in software systems development. The three tasks are: Preprocessor for Verifiable PASCAL (V-PASCAL). Evaluation of Software Quality Laboratory (SQLAB) Tools and Techniques. Testing Research - A New Approach. V-PASCAL is a language designed by GRC to extend PASCAL to permit experimentaion with new language constructs which will aid in the development of BMD software. These capabilities can be implemented with a preprocessor which accepts an input source code written in V-PASCAL, and generates standard PASCAL for compilation, or which extracts for verification purposes descriptive information about the source text. The feasibility of a preprocessor for V-PASCAL has been investigated, and a conclusion is that a revised design of the GRC produced V-PASCAL preprocessor will suffice for the present.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1979
Accession Number
ADA074213

Entities

People

  • Frederick E. Petry
  • Pei Hsia

Organizations

  • University of Alabama in Huntsville

Tags

Communities of Interest

  • Human Systems
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Ballistic Missiles
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Consistency
  • Contracts
  • Defense Systems
  • Engineering
  • Human Factors Engineering
  • Language
  • Software Development
  • Software Testing
  • Standards
  • Universities
  • Urban Areas

Fields of Study

  • Computer science

Readers

  • Nuclear Civil Defense.
  • Parallel and Distributed Computing.
  • Software Engineering.