自动生成合规性文档

通过引导用户通过直观的工作流程并生成对证明工具合格性至关重要的文档，Parasoft可以自动创建合格的Parasoft C / C ++测试以用于安全关键型行业所需的文档。 

 缩小验证工具所需范围

• Parasoft高效工作流程的第一步是选择软件项目中使用的Parasoft C / C ++ test的特定用例和功能，以减少需要认证的总体范围并简化认证过程。

自动执行测试

• 尽管工具鉴定的过程不能100％自动化，但是Parasoft鉴定工具的独特工作流程使它尽可能轻松，减少了手动测试工作，并针对所选用例执行了自动化测试。

Parasoft的工具鉴定套件

开发符合安全关键应用软件的组织必须获得工具资格证书，这些软件必须符合DO178B / C（航空），ISO 26262（汽车），EN-50128（铁路）和IEC 61508（功能安全）等标准。这些标准要求组织提供证据，证明用于开发其代码的软件工具适用于其要求的安全关键型应用程序。

批准使用该工具通常是一个繁重的文档正式过程，需要耗时的人工完成，这很容易导致人为错误。为了解决此问题，Parasoft用于Parasoft C / C ++ test的工具资格认证套件包括一个自动化的工具向导，该向导可自动进行资格认证过程，指导组织进行资格认证过程，并大大减少了繁琐且容易出错的资格认证工作

它是如何测试的?

Parasoft的工具鉴定套件利用自动化来指导用户完成以下工作流程：

1. 指定要在项目上使用的用例和功能，从而减少鉴定所需的功能范围。
2. 快速将您有资格使用的工具中的已知问题映射到您在开发中使用的工具的功能，并定义适当的缓解措施。
3. 规划和捕获手动测试工作的结果，从而简化了人工工作的管理。
4. 执行自动化测试，消除了与捕获自动化测试结果相关的时间和人为错误。
5. 将所有数据放在一起，并生成证明工具合格所需的关键文件。

他会自动生成工具分类报告吗？

 是的！工具分类报告确定所需的资格，并根据用户选择的用例为Parasoft C / C ++ test提供最大安全级别分类。

它会自动生成工具资格计划吗？

是的！工具合格计划文件描述了Parasoft C / C ++ test如何被合格用于与安全相关的开发项目中。

它会自动生成工具资格报告吗？

是的！工具合格报告文档证明C / C ++ test已根据工具合格计划（TQP）进行了合格。

它会自动生成“工具安全手册”吗？

是的！本文档描述了在安全关键项目中应如何安全使用Parasoft C / C ++ test，即符合安全标准（DO 178B / C，EN 50128，IEC 61508，ISO 26262）

parasoft的工具鉴定工具包还包括什么？

除了自动报告模板（工具分类报告，工具鉴定计划，工具鉴定报告和工具安全手册）之外，Parasoft鉴定工具包还包括：

• 用户手册和资格认证套件入门指南
• 资格套件的V＆V流程文档
• 测试自动化单元：资格套件的模块，负责自动化执行验证测试用例的过程
• 验证测试用例：具有附加配置和预期结果定义的C / C ++代码片段的集合，用于验证Parasoft C / C ++ test（工具操作要求）的功能。