Advanced Software Quality Assurance

Abstract

This is a report of the work performed by General Research Corporation during the Advanced Software Quality Assurance contract. Research was conducted in four major areas: (1) Assertions, verification conditions and consistency proof, (2) Design of a executable assertion language and the development of a preprocessor to implement this language, (3) Development of a Software Quality Laboratory and, (4) Evaluation of existing languages as applied to BMD software problems. This report gives a methodology for verifying software. The preprocessors which allow assertions to be placed in FORTRAN and PASCAL programs are described. The static analysis developed as part of the Software Quality Laboratory are also described and examples are given of their use. The Concurrent PASCAL programming language is applied to a generic model of a BMD software system.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1977
Accession Number
ADB018436

Entities

People

  • D. M. Andrews
  • J. P. Benson
  • N. B. Brooks
  • R. A. Melton
  • S. H. Saib

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies
  • Ground and Sea Platforms
  • Materials and Manufacturing Processes
  • Sensors
  • Weapons Technologies

DTIC Thesaurus Topics

  • Classification
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Consistency
  • Corporations
  • Data Sets
  • Detection
  • Grammars
  • Procedures (Computers)
  • Programming Languages
  • Software Development
  • Standards
  • Test And Evaluation
  • Translations

Fields of Study

  • Computer science
  • Engineering

Readers

  • Artificial Intelligence
  • Computer Science.
  • Software Engineering

Technology Areas

  • AI & ML
  • AI & ML - Machine Translation