IEEE scan-like interface for air traffic control software testing

T. Smith, C. Uri
{"title":"IEEE scan-like interface for air traffic control software testing","authors":"T. Smith, C. Uri","doi":"10.1109/DASC.2004.1390809","DOIUrl":null,"url":null,"abstract":"The benefits of modified condition/decision coverage (MC/DC) in development of safety critical software are well recognized. Use of commercial-off-the-shelf (COTS) software is encouraged, and vendors of COTS software have expressed interest in developing a standard interface to assist in carrying out functions needed for the safety critical domain. A useful analogy can be drawn between a complex integrated circuit, with millions more storage locations and logic gates inside than pins on its interface, and an executable version of software, with many more variables and logical statements inside than are directly visible on its interface description. IEEE has developed an interface standard for testing package integrated circuits (that is, the tests are conducted through the interface pins), called boundary-scan. An analogous interface specification for software modules has been proposed in a COTS software forum, initially by Therese Smith and continued by Dr. Gregory Eakman of Pathfinder Solutions, who has completed scholarly work in this area. The FAA is advancing the technology used to support interface metadata. Net-centric architecture increases both the visibility of the metadata repository and the level of automation used to interact with the metadata. Given that the software vendors are pursuing a strategy for testability, there is interest at FAA in whether the testability is useful, and if so, in expanding the metadata to be maintained in a proposed \"FAA interface management system\" to include interface data used for testing.","PeriodicalId":422463,"journal":{"name":"The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DASC.2004.1390809","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

The benefits of modified condition/decision coverage (MC/DC) in development of safety critical software are well recognized. Use of commercial-off-the-shelf (COTS) software is encouraged, and vendors of COTS software have expressed interest in developing a standard interface to assist in carrying out functions needed for the safety critical domain. A useful analogy can be drawn between a complex integrated circuit, with millions more storage locations and logic gates inside than pins on its interface, and an executable version of software, with many more variables and logical statements inside than are directly visible on its interface description. IEEE has developed an interface standard for testing package integrated circuits (that is, the tests are conducted through the interface pins), called boundary-scan. An analogous interface specification for software modules has been proposed in a COTS software forum, initially by Therese Smith and continued by Dr. Gregory Eakman of Pathfinder Solutions, who has completed scholarly work in this area. The FAA is advancing the technology used to support interface metadata. Net-centric architecture increases both the visibility of the metadata repository and the level of automation used to interact with the metadata. Given that the software vendors are pursuing a strategy for testability, there is interest at FAA in whether the testability is useful, and if so, in expanding the metadata to be maintained in a proposed "FAA interface management system" to include interface data used for testing.
用于空中交通管制软件测试的IEEE类扫描接口
修正条件/决策覆盖(MC/DC)在安全关键软件开发中的好处已得到广泛认可。鼓励使用商用现货(COTS)软件,并且COTS软件的供应商已经表示有兴趣开发一个标准接口,以协助执行安全关键领域所需的功能。一个有用的类比可以在一个复杂的集成电路和一个可执行的软件之间进行,前者的存储位置和逻辑门比其接口上的引脚多数百万个,后者的变量和逻辑语句比其接口描述上直接可见的要多得多。IEEE已经制定了测试封装集成电路的接口标准(即通过接口引脚进行测试),称为边界扫描。一个类似的软件模块接口规范已经在COTS软件论坛上提出,最初由Therese Smith提出,并由Pathfinder Solutions的Gregory Eakman博士继续提出,他已经完成了该领域的学术工作。美国联邦航空局正在推进用于支持接口元数据的技术。以网络为中心的体系结构增加了元数据存储库的可见性和用于与元数据交互的自动化级别。考虑到软件供应商正在追求可测试性的策略,FAA对可测试性是否有用很感兴趣,如果有用,那么在拟议的“FAA接口管理系统”中扩展要维护的元数据以包括用于测试的接口数据。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信