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.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
用于空中交通管制软件测试的IEEE类扫描接口
修正条件/决策覆盖(MC/DC)在安全关键软件开发中的好处已得到广泛认可。鼓励使用商用现货(COTS)软件,并且COTS软件的供应商已经表示有兴趣开发一个标准接口,以协助执行安全关键领域所需的功能。一个有用的类比可以在一个复杂的集成电路和一个可执行的软件之间进行,前者的存储位置和逻辑门比其接口上的引脚多数百万个,后者的变量和逻辑语句比其接口描述上直接可见的要多得多。IEEE已经制定了测试封装集成电路的接口标准(即通过接口引脚进行测试),称为边界扫描。一个类似的软件模块接口规范已经在COTS软件论坛上提出,最初由Therese Smith提出,并由Pathfinder Solutions的Gregory Eakman博士继续提出,他已经完成了该领域的学术工作。美国联邦航空局正在推进用于支持接口元数据的技术。以网络为中心的体系结构增加了元数据存储库的可见性和用于与元数据交互的自动化级别。考虑到软件供应商正在追求可测试性的策略,FAA对可测试性是否有用很感兴趣,如果有用,那么在拟议的“FAA接口管理系统”中扩展要维护的元数据以包括用于测试的接口数据。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Aging avionics and net-centric operations Space shuttle UHF communications performance evaluation The application of fiber optic wavelength division multiplexing in RF avionics Scheduling heuristics for on-board sequential air conflict solving TDMS: test data management system for aviation software
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1