基于ATLAS/Ada测试环境(ABET)的系统软件标准和接口规范

Conference Record AUTOTESTCON '91 IEEE Systems Readiness Technology Conference Improving Systems Effectiveness in the Changing Environment of the '90s Pub Date : 1991-09-24 DOI:10.1109/AUTEST.1991.197542

J. Graves, R. Brooks

{"title":"基于ATLAS/Ada测试环境(ABET)的系统软件标准和接口规范","authors":"J. Graves, R. Brooks","doi":"10.1109/AUTEST.1991.197542","DOIUrl":null,"url":null,"abstract":"The ABET standards definition process is discussed, and brief descriptions of how each ABET layer provides services, based on the set of external component standards which are combined into a complete test system definition, are presented. The authors discuss how the ABET package specifications can be supplemented by using the Anna formal specification language. Using Anna formal specifications in ABET implementations will provide the capability to generate self-checking applications that can be debugged or validated for correctness (to ensure reliability) by the Anna tools (e.g., the Anna transformer).<<ETX>>","PeriodicalId":320001,"journal":{"name":"Conference Record AUTOTESTCON '91 IEEE Systems Readiness Technology Conference Improving Systems Effectiveness in the Changing Environment of the '90s","volume":"10 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1991-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"System software standards and interface specifications for the ATLAS/Ada based environment for test (ABET)\",\"authors\":\"J. Graves, R. Brooks\",\"doi\":\"10.1109/AUTEST.1991.197542\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The ABET standards definition process is discussed, and brief descriptions of how each ABET layer provides services, based on the set of external component standards which are combined into a complete test system definition, are presented. The authors discuss how the ABET package specifications can be supplemented by using the Anna formal specification language. Using Anna formal specifications in ABET implementations will provide the capability to generate self-checking applications that can be debugged or validated for correctness (to ensure reliability) by the Anna tools (e.g., the Anna transformer).<<ETX>>\",\"PeriodicalId\":320001,\"journal\":{\"name\":\"Conference Record AUTOTESTCON '91 IEEE Systems Readiness Technology Conference Improving Systems Effectiveness in the Changing Environment of the '90s\",\"volume\":\"10 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1991-09-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Conference Record AUTOTESTCON '91 IEEE Systems Readiness Technology Conference Improving Systems Effectiveness in the Changing Environment of the '90s\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/AUTEST.1991.197542\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Conference Record AUTOTESTCON '91 IEEE Systems Readiness Technology Conference Improving Systems Effectiveness in the Changing Environment of the '90s","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/AUTEST.1991.197542","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

讨论了ABET标准的定义过程，并简要描述了每个ABET层如何基于一组外部组件标准提供服务，这些标准被组合成一个完整的测试系统定义。作者讨论了如何通过使用Anna形式规范语言来补充ABET包规范。在ABET实现中使用Anna正式规范将提供生成自检应用程序的能力，这些应用程序可以通过Anna工具(例如Anna转换器)进行调试或验证正确性(以确保可靠性)

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

System software standards and interface specifications for the ATLAS/Ada based environment for test (ABET)

The ABET standards definition process is discussed, and brief descriptions of how each ABET layer provides services, based on the set of external component standards which are combined into a complete test system definition, are presented. The authors discuss how the ABET package specifications can be supplemented by using the Anna formal specification language. Using Anna formal specifications in ABET implementations will provide the capability to generate self-checking applications that can be debugged or validated for correctness (to ensure reliability) by the Anna tools (e.g., the Anna transformer).<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Conference Record AUTOTESTCON '91 IEEE Systems Readiness Technology Conference Improving Systems Effectiveness in the Changing Environment of the '90s

自引率

0.00%

发文量