Software verification of Orion cockpit displays

M. Biswas, Sam Garcia, Matthew Prado, Sadad Hossain, M. Souris, L. Morin
{"title":"Software verification of Orion cockpit displays","authors":"M. Biswas, Sam Garcia, Matthew Prado, Sadad Hossain, M. Souris, L. Morin","doi":"10.1109/ICCSE.2017.8085474","DOIUrl":null,"url":null,"abstract":"NASA's latest spacecraft Orion is in the development process of taking humans deeper into space. Orion is equipped with three main displays to monitor and control the spacecraft. To ensure the software behind the glass displays operates without faults, rigorous testing is needed. To conduct such testing, the Rapid Prototyping Lab at NASA's Johnson Space Center along with the University of Texas at Tyler employed a software verification tool, EggPlant Functional by TestPlant. It is an image based test automation tool that allows users to create scripts to verify the functionality within a program. A set of edge key framework and Common EggPlant Functions were developed to enable creation of scripts in an efficient fashion. This framework standardized the way to code and to simulate user inputs in the verification process. Moreover, the Common EggPlant Functions can be used repeatedly in verification of different displays.","PeriodicalId":256055,"journal":{"name":"2017 12th International Conference on Computer Science and Education (ICCSE)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2017-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2017 12th International Conference on Computer Science and Education (ICCSE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCSE.2017.8085474","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

NASA's latest spacecraft Orion is in the development process of taking humans deeper into space. Orion is equipped with three main displays to monitor and control the spacecraft. To ensure the software behind the glass displays operates without faults, rigorous testing is needed. To conduct such testing, the Rapid Prototyping Lab at NASA's Johnson Space Center along with the University of Texas at Tyler employed a software verification tool, EggPlant Functional by TestPlant. It is an image based test automation tool that allows users to create scripts to verify the functionality within a program. A set of edge key framework and Common EggPlant Functions were developed to enable creation of scripts in an efficient fashion. This framework standardized the way to code and to simulate user inputs in the verification process. Moreover, the Common EggPlant Functions can be used repeatedly in verification of different displays.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
猎户座座舱显示器的软件验证
美国宇航局最新的猎户座宇宙飞船正在开发过程中,将人类带入太空深处。猎户座配备了三个主要显示器来监视和控制航天器。为了确保玻璃显示屏背后的软件无故障运行,需要进行严格的测试。为了进行这样的测试,美国宇航局约翰逊航天中心的快速原型实验室和德克萨斯大学泰勒分校一起使用了一个软件验证工具,TestPlant的茄子功能。它是一个基于图像的测试自动化工具,允许用户创建脚本来验证程序中的功能。开发了一组边缘键框架和通用茄子功能,以有效地创建脚本。这个框架标准化了在验证过程中编码和模拟用户输入的方式。此外,茄子常用功能可以重复使用,以验证不同的显示。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
A unified approach to automate the usage of plagiarism detection tools in programming courses Software verification of Orion cockpit displays Wine quality identification based on data mining research A comparison of inertial-based navigation algorithms for a low-cost indoor mobile robot A HCI design for developing touch-operation-based DGS: What you think is what you get
×
引用
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