LDRA

LDRA 是一家英国软件保障公司和品牌，专注于分析、测试、验证和需求可追溯性，适用于故障可能造成重大安全、安保、运营或监管后果的软件环境。其主要产品系列 LDRA 工具套件结合了静态代码分析、动态分析、结构覆盖率测量、软件质量指标、编码标准执行、设计审查和可追溯性功能。这些工具尤其针对嵌入式和安全关键开发，而非通用应用程序编程。 该公司起源于利物浦大学的研究。Michael Hennell 教授创建了一个软件测试平台，用于评估其核物理研究中使用的数学库的质量。该工作包括开发线性代码序列和跳转（LCSAJ）软件分析方法。1975 年，利物浦数据研究协会成立，以将研究及其相关测试技术商业化。该公司随后以缩写品牌名 LDRA 闻名。 LDRA 的技术旨在识别普通编译、功能测试或标准构建过程可能无法揭示的缺陷和弱点。静态分析功能在不执行代码的情况下检查源代码，报告所选编码规则的违规情况，并暴露结构或复杂性问题。动态分析和覆盖率功能衡量软件在执行期间的行为以及代码结构被测试的彻底程度。该平台还提供指标和报告，旨在支持工程审查、质量管理和认证证据。 LDRA 工具套件与受监管嵌入式软件领域使用的标准和开发实践相关联。其文档化能力包括支持 MISRA C、MISRA C++、JSF++ AV、CERT C 和 CWE 相关实践等编码标准。覆盖率报告已用于涉及 DO-178B 及后续航空航天软件标准的场景，而 LDRA 也描述了涵盖航空航天、汽车、医疗、铁路和核部门框架的认证支持。该公司已为行业标准活动做出贡献或参与其中，包括与 DO-178C、MISRA C、MISRA C++、CERT C 安全编码标准以及未来机载能力环境联盟相关的工作。 该品牌已与其他工程环境集成，包括 MathWorks Simulink 以及与 IBM Rational Rose 和 Wind River 相关的工具。这些集成反映了 LDRA 在更广泛的基于模型、嵌入式、系统开发工作流程中作为验证层的角色。LDRA 并非销售面向消费者的软件产品，而是主要服务于需要可证明的质量、合规性和测试有效性证据的工程组织。 LDRA 在软件保障领域之外也广为人知，在 1994 年圣马力诺大奖赛之后。国际汽联聘请该公司检查一级方程式发动机管理系统中的源代码，因为有指控称使用了包括牵引力控制和起步控制在内的禁用驾驶辅助。LDRA 的检查发现迈凯伦软件中存在自动换挡程序，贝纳通系统中存在起步控制功能。国际汽联最终未对贝纳通或车手迈克尔·舒马赫采取行动，因为 LDRA 得出结论，起步控制软件可能未在比赛期间使用。 LDRA 在其大部分历史中为私人持有。2025 年，它被与嵌入式软件开发工具相关的公司 TASKING 收购。此次收购改变了 LDRA 的所有权，同时保留了其作为专业软件验证品牌的形象。公开可用的参考资料并未确定独立的当前总部城市、当前高管名单、收入数据或 LDRA 的独立公开上市信息。

LDRA 的起源可追溯到利物浦大学进行的软件质量研究。Michael Hennell 教授开发了一个软件测试平台，用于评估其核物理研究中使用的数学库。由于此类库中的错误可能破坏科学结果，该工作侧重于系统化的软件质量检查方法，而非仅依赖常规执行测试。该研究包括发明了线性代码序列和跳转方法，通常缩写为 LCSAJ，该方法与结构软件分析相关联。 1975 年，利物浦数据研究协会成立，以将测试平台和基础分析技术商业化。该公司后来采用 LDRA 作为其主要缩写身份。其技术发展为一套更广泛的静态和动态分析引擎，用于主机和嵌入式软件。静态分析使开发团队能够在执行前根据选定的规则和编码标准检查源代码。动态分析和覆盖率功能提供了有关运行时行为以及代码结构被测试程度的证据。其他指标，包括面向复杂性的度量，支持代码审查和质量评估。 LDRA 的市场围绕必须可靠、可审计且可证明合规的软件发展。其工具用于航空航天和航空电子、汽车系统、国防、医疗设备、铁路系统和其他嵌入式应用。在这些领域，软件保障通常与正式的开发流程和标准相关联。LDRA 的文档化能力包括检查 MISRA C、MISRA C++、JSF++ AV 和 CERT C 相关要求，以及与结构覆盖率和认证证据相关的报告。该公司还参与了与 DO-178C、MISRA、CERT C 安全编码标准和 FACE 联盟相关的标准化和行业倡议。 LDRA 工具套件成为公司的主要商业平台。它汇集了静态分析、动态分析、代码覆盖率、质量指标、设计审查和可追溯性功能。LDRA Testbed 是 LDRA 相关的核心分析环境，支持主机和嵌入式软件评估，通过静态分析、编码标准检查、动态分析、结构覆盖率报告和软件质量指标。该系统可以在文本报告和图形注释中识别违规，而覆盖率和复杂性信息帮助团队评估测试有效性和代码特征。其文档化的标准相关能力包括 MISRA、JSF++ AV、CERT C 和 CWE 导向实践。 公司最著名的非商业参与之一发生在 1994 年圣马力诺大奖赛之后。国际汽联要求 LDRA 检查迈克尔·舒马赫、尼古拉·拉里尼和米卡·哈基宁赛车的源代码，因为有指控称存在被禁止的电子驾驶辅助。法拉利迅速提供了代码，而贝纳通和迈凯伦最初以版权为由拒绝，后来在国际汽联罚款后遵守。LDRA 发现迈凯伦软件中存在自动换挡程序，这并未导致赛车被宣布非法。它还发现贝纳通发动机管理计算机中存在起步控制软件。贝纳通承认代码存在，但表示保留用于测试，未在比赛中使用。LDRA 判断其使用的可能性不大，国际汽联未对车队或舒马赫采取行动。 2012 年 3 月，LDRA 宣布推出认证解决方案，旨在支持 FAA 和 EASA 申请人在多个受监管软件框架中的工作。该公告反映了公司努力将其工具链定位为不仅是缺陷发现产品，而是文档化验证和认证工作流程的一部分。2012 年晚些时候，LDRA 的美国组织加入开放集团的 FACE 联盟，作为验证机构，将公司连接到促进机载能力和互操作性通用技术方法的努力中。 LDRA 在其大部分存在期间保持私人持有。2025 年，TASKING 收购了该公司。此次收购将 LDRA 带入以嵌入式软件开发技术为中心的所有权结构。可用的参考资料不足以确定当前的管理高管、收购价格、收入或收购后的独特公司结构。LDRA 品牌继续代表高保障开发的软件分析、测试和可追溯性能力。

