• 主题
高级搜索  >
历史搜索 清空历史
首页> 美国政府科技报告 >Design and Implementation of Module Driver and Output Analyzer Generator.
【24h】

Design and Implementation of Module Driver and Output Analyzer Generator.

机译：模块驱动器和输出分析器生成器的设计与实现。

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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. (rh)

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号