The Improved JCVS.

Abstract

This technical report describes the JOVIAL J73 Compiler Validation System (JCVS-J73). The system is designed to measure the compliance of a specific JOVIAL J73 compiler with the language specification, Standard Computer Programming Language - JOVIAL (J73) dated 1 January 1973. The first section of this report contains an overview of the entire system. The second section describes the population file and, in particular, the modules produced to validate the legal language forms. The third section discusses the support system, designed to fully automate the validation process. The fourth section discusses transferability of the JCVS-J73 to a specific computer system. The fifth and final section deals with expanding the population file to include other types of tests. (Author)

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1974
Accession Number
AD0923431

Entities

People

  • Cal Jackson
  • Leah Danberg

Tags

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Language
  • Programming Languages
  • Specifications
  • Standards
  • Validation

Readers

  • Computer Science.
  • Software Verification and Validation.