LDRA工具套件应用于猎户座航天器空间程序

---

Monks Ferry, Wirral, UK – 2008年3月28日. Lockheed Martin公司（LMCO）选择LDRA工具套件确保

猎户座航天器(CEV)程序的开发者完成他们的软件开发目标。目的是安全的运送宇航员在国际太空站（ISS），月球，火星和其它高于低地球轨道(LEO)的目的地和地球之间往返。“猎户座” CEV是一个达到最新技术发展水平的人类空间飞行系统。LDRA，自动化软件验证的主要提供商将使“猎户座”飞行器达到严格的安全苛刻性标准来安全的传送宇航员。

NASA已经与Lockheed和他的子承包商签订了数百万的合同来开发“猎户座”。“猎户座” CEV将代替2010年退休的空间航天飞机，于2014年首次载人飞行。

得益于LDRA工具套件一直以来对安全苛刻性软件验证的成功应用，包括对相关标准的支持，例如DO-178B，LDRA的Testbed和TBrun工具被选择用于辅助“猎户座”工程，协助用户达到对整个生命周期的支持。LDRA工具套件将协助“猎户座”开发者进行软件标准的验证，代码覆盖率的分析，单元测试和目标码的验证。

LDRA Testbed作为LDRA工具套件过程管理工具的核心，构成了自动化软件验证的基础。LDRA Testbed在源码级执行代码，质量和设计的评审。并执行代码覆盖的测试验证，包括语句，分支/条件，测试路径（LCSAJ），程序/过程调用度量和测试管理的存取。

TBrun， LDRA自动化单元测试工具，已经远超过其它工具。它可以在图形界面中自动的产生带有测试数据的测试驱动和桩函数。通过使用目标码模式，“猎户座”的CEV开发者可以创建高级源码的结构覆盖测试用例并且提供这些准确的测试用例到相应的目标代码。工具可快速验证违反情况，开发者可以借此提高代码的质量，减少在正式测试时的缺陷，并且能确保在预算内按时发布。

LDRA 执行主管lan Hennell指出：“Lockheed Martin公司选择我们的工具套件不仅认可我们的产品，并且证实我们有能够解决大多数苛刻性程序问题的能力。我们已经认可并且回应了增加目标码验证解决方案的需求，我们的产品能够帮助达到零缺陷的软件开发。LDRA被认为是达到最佳实践开发的必需品，并广泛的被电信，计算机，医疗器械和业界领先的提供商所采用。”

LDRA工具套件的技术已经应用在成百上千的顶尖行业中，例如：航空电子，防御体系，汽车工业，电信，能源和医疗。这些技术可以在整个软件开发生命周期中应用于整个设计团队，包括设计或需求管理人员，开发人员，质量管理人员，测试人员和工程维护人员。

LDRA工具套件是唯一可以综合使用静态和动态分析，并且能够在任何主机或者目标机平台测试软件的工具。LDRA工具套件提供目前市场上可执行的最全面的C/C++编码标准。开发者需要使用LDRA 工具套件进行验证。在过程验证中节约了开发者宝贵的时间和金钱。

于其工具套件的成功，成立于1975年的ldra计划在2008年4月15日于San Jose举行的嵌入式系统研讨会宣布扩大其产品组合。很快发布的工具将提供开发者源代码的可见性。能使他们确定代码是否安全，以及是否符合必须的质量标准。目的在于增强开发团队的协作和沟通。新的工具将使管理者，团队和单独的开发者监视测试和质量度量。

关于LDRA工具套件

许多开创性的测试技术都源自于LDRA的方法学。LDRA工具套件需要协助八个主要的任务达到组织的软件开发和维护目标。它可以被整个设计团队，开发者，质量管理人员，测试工程师，设计管理人员和维护/支持工程师应用，完成软件开发生命周期的自动化。通过LDRA工具套件的开发，公司可交付结构，文档和测试软件，另外，节省了商业运作的时间和费用。关于LDRA工具套件的更多信息，请点击：www.ldra.com. 

关于LDRA

LDRA已经发展了三十多年的时间，并且推动了安全苛刻性软件自动化代码分析和软件测试的市场。LDRA工具套件已经广泛的应用在航天，空间和防御技术行业，并且应用于核动力和汽车工业。通过对LDRA工具套件的使用，公司确保他们的系统能够与指定的标准一致，并且在使用过程中稳定和可靠。LDRA工具套件可支持多种编程语言，并且支持广泛的主机目标机平台。LDRA遍布世界，它的总公司在英国，子公司在美国，并且具有广泛的销售网络。关于LDRA的更多信息，请点击www.ldra.com.