LDRA赢得了中国载人航天工程一百万美金的合同

国际电子商情讯 CMSP(中国载人航天工程)选择在自动化的软件验证工具供应商具有领导地位的LDRA,以及LDRA工具包用来分析复杂的天宫一号飞船关键应用。需要满足DO-178B的A级验证的天宫号飞船,将进行空间交会对接试验,全面支持CMSP任务要求。LDRA工具包使得CMSP开发者能够达到高安全苛刻性标准的要求,并确保飞船的安全发射。

从2001年以来，LDRA工具包已经成功应用在中国航天工程计划中,实现了对软件的安全性和任务苛刻性的验证。在最新发展阶段,CMSP被要求使用国军标GJB5369进行编码规则检查,采取自动化的单元测试,分析代码覆盖率要达到DO-178B的A级标准包含的MCDC级以及对天宫1号飞船的苛刻性系统进行目标码验证。LDRA工具包是唯一一个完全满足这些最新软件测试需求的商用工具并且提供了终身服务。

代理商上海创景计算机系统有限公司为中国航天工程提供了LDRA软件测试工具和服务。该公司总经理张志强说:“编码规则检查在中国已经成为广泛的需求,LDRA工具包能深入分析数据流的缺陷而这些是其它工具所不能发现的,另外工具包的自动化功能使单元测试成为一个不间断且高效的过程。”

LDRA工具包对于CMSP测试过程支持的关键在于LDRA Testbed,这个是LDRA工具包的核心管理工具,它是自动化软件验证的组成基础。Testbed分析代码,对源码进行质量评审和设计评审,它还能管理测试认证进行包括语句,分支,MC/DC,测试路径及其函数调用的度量。

配合Testbed的是LDRA的自动化单元测试工具TBrun,它是依据测试数据自动生成驱动程序及其自动桩体创建的用户图形界面。LDRA采取这个技术的比其他厂商一个更长远的考虑是让用户使用object-box模式创建一个高水平源码结构覆盖率的测试用例。这些完全相同的测试案例,应用到相应的目标代码,以满足DO - 178B的A级要求。TBrun提供了一个先进的,高自动化的测试工具,它在开发生命周期的能更有效更早地准确发现代码缺陷,从而减少了在正式的测试时的缺陷数量,并且降低了按时、按预算交付的软件的难度。

LDRA执行董事Ian Hennell说:“LDRA工具包已经应用于航空和国防软件市场的案例,比如中国的载人航天和月球探测计划,成功的推动了LDRA在中国扩展更广泛的市场。在LDRA,我们将承诺帮助开发人员完成高质量软件,令人高兴的是成为和全部工程开发团队一起推进中国整个软件开发生命周期技术的一部分。”