LDRA：使用LDRA工具包进行DO-178B认证

使用LDRA工具包进行RTCA/DO-178B认证
LDRA Tool Suite & DO-178B v2.2
工具选择
当选择工具帮助达到DO-178B要求时，应该考虑下面的这些标准:
工具是否满足标准6.4.4.2章节中提出的所有的结构覆盖分析的要求？ 工具支持您所有的编程语言吗？ 工具以这样的方式被成功使用过吗？ 工具的供应商能否提供工具的资质认证？ 工具是否足够地灵活和全面以满足变化的需求？ 工具是否易于使用？
LDRA工具套件满足以上所有条件。
灵活的工具支持
当DO-178B标准应用在实际的项目中，为了响应从FAA得到的经验它就一直在变化。LDRA有能力和技术使得LDRA工具包满足这些变化的需求，而且现在和未来都将致力于提供强大的工具包来验证与标准的依从性。
例如FAA当前要求的关于结构联合的覆盖信息只有LDRA能够提供。另外，DO-178B可能要求对C语言中暗含的异或进行覆盖率分析。LDRA一直致力于帮助已存在的客户满足类似这样的需求。
DO-178B结构覆盖分析的要求
下面内容是从DO-178B标准相关内容摘取:
6.4.4.2 结构覆盖分析
结构覆盖分析的目的是基于需求的测试过程，哪些代码结构没有被执行。基于需求的测试用例可能没有完全执行代码结构，因此进行结构覆盖分析，并要求进行覆盖分析验证。指南包括：
对于软件应该进行适合软件级别的结构覆盖分析。
结构化语言的覆盖分析应该在源代码级别进行。但是如果是DO-178BA级软件，那么验证工作就需要采取额外地分析方法，即在目标代码的级别上验证编译器产生的代码序列的正确性。所有的分析过程都可以使用LDRA工具包完成。
分析应该确定代码组成之间的数据耦合和控制耦合。
这些要求概括如下：
Item Description DO-178B Ref. No. DO-178B Level A DO-178B Level B DO-178B Level C
5 软件结构的测试覆盖达到MC/DC 6.4.4.2 独立满足要求 不要求 不要求
6 软件结构的测试覆盖达到判定覆盖 6.4.4.2.a
6.4.4.2.b 独立满足要求 独立满足要求 不要求
7 软件结构的测试覆盖达到语句覆盖 6.4.4.2.a
6.4.4.2.b 独立满足要求 独立满足要求 满足要求
8 软件结构的测试覆盖达到数据耦合和控制耦合 6.4.4.2.c 独立满足要求 独立满足要求 满足要求
注意: 项目5，6，7和8对DO-178B的D级是不要求的。
LDRA工具包DO-178B覆盖度量 LDRA工具包可交付如下的DO-178B覆盖度量标准：
DO-178B A级度量：
修正条件判定覆盖 (MC/DC) 分支/判定覆盖(TER2) 语句覆盖 (TER1)
DO-178B B级度量：
分支/判定覆盖(TER2) 语句覆盖(TER1)
DO-178B C级度量:
语句覆盖 (TER1)
其他的覆盖度量：
LCSAJ覆盖 (TER3) 分支条件覆盖(BCC) 分支条件组合覆盖(BCCC)
LDRA工具包是当前仅有的为满足DO-178B标准而提供如此全面辅助的分析工具。
注意当前还没有其他的工具能提供代码分析能力要求测试汇编代码达到DO-178B标准。
工具的易用性如何？
在应用工具到项目程序的时候，工具的易用性是个十分重要的因素。LDRA工具包已特别加强针对DO-178B不同级别度量要求的适应性。报告进行了相应的裁减，能够快速简洁的提供DO-178B的相关信息给用户，以加速测试过程。报告能以ASCII格式或HTML格式生成，任何一种格式都很容易地集成到word处理器中。HTML格式的报告有超链接的特点，而且能在internet和企业内部网上发布。
可证实的RTCA/DO-178B认证记录
LDRA工具包被全世界范围内的公司使用来满足RTCA/DO-178B和其他航空电子标准。现在使用LDRA工具包的部分客户包括：
ADA India
Airbus France
Bell Helicopters Textron USA
Boeing USA
Dunlop Aviation Coventry
Fiat Avio Italy
Honeywell USA
Lockheed Martin Aeronautics Co USA
Northrop Grumman USA
Rolls-Royce Derby
SENER Spain
Smiths Aerospace
TEC-Masters USA
Thales Avionics France
TRW USA
Ultra Electronics High Wycombe
Westland Helicopters Yeovil