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