Design and Implementation of Module Driver and Output Analyzer Generator

Abstract

This thesis presents the Design and Implementation of a 'Module Driver and Output Analyzer Generator' (MDOAG) for Spec functions. The generator translates specifications written in the Spec formal specification language into 'Module Driver and Output Analyzers' (MDOA) written in Ada. An MDOA is a testing tool which repeatedly calls the implementation of the function with input values provided by a generator program and reports instances for which the results fail to meet the specifications. The classification of test results is carried out by Ada code that is automatically generated from the specification of the component to be tested. The Kodiyak Application Generator, a fourth-generation attribute grammar tool, is used to implement the translation.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1990
Accession Number
ADA225410

Entities

People

  • Gerald A. Depasquale

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Analyzers
  • Classification
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Debugging
  • Demographic Cohorts
  • Language
  • Reliability
  • Software Development
  • Software Testing
  • Specifications
  • Standards
  • Test And Evaluation
  • Test Sets
  • Translations

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Electrical Engineering