自动执行安全关键软件的工具鉴定流程

通过自动化鉴定流程的实现来降低所需的时间与精力投入，并从而让开发者专注于开发高质量的软件。

遵循高要求的软件开发标准如DO178B/C（航空航天领域）、ISO 26262（汽车工业）、EN-50128（铁路系统）以及IEC 61508（功能安全规范）对制造商提出严格要求。这些标准要求制造商使用经过验证的工具来开发软件系统，并能提供可信赖且可追溯的结果证明。这个过程被称为"工具资格认证"；尽管这一流程对于提高产品质量至关重要，但其执行往往被视为一项冗长而耗时的任务，在组织中并不容易被纳入日常计划中。

最终交付的内容将以文档的形式呈现作为证明依据，
然而资格认证流程不仅包含大量静态资料，
而是在这篇文章中请各位了解如何利用Parasoft的新C/C++测试合格套件，
套件中提供了一个便于操作的指导教程，
这一教程实现了自动化的功能，
并显著降低了完成测试鉴定所需的时间与精力。

首先：确保您使用的工具已通过认证

应包括从工具选择开始这一阶段。这一过程有助于确保您使用的开发工具均经过TÜVSÜD等组织认证。这样做将显著降低您在进行工具鉴定时的工作负担。该软件已获得了TÜVSÜD的I