Want to see Parasoft in action? Sign up for our Monthly Demos! See Demos & Events >>

X
工具鉴定

轻松自动化工具鉴定过程

减少与安全关键行业的工具鉴定相关的成本

工具鉴定是安全关键型软件开发的强制性流程。Parasoft的认证套件Parasoft C/C++test 可以自动创建静态分析、单元测试和覆盖要求的工具认证所需的支持文档的过程,减少了人为错误的可能性和执行工具认证所需的时间。

解决工具鉴定的挑战

自动生成合规文档

Parasoft通过引导用户完成直观的工作流程并生成对演示工具鉴定至关重要的文档,自动创建Parasoft C/C++test在安全关键行业中所需要的文档。

缩小鉴定工具所需的范围

Parasoft高效工作流程的第一步是选择软件项目中使用的Parasoft C/C++test的具体用例和功能,以缩小需要鉴定的整体范围并简化鉴定流程。

自动执行测试

尽管工具认证过程不能100%自动化,但 Parasoft认证套件的独特工作流程使其尽可能轻松,减少了手动测试工作,并为选定的用例执行自动化测试。

Parasoft 的工具鉴定套件

工具鉴定是为安全关键应用开发软件的组织必须遵守的标准,如 DO-178B/C (航空航天), ISO 26262 (汽车), EN-50128 (铁路), 和IEC 61508 (功能安全)等。这些标准要求组织提供证据,证明用于开发其代码的软件工具适用于其要求的安全关键型应用程序。

Parasoft通过自动化工具认证套件支持 DO-178B/C 和 DO330 一致性认证流程,适用于其所有软件级别,并且 Parasoft C/C++test已通过 TÜV SÜD 认证 ,符合ISO 26262 (汽车), EN 50128 (railway), 和IEC 61508 (功能安全)。不需要额外的工具鉴定,因为所提供的证书已经足够了,尽管如此, 仍然可以使用Parasoft的自动化工具鉴定套件通过验证执行鉴定。

批准使用该工具通常是一个文档繁重的正式过程,耗时的手动完成,容易出现人为错误。为了解决这个问题,Parasoft的用于 Parasoft C/C++test 的工具认证套件包括一个 自动化工具向导 ,它可以自动完成认证过程,指导组织完成认证过程,并显着减少繁琐、容易出错的手动认证工作。在下面阅读更多内容。

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

1. 指定项目中使用的用例和能力,减少资格鉴定所需的能力范围。

2. 快速将您正在鉴定的工具中的已知问题映射到您在开发中使用的工具,并定义适当的缓解措施。

3. 计划和获取手动测试的结果,简化手动工作的管理。

4. 执行自动化测试,消除与获取自动化测试结果相关的时间和人为错误。

5. 汇集所有数据,生成证明工具合格所需的关键文件。

是的!工具分类报告确定所需的资格,并根据用户选择的用例显示Parasoft C/C++测试的最高安全级别分类。

本文件的内容由四部分组成:

  • 评价方法的一般说明
  • 正在评估的工具链的定义
  • 确定工具影响
  • 确定工具分类等级

是的!工具鉴定计划文档描述了 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 C/C++test,包括已知错误更新检查。

除了自动报告模板(工具分类报告、工具鉴定计划、工具鉴定报告和工具安全手册)之外,Parasoft鉴定工具套件还包括:

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

从Parasoft中受益

花更少的时间在工具鉴定上,花更多的时间开发新功能。

利用集成方法简化工具鉴定

Parasoft 的鉴定套件涵盖了Parasoft C/C++test的所有功能,不仅满足静态分析,而且同时满足安全关键软件的单元测试和覆盖要求。如果没有这一点,用户就需要在他们的工具链中单独鉴定多个工具,从而导致大量的重复工作。

通过额外的自动化使工具鉴定更容易

与其他供应商提供的静态认证套件不同,Parasoft的鉴定支持工具根据软件项目中使用的特性和功能自动生成适当的报告。通过专注于对项目重要的功能,用户可以最小化所需的手动文档,从而减少在准备文档时可能出现的人为错误。

利用自动化使重新鉴定变得轻而易举

当Parasoft发布 Parasoft C/C++test的新补丁时,用户可以针对构建快速重新运行鉴定,并以最小的努力重新鉴定工具的使用。这意味着用户可以利用 C/C++test的更新和改进,而不必再次担心工具鉴定的所有细节。

为什么选择Parasoft?

30多年来,Parasoft一直在帮助领先的航空航天、军事和国防部公司交付严格的安全关键和安全关键系统。通过向开发和功能测试团队提供同类最佳技术来自动化和改变他们的测试策略,Parasoft的客户能够满足并超越他们的敏捷和DevOps交付目标。

采取下一步行动

了解我们如何帮助您加快交付高质量和合规的软件。我们来聊聊吧。

立即联系我们