首页> 外文会议>International Conference on Computer Science and Education >Software verification of Orion cockpit displays
【24h】

Software verification of Orion cockpit displays

机译:Orion座舱显示器的软件验证

获取原文

摘要

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.
机译:NASA最新的航天器Orion处于将人类带入太空的发展过程中。 Orion配备了三个主要显示器,用于监视和控制航天器。为确保玻璃显示器后面的软件正常运行,需要进行严格的测试。为了进行此类测试,美国宇航局约翰逊太空中心的快速原型实验室与德克萨斯大学泰勒分校一起使用了软件验证工具,即TestPlant的EggPlant Functional。它是基于图像的测试自动化工具,允许用户创建脚本来验证程序中的功能。开发了一组边缘键框架和Common EggPlant Functions,以实现以高效方式创建脚本。该框架标准化了验证过程中编码和模拟用户输入的方式。此外,通用EggPlant功能可以重复用于验证不同的显示。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号