Accession Number : ADA225410
Title : Design and Implementation of Module Driver and Output Analyzer Generator
Descriptive Note : Master's thesis
Corporate Author : NAVAL POSTGRADUATE SCHOOL MONTEREY CA
Personal Author(s) : DePasquale, Gerald A.
Full Text : http://www.dtic.mil/get-tr-doc/pdf?AD=ADA225410
Report Date : JUN 1990
Pagination or Media Count : 281
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.
Descriptors : *ADA PROGRAMMING LANGUAGE , INPUT , OUTPUT , SPECIFICATIONS , TOOLS , GRAMMARS , CLASSIFICATION , LANGUAGE , GENERATORS , ANALYZERS , TEST AND EVALUATION , CODING
Subject Categories : COMPUTER PROGRAMMING AND SOFTWARE
Distribution Statement : APPROVED FOR PUBLIC RELEASE