|
Penny
& Giles公司：“结构更好的代码，并且没有错误”
位于英国Christchurch的Penny
& Giles航空航天公司（上图）是Curtiss-Wright集团的一部分。40多年来，这家公司已经开发、制造和交付了一系列航空电子产品，顾客遍及全球最知名的飞机制造商和使用者。这包括空气数据计算机、驾驶座舱声音和飞行数据记录器、维护记录器和冰雪探测器。
在2001年Penny
& Giles公司成功地认证了他们第一个RTCA DO-178B A级产品，凡是在商用飞机上使用的软件都要求达到这项安全苛刻性软件标准。这个产品——能够用软件配置的空气数据计算机（SCADU）已经通过了联邦航空管理局FAA和英国国内航空权威（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公司公司已经进行了这个过程。
SCADU的产品技术信息
用于旋翼和固定翼飞机上空气数据参数的计算。它计算来自全静压管气动系统和飞机温度探头的数据，向飞行员或者自动驾驶系统提供主要的飞行仪表数据。这套系统出售给航空电子设备和机身厂商，比如：洛克韦尔（Rockwell
Collins）, 波音（Boeing）, 西科斯基（Sikorsky）。
关于LDRA软件测试工具
LDRA公司是专业性软件测试工具与测试技术、咨询服务提供者，成立于1975年，具有丰富的软件测试经验，其总部位于英国利物浦，中国设有总代理上海创景计算机系统有限公司。其旗舰产品Testbed/TBrun功能强大、功能全面、易于使用，
Testbed/TBrun是市面上唯一可同时支持编码规则检查、软件度量分析、数据流分析、覆盖率分析及单元测试的工具，不仅适合于主机平台软件测试，同时适合于嵌入式软件测试，已成功地应用于国内各大研究机构、软件测试部门。
 了解更多相关产品
|
软件工程化产品