• 2025

  TASKING 收购 LDRA

  [1]LDRAen.wikipedia.org

  TASKING 收购了此前私人持有的 LDRA 业务和品牌。

• 2012

  宣布认证支持解决方案

  [1]LDRAen.wikipedia.org

  LDRA 宣布支持使用多个 FAA、EASA、航空航天、汽车、医疗、铁路和核软件标准的申请人。

• 2012

  美国组织加入 FACE 联盟

  [1]LDRAen.wikipedia.org

  LDRA 的美国分支机构加入开放集团的未来机载能力环境联盟，作为验证机构。

• 1994

  LDRA 检查一级方程式软件

  [1]LDRAen.wikipedia.org

  在圣马力诺大奖赛上有关被禁止的电子驾驶辅助的指控后，国际汽联委托 LDRA 检查发动机管理源代码。

• 1975

  利物浦数据研究协会成立

  [1]LDRAen.wikipedia.org

  Michael Hennell 教授创立利物浦数据研究协会，以将利物浦大学开发的用于评估数学库的软件测试平台商业化。

• 1975

  LCSAJ 分析进入公司的技术传承

  [1]LDRAen.wikipedia.org

  公司的起源包括 Hennell 在软件分析中线性代码序列和跳转方法的工作。

面向嵌入式、安全关键、安全敏感和受监管开发环境的专业软件质量和保障工具。

• 软件保障和验证平台

  LDRA 工具套件

  LDRA 工具套件是用于静态和动态软件分析的商业平台。它结合了源代码检查、编码标准执行、结构覆盖率分析、质量指标、设计审查和需求可追溯性。该套件适用于嵌入式及受监管软件项目，工程团队需要识别缺陷、记录验证活动并为安全或认证流程提供证据。其用例包括航空电子、汽车、医疗、铁路、国防和其他高可靠性系统。

• 静态和动态分析引擎

  LDRA Testbed

  LDRA Testbed 是与 LDRA 相关的核心分析环境。它通过静态分析、编码标准检查、动态分析、结构覆盖率报告和软件质量指标支持主机和嵌入式软件评估。该系统可以在文本报告和图形注释中识别违规，而覆盖率和复杂性信息帮助团队评估测试有效性和代码特征。其文档化的标准相关能力包括 MISRA、JSF++ AV、CERT C 和 CWE 导向实践。

• 1994

  一级方程式起步控制调查

  在 1994 年圣马力诺大奖赛之后，国际汽联使用 LDRA 检查领先车队的软件，因为有指控称存在被禁止的电子驾驶辅助。LDRA 发现迈凯伦软件中存在自动换挡功能，贝纳通发动机管理系统中存在起步控制代码。贝纳通表示起步控制代码保留用于测试，未在比赛中使用。LDRA 得出结论，比赛期间使用的可能性不大，国际汽联未对贝纳通或迈克尔·舒马赫采取行动。

  来源

阅读更多

• 2025

  TASKING 收购并购

  背景

  LDRA 一直作为软件分析、测试和可追溯性的私人持有专家运营。

  采取的行动

  TASKING 收购了 LDRA。

  后续影响

  LDRA 成为 TASKING 所有权结构的一部分。可用参考资料中未确定收购价格或详细整合计划。

  来源

• 2012

  推出多标准认证支持解决方案新品

  背景

  安全关键软件开发商和认证申请人需要与多个航空、汽车、医疗、铁路和核标准一致的验证证据。

  采取的行动

  LDRA 宣布推出支持 DO-178C、DO-278A、DO-254、IEC 62304、ISO 26262、EN 50128 和 IEC 60880 认证工作的解决方案。

  后续影响

  该公告强化了 LDRA 作为软件保障和认证支持提供商的定位，而非仅作为源代码分析供应商。

  来源

• 2012

  参与 FACE 联盟战略

  背景

  未来机载能力环境倡议旨在寻求机载软件可移植性和互操作性的通用方法。

  采取的行动

  LDRA 的美国组织加入开放集团的 FACE 联盟，作为验证机构。

  后续影响

  此举将 LDRA 与专注于验证和可互操作机载能力的行业努力联系起来。

  来源

1. 1LDRAen.wikipedia.org