|
Penny&Giles使用LDRA产品获得DO-178B
A级认证
位于英国Christchurch的Penny
& Giles航空航天公司是Curtiss-Wright集团的一部分。40多年来，这家公司已经开发、制造和交付了一系列航空电子产品，顾客遍及全球最知名的飞机制造商和使用者。这包括空气数据计算机、驾驶座舱声音和飞行数据记录器、维护记录器和冰雪探测器。
在2001年Penny&Giles公司成功地认证了他们第一个RTCA
DO-178B A级产品，凡在商用飞机上使用的软件都要求达到这项安全苛刻性软件标准。这个产品-能够用软件配置的空气数据计算机（SCADU）已经通过了联邦航空管理局（Federal
Aviation Administration）和英国国内航空权威（UK's
Civil Aviation Authority）的认证。
Penny & Giles公司选择了LDRA工具包来检测软件中的C源代码，而此时他们对DO-178B
航空电子设备软件行业最苛刻的测试标准还毫无经验。从软件设计阶段开始，借助TBrun的测试驱动自动生成、黑盒功能测试和白盒覆盖率测试，工程师们进行了彻底的单元、部件测试。要满足DO-178B的要求，意味着要测试MCDC覆盖-这可不是一项容易完成的任务。
因为这个软件全是用C语言来写的，Penny&Giles公司决定采用MISRA
C编码规则中的一个子集，并且使用LDRA
Testbed来自动进行编码规则检查。这使团队受益匪浅。
“刚开始使用编码规则挺难的，但是测试工具提供的质量报告（Quaility
Report）告诉我们效果很好，之后工程师开始自然而然的写出结构更好的代码，并且没有错误。”Adrian
Fountain先生这样说。
“由于在（软件）生命周期的早期消灭了这些问题，在测试和维护阶段我们节省了大量时间。”最忙的时候，多达25个软件工程师加入了开发和测试工作。Penny
& Giles公司把一些测试工作转包给了公司在Belfast的另一部门，他们合作得很成功。所有的这些成员都使用LDRA工具包，它被完全的集成进客户的测试环境（主机/目标机）中。
收获
Penny & Giles公司从采用LDRA工具包中得到的主要收获是：代码经过了彻底的测试，设备满足了DO-178B
A级测试要求-完成了代码覆盖度量、文档和工具认证。在谈到这些收获时，Adrian
Fountain先生说：“借助工具的自动操作功能，可实现一般测试方法的重复运行，并且容易使用，很好的配合了我们的测试过程。”“LDRA对我们的需要提供了出色的客户支持。这个工具既强大，又灵活，可以根据工程的需求来配置。”
工具认证
LDRA的测试软件被定位成验证DO-178B标准的工具，同样，它本身也应当被作为个案来验证。这就是说，当评估工具的价值的同时，还必须考虑供应商的协助水平，以便对工具进行认证。作为随LDRA
Testbed DO-178B分析包而来的一部分，LDRA将帮助客户和FAA评估LDRA公司和LDRA工具包。Penny
& Giles公司公司已经进行了这个过程。
LDRA为F35联合攻击战机制定软件测试标准
F35是美国第5代战机，主要供给美国海军，空军，海军陆战队和其他联盟国。到目前为止，F35程序设计安排在大量的防卫项目中，这些项目整个生命周期的价值可能超过3000亿美金。洛克希洛马丁航空公司被置为F35项目主要的承包商，该项目预计在美国和英国至少有3000架飞行器的订单。第一批产品计划在2008年交付。完全满足美国海军陆战队预计的定购要到2010年，空军要在2011年，皇家海军，皇家空军和美国海军要在2012年。
F35项目软件测试工具选择了LDRA工具包，LDRA作为该工具的供应商，与该项目的主要承包商洛克希洛马丁航空公司（LMCO）在该项目的关键性系统的设计和开发阶段（SDD）密切合作。LDRA辅助LMCO制定该项目的软件质量标准并提供工具辅助和技术服务，主要包括：软件编码规范（制定并发布了《联合攻击战机（JSF）Air
Vehicle C＋＋编程规范》），源代码覆盖分析，目标码验证，单元测试。LMCO使用该标准对整个项目的软件质量进行控制约束。
到目前为止，F35已经十分成功的进行了两次全面的飞行测试，LDRA提供的产品和服务对于取得这样的成功在软件质量保证方面做出了突出的贡献。
LDRA Testbed 成功应用于“神舟”飞船项目
LDRA Testbed
软件测试工具成功用于载人航天工程软件测试。由于载人航天工程中各主要系统采用了大量的计算机技术，因此软件质量已成为整个系统质量的关键，整个项目开发过程中采用严格的软件工程管理，从需求分析、设计到软件测试。
为了保证实时性与可靠性，大多数系统采用汇编语言与C语言混合方式编程。而为了保证软件质量，要求按高指标软件测试标准进行。经过深入的工具评估，航天科技集团订购了超过50个使用许可的LDRA
Testbed /
TBrun/TBsafe软件测试工具包。同时为了满足嵌入式系统测试的需要，定制了RTMonitor实时监控器(RTInsightPro的初期产品)，配合LDRA
Testbed
进行系统级软件测试。目前这个工具包在整个项目各个开发部门与软件测试部门得到广泛使用，为载人飞船开发提供关键的静态分析、动态和单元测试功能。
关于中国载人航天工程
中国的载人航天工程于1992年1月被正式批准，并命名为“921工程”载人飞船工程由航天员、飞船应用、载人飞船、运载火箭、发射场、着陆场和航天测控与通信等七大系统构成。飞船从论证到发射，共要进行四次无人实验，两次载人飞行，要想发射载人飞船，最起码要有三个条件：一、性能可靠的大推力火箭；二、完备的维持生命系统；三、万无一失的卫星回收技术。在这些复杂的电子系统中，系统的可靠性是关键，而构成这些系统的系统软件又是该系统关键之关键，在这之初，欧洲阿丽亚那5的失败就是软件导致的沉痛教训。我国的载人航天工程从项目成立开始就按照软件工程化思路来进行管理和设计，严格对软件进行质量过程控制。为此，航天集团专门成立了软件专家小组，设立了七个航天软件评测机构，对不同的关键性软件进行测试和评估。
|
