Parasoft C/C++test：获得TÜV证书的白盒测试工具

安全关键型软件开发标准，如ISO 26262（汽车）、DO-178B/C（航空航天）、IEC 62304（医疗设备）、EN 50128（铁路）和IEC 61508（电子电气系统功能安全），都要求制造商证明他们用来开发软件的工具能够提供正确和可预测的结果。

什么是工具鉴定套件？

提供这种证据的过程被称为工具鉴定或工具验证。这是一个耗时的过程，它为需要专注于为项目开发和测试软件的团队增加了时间和精力。用户可以使用像Parasoft这样的工具来对工具鉴定的过程负责。工具供应商可以通过认证他们的产品和提供鉴定套件来减轻最终用户的负担。
在各种标准中，并没有统一的工具鉴定或认证方法，也不是所有工具都需要鉴定。作为一般规则，如果使用工具来自动化验证过程或产生作为关键系统一部分的输出，如从模型生成的源代码，那就需要对该工具进行资格鉴定。

我可以使用TÜV证书对工具进行鉴定吗？

简而言之，这取决于标准。

• DO178B/C在这方面的规定相当严格，不允许使用证书来批准工具的使用。资格鉴定必须在特定项目的背景下进行（见DO178C第12.2章）。通常情况下，这一过程涉及使用一组特殊的测试用例，根据其要对工具进行验证。工具供应商通过提供鉴定套件来支持这个过程。Parasoft C/C++test也提供了鉴定工具套件。
• IEC 62304没有列出工具验证或鉴定的任何具体要求，但它在这方面被定向到61508。
• IEC 61508，特别是ISO 26262在软件工具资格鉴定方面比IEC 62304更精确。它通过对工具开发过程的独立评估和认证，为安全关键型开发提供了批准工具的选项。

对于ISO26262，IEC 61508和IEC 62304团队可以使用经过第三方独立机构（如TÜV SÜD）认证的工具。对于DO178B/C，不接受证书，团队就必须通过资格鉴定过程。

Parasoft是否提供认证工具？

Parasoft C/C++test通过了TÜV SÜD认证，可根据以下标准用于安全关键型软件开发：

• IEC 61508-3:2010
• IEC 62304:2015
• ISO 26262 6-8:2018

TÜV SÜD是一家致力于提供安全安保审计和认证的机构。与一些友商不同，Parasoft对其产品的每个版本都进行了认证，因此您能获得最新的技术支持。有关TÜV SÜD的更多信息，请访问https://www.tuvsud.com/

TÜV认证是否适用于所有ASIL或SIL级别？

经过TÜV认证的Parasoft C/C++test，适用于开发所有ASIL或SIL级别的软件。

什么是TÜV证书？

TÜV认证是一份pdf文档，是“C/C++test功能安全分发包”的一部分，该软件包包含以下文件：
Z10 075084 0005 Rev.02.pdf – 主证书。包括已通过认证的工具版本信息和认证有效的功能安全标准列表。该证书应包含在提交功能安全审核的项目文件中。
C++test – Functional Safety Considerations.pdf– 工具安全手册。它包含有关如何安全使用该工具的重要信息。它定义了哪些功能已获得认证，以及如何配置工具来检测潜在的错误。
C++test – Known Defects.pdf – 工具中可能影响工具输出的所有已知缺陷的列表。工具最终用户应审查本文档，并对影响特定项目中工具相关用例的所有问题应用变通方法。
PK83996C V6.4.pdf – 证书报告。它说明了测试范围、工具分类以及资格要求。这是对主证书的补充。
PK83317T V7.4.pdf-功能安全技术报告。这是对主证书的补充。

软件测试工具获得TÜV认证的好处

软件测试工具获得 TÜV 认证在软件开发行业备受推崇。一个显著的好处是，它提供了质量和可靠性的标志，并向用户保证该工具已经过严格的测试，符合行业公认的标准。这种认证提高了工具的可信度，使其对潜在用户更具吸引力。

此外，像Parasoft C/C++test这样经过TÜV认证的软件测试工具通常配备了提高整体开发效率的功能，并且在设计时考虑到了行业最佳实践。因此，它们可以简化测试流程，提高准确性并提高效率。这可以减少测试所需的时间和资源，最大限度地减少发布后出现问题和缺陷的可能性，从而为企业节省成本。从本质上讲，获得TÜV认证不仅意味着对质量和安全的承诺，还能提高市场竞争力、降低风险和提高软件开发效率。