嵌入太空:猎户座乘员探索飞行器空间计划的LDRA工具

英国威勒尔的蒙克斯渡口- - - - - -洛克希德·马丁公司(LMCO)已选择LDRA工具套件使开发人员能够猎户座载人探索飞船(CEV)计划来实现其软件开发目标。旨在安全运送宇航员往返于国际空间站猎户座CEV是一种最先进的人类太空飞行系统，它可以在国际空间站(ISS)、月球、火星和近地轨道(LEO)以外的其他目的地飞行。LDRA是一家自动化软件验证提供商，将使猎户座开发人员能够达到确保宇航员安全转移所需的严格的安全关键标准。
美国宇航局授予洛克希德及其分包商一份价值数百万美元的“猎户座”开发合同。猎户座CEV将取代预定于2010年退役的航天飞机。它的第一次载人任务定于2014年进行。
LDRA测试平台是LDRA工具套件的核心过程管理工具，是自动化软件验证的基础。LDRA Testbed对源代码执行代码、质量和设计审查。它对代码覆盖率进行测试验证，包括语句、分支/决策、测试路径(LCSAJ)、过程/函数调用度量，并提供对测试管理器的访问。
TBrun是一个自动化的单元测试工具，它包括一个GUI界面，可以自动生成测试数据向量，并自动完成测试工具和存根的生成。通过使用对象盒模式，开发人员可以为高级源代码的结构覆盖创建测试用例，并将这些完全相同的测试用例应用到相应的目标代码。该公司表示，通过能够快速识别违规，开发人员可以提高代码质量，减少在正式测试中发现的错误，并帮助确保在预算范围内按时交付。

-编辑:C.G.马西，资深编辑
控制工程机器控制电子通讯
在这里注册，向下滚动选择您选择的免费电子新闻．

您是否具有本内容中提到的主题的经验和专业知识?你应该考虑为我们的CFE媒体编辑团队做出贡献，并获得你和你的公司应得的认可。点击在这里开始这个过程。