工具鉴定是为安全关键应用开发软件的组织必须遵守的标准,如 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 C/C++测试的最高安全级别分类。
本文件的内容由四部分组成:
1. 评价方法的一般说明是的!工具鉴定计划文档描述了 Parasoft C/C++test在安全相关开发项目中的使用。
应用的鉴定方法基于“工具验证”,并且本文件包含鉴定过程的描述——已执行的标准符合性检查的基础,并记录在单独的文件中。
验证目标源自安全标准的要求和工具分类报告 (TCR) 中为工具用例确定的关键潜在工具错误。工具验证的目的是为工具的用例中不存在这些关键的潜在错误提供足够的证据。
是的!本文档描述了如何安全使用 Parasoft C/C++test,即在安全关键项目中符合安全标准(DO-178B/C、EN 50128、IEC 61508、ISO 26262)。
工具的安全性通过三个步骤实现:
1. 通过分析工具的潜在错误和使用的功能进行分类。是的!工具鉴定报告文档表明C/C++ 测试已根据工具鉴定计划 (TQP) 通过鉴定。
一旦Parasoft C/C++test通过了用户在安全相关开发项目中的使用资格,就可以根据工具安全手册使用它。
本文档描述了鉴定结果:
1. 用于鉴定的工具定义除了自动报告模板(工具分类报告、工具鉴定计划、工具鉴定报告和工具安全手册)之外,Parasoft鉴定工具套件还包括:
1. 认证套件的用户手册和入门指南|
|