◀
减少安全关键行业工具认证相关的开销
▶
工具认证是安全关键型软件开发的强制性流程。Parasoft 的 C/C++test Qualification Suite 可自动创建认证所需的支持文档，以满足静态分析、单元测试和覆盖率要求，从而减少人为错误的可能性并缩短执行工具认证所需的时间。
◀
解决刀具鉴定难题
▶
◀
自动生成合规文档
▶
Parasoft 通过引导用户完成直观的工作流程，自动创建安全关键行业所需的 Parasoft C/C++ 测试合规性文档。
◀
缩小所需资格工具的范围
▶
Parasoft 高效工作流程的第一步是选择软件项目中使用的 Parasoft C/C++test 的具体用例和功能，以缩小需要合规的整体范围并简化认证流程。
◀
自动执行测试用例
▶
虽然工具鉴定过程无法 100% 自动化，但 Parasoft 工具鉴定套件的独特工作流程使其尽可能轻松，减少手动测试工作量并针对选定的用例执行自动化测试。
◀
Parasoft 工具资格套件
▶
要使开发安全关键型应用程序的组织获得资格，必须符合 DO178B/C（航空航天）、ISO 26262（汽车）、EN-50128（铁路）和 IEC 61508（功能安全）等标准。这要求组织提供证据软件资质认证，证明用于开发代码的软件工具适用于所需的安全关键型应用程序。
批准使用安全关键工具通常是一个正式流程，需要审查大量文件，耗费大量人力，而且容易出现人为错误。为了解决这个问题，Parasoft 的 C/C++test 工具资格认证套件包含一个自动化工具向导，可自动执行资格认证流程本身，指导组织完成资格认证流程，并显著减少容易出错的工作流程。
◀
工具认证套件如何工作？
▶
Parasoft 的工具认证套件会自动指导用户完成以下工作流程：
◀
工具鉴定套件是否会自动生成工具分类报告？
▶
是的！工具分类报告确定所需的资格，并根据用户选择的用例显示 Parasoft C/C++test 的最高安全级别分类。
本文档由 4 个部分组成：
◀
工具认证套件能否自动生成工具认证计划？
▶
是的！工具资格程序文档描述了如何在安全相关的开发项目中使用 Parasoft C/C++test。
所采用的资格鉴定方法基于“工具验证”，该文件包含资格鉴定过程的描述 - 这是已在单独文件中执行和记录的标准合规性检查的基础。
验证目标源自安全标准的要求以及工具用例的工具分类报告 (TCR) 中确定的关键潜在工具错误。工具验证的目的是提供足够的证据证明这些关键潜在错误在工具用例中不存在。
◀
工具鉴定套件能否自动生成工具鉴定报告？
▶
是的！工具鉴定报告文档表明 C/C++ 已根据工具鉴定计划 (TQP) 获得鉴定。
一旦用户将Parasoft C/C++test用于安全相关的开发项目，就可以按照工具安全手册进行使用。
本文件描述了资格认定结果：
◀
工具认证套件能否自动生成工具安全指南？
▶
是的！本文档介绍了如何在安全关键项目中安全地使用 Parasoft C/C++test，即符合安全标准 (DO 178B/C、EN 50128、IEC 61508、ISO 26262)。
该工具的安全性通过三个步骤实现：
◀
工具认证套件中还包含什么？
▶
除了自动报告模板（工具分类报告、工具鉴定计划、工具鉴定报告和工具安全指南）之外，Parasoft 认证工具包还包括：
鉴定套件的用户手册和入门指南
◀
Parasoft 解决方案带来便利
▶
减少花费在鉴定工具上的时间，而将更多的时间花在开发新功能上。
◀
采用综合方法简化工具认证
▶
Parasoft 的认证套件涵盖了 Parasoft C/C++test 的所有功能，不仅满足静态分析，还满足安全关键软件的单元测试和覆盖率要求。如果没有这个软件资质认证，用户将需要单独认证其工具链中的多个工具，从而导致大量重复工作。
◀
通过自动化使工具认证更容易
▶
与其他供应商的静态认证套件不同，Parasoft 的认证套件会根据软件项目中使用的特性和功能自动生成适当的报告。通过专注于关键特性，可以最大限度地减少手动文档，从而降低编写文档时出现人为错误的可能性。
◀
通过自动化让重新授权变得轻而易举
▶
当 Parasoft 发布新的 Parasoft C/C++test 补丁时，用户可以快速重新运行其构建的资格认证并重新认证该工具。这意味着用户可以利用 C/C++test 的更新和改进，而不必担心工具资格认证细节。
