LDRA 已为PowerPC汇编语言更新了LDRA工具套件，以支持在安全关键环境中使用的所有32位和64位PowerPC芯片，例如通信终端，商用和军用航空电子设备，无人飞行器以及导弹和太空飞行应用。此类支持使LDRA客户（包括在传统航空电子平台上使用LDRA工具套件已有多年的客户）能够迁移到PowerPC芯片和编译器的最新版本，并自信地执行DO-178B所需的对象代码验证（OCV）。 / C合规性。
作为唯一一家提供从单元到系统以及集成级别的应用程序源代码和汇编代码的完整结构覆盖率分析工具的公司，LDRA使得航空电子客户在将基于604的传统PowerPC芯片升级到较新的e500 / 600芯片。 LDRA的最新汇编程序支持e200，e300，e500，e600，e5500和e5600 PowerPC系列，以及传统的PowerPC芯片，如603e和604。
LDRA工具套件是唯一能够使汇编代码合格的商业解决方案。用于演示源代码到目标代码的可追溯性的PowerPC汇编程序的LDRA工具套件可以分析两个代码级别之间的关系，并在对象级别突出显示任何附加或无关代码的实例。这种集成确保了LDRA工具套件将为必须证明过程合规性的组织提供支持，特别是对于必须实现完整OCV才能满足DO-178B / C A级安全保证标准所要求的最高级别安全认证的应用。
此外，这些更新的汇编程序已集成到最新的LDRA前端中，从而通过图形显示汇编程序代码来增强代码可见性。这产生了令人信服的报告，这些报告（1）清楚地表明语句和分支已经在汇编代码中执行，并且（2）将结果与高级语言和汇编器之间进行互相关。使用LDRA数据文件可以进行API访问，并使客户能够从汇编程序测试中检索结果并将其与C / C ++测试结果集成。此功能在目标代码验证练习中特别有用。完整的验证功能可用于低功耗平台（例如e200）和具有多核环境的完整系统，其中可以记录每个核的覆盖范围。
新的PowerPC汇编程序套件还可用于测试纯PowerPC汇编程序的手动代码。测试和验证活动可以在系统的汇编程序手工代码部分以及C / C ++部分的目标代码验证中执行。
LDRA运营总监Ian Hennell表示：“从历史上看，飞机上的所有微处理器和微控制器都基于PowerPC，但许多传统芯片已不再可用，或者航空电子制造商正在寻求性能方面的重大改进。” “无论哪种情况，航空电子原始设备制造商都必须从传统的PowerPC芯片转换为新的PowerPC芯片，以对其DO-178B / C系统进行重大改进。随着此类系统的升级，它们必须符合最新的认证要求，其中包括诸如目标代码验证之类的深入分析。作为唯一支持所有PowerPC处理器的商用解决方案，LDRA的增强工具套件为这些安全关键型环境提供了保证。”
发表评论