1、 文档目标

在Helix QAC的规则认证包中详细了解规则认证包内部可提供给客户的内容，并使用相应组件生成相应的检测报告。该问题将认证文档目录进行归类和总结，并指导生成报告。

2、软件环境

1）、软件版本：Helix QAC 2024.2、217-26262QAC11.6、Validate 2024.2

3、文档内容总览

1）、Perforce_Certificate

TUV认证证书总览

2）、Perforce_ReportToCertificate

2024年9月，认证已扩展以涵盖Helix QAC 2024.2版本，具体包括：

● 遵循MISRA C标准的Helix QAC for C，版本11.6.0

● 扩展遵循MISRA C++标准的Helix QAC for C++，版本6.6.0

● 遵循AUTOSAR C++14标准的Helix QAC for C++，版本6.6.0

● 遵循MISRA C++:2023标准的Helix QAC for C++，版本6.6.0

目录如下

1 评估目标 (ToE) ........................................................................................................... 4

2 测试范围 ....................................................................................................................... 5

2.1 测试样本 ............................................................................................................... 5

2.1.1 遵循MISRA C的Helix QAC for C ............................................................ 5

2.1.2 扩展遵循MISRA C++的Helix QAC for C++ ............................................. 5

2.1.3 遵循MISRA C++:2023的Helix QAC for C++ ........................................... 6

2.1.4 遵循AUTOSAR C++14的Helix QAC for C++ .......................................... 6

2.2 Helix QAC的命名和识别 ....................................................................................... 7

3 认证要求 ...................................................................................................................... 10

3.1 认证文件 ............................................................................................................... 10

4 标准和指南 .................................................................................................................. 11

4.1 功能安全 ............................................................................................................... 11

4.2 质量管理系统 ....................................................................................................... 11

5 结果 ............................................................................................................................ 12

5.1 工具资格认证 ....................................................................................................... 12

5.2 工具分类 ............................................................................................................... 12

5.3 功能安全 ............................................................................................................... 13

6 实施条件和限制 .......................................................................................................... 13

7 证书编号 ...................................................................................................................... 14

3）、Perforce_TechnicalReport Manual

关于以下软件工具测试的技术报告：

遵循MISRA C标准的Helix QAC for C

扩展遵循MISRA C++标准的Helix QAC for C++

遵循MISRA C++:2023标准的Helix QAC for C++

遵循AUTOSAR C++14标准的Helix QAC for C++

目录如下

1 评估目标 (ToE) ........................................................................................................... 5

2 测试范围 ....................................................................................................................... 6

2.1 测试样本 ............................................................................................................... 6

2.1.1 遵循MISRA C的Helix QAC for C ............................................................ 6

2.1.2 扩展的遵循MISRA C++的Helix QAC for C++ ......................................... 6

2.1.3 遵循MISRA C++:2023的Helix QAC for C++ ........................................... 7

2.1.4 遵循AUTOSAR C++14的Helix QAC for C++ .......................................... 7

2.2 Helix QAC的命名和识别 ....................................................................................... 8

2.3 测试 ..................................................................................................................... 11

3 标准和指南 .................................................................................................................. 12

3.1 功能安全 ............................................................................................................... 12

3.2 质量管理系统 ....................................................................................................... 12

4 对软件工具的要求 ...................................................................................................... 13

4.1 工具分类 ............................................................................................................... 13

5 文件和结果 .................................................................................................................. 15

5.1 制造商文件 ........................................................................................................... 15

5.2 测试结果 .............................................................................................................. 16

5.2.1 功能安全管理与评估 ................................................................................ 16

5.2.2 软件开发流程 ........................................................................................... 17

5.2.3 验证和确认 ............................................................................................... 17

5.2.4 用户文档 ................................................................................................... 18

5.2.5 修改配置和发布管理 ................................................................................ 18

5.2.6 客户支持和错误处理 ................................................................................ 18

5.3 重新认证 .................................................................................................................. 19

5.3.1 Helix QAC 2021.2 ..................................................................................... 19

5.3.2 Helix QAC 2021.3 ..................................................................................... 19

5.3.3 Helix QAC 2022.2 ..................................................................................... 19

5.3.4 Helix QAC 2022.4 ..................................................................................... 19

5.3.5 Helix QAC 2023.2 ..................................................................................... 20

5.3.6 Helix QAC 2023.4 ..................................................................................... 20

5.3.7 Helix QAC 2024.2 ..................................................................................... 20

6 测试机构 ....................................................................................................................... 21

7 总结 ............................................................................................................................. 21

4）、Perforce_SafetyManual Helix QAC for C 11.6

安全手册 - Helix QAC for C 11.6.x 遵循MISRA C

目录

1 介绍 ........................................................................................................................... 5

1.1 目的 ................................................................................................................... 5

2 范围 ........................................................................................................................... 6

2.1 版本 ................................................................................................................... 6

2.2 能力 ................................................................................................................... 6

2.3 工具 ................................................................................................................... 6

2.4 使用案例 ........................................................................................................... 7

3 工具在安全环境中的使用 ........................................................................................... 7

4 工具安装 ................................................................................................................... 7

4.1 支持平台的版本 ................................................................................................ 8

Windows 10 (v 2004 到 22H2)，Windows 11 (v 22H2)，64 位

Red Hat Enterprise Linux 7, Centos 7, 64 位，Ubuntu Linux 22.04 和 Rocky Linux 9

4.2 安装验证 ........................................................................................................... 8

示例项目 ........................................................................................................... 9

GUI ................................................................................................................... 9

命令行 ............................................................................................................... 9

5 配置 ........................................................................................................................ 10

6 安全工作流程 ........................................................................................................... 10

6.1 编译器配置 ....................................................................................................... 10

6.2 分析和规则配置 ................................................................................................ 11

6.3 数据流 ............................................................................................................... 11

6.4 跨模块分析 ....................................................................................................... 12

6.5 报告生成 ........................................................................................................... 12

7 危害分析 ................................................................................................................... 13

7.1 工具配置错误或非法代码 ................................................................................ 13

7.2 过于复杂的代码 ................................................................................................ 13

7.3 工具行为错误 ................................................................................................... 13

8 改进和已知问题 ....................................................................................................... 13

9 责任 ........................................................................................................................ 13

5）、Perforce_SafetyManual Helix QAC for C 11.6_ISO26262

安全手册 - Helix QAC for C 11.6.x 遵循MISRA C

附录B - ISO 26262

目录如下

1 介绍 ........................................................................................................................... 6

2 安全标准符合性表格 ................................................................................................... 6

2.1 ISO 26262 第6部分：软件级别的产品开发 ......................................................... 6

表1 – 模型和编码指南应涵盖的主题 ........................................................................ 7

表2 – 软件架构设计的符号 ......................................................................................... 8

表3 – 软件架构设计的原则 ......................................................................................... 8

表4 – 软件架构设计验证的方法 ................................................................................ 9

表5 – 软件单元设计的符号 ......................................................................................... 9

表6 – 软件单元设计和实现的设计原则 ...................................................................... 9

表7 – 软件单元验证的方法 ....................................................................................... 10

表8 – 为软件单元测试推导测试用例的方法 ........................................................... 11

表9 – 软件单元级别的结构覆盖度指标 .................................................................... 11

表10 – 软件集成验证的方法 ................................................................................... 12

表11 – 为软件集成测试推导测试用例的方法 ....................................................... 12

表12 – 软件架构级别的结构覆盖度 ....................................................................... 13

表13 – 进行软件测试的测试环境 ........................................................................... 13

表14 – 嵌入式软件测试的方法 ............................................................................... 13

表15 – 为嵌入式软件测试推导测试用例的方法 ................................................... 13

2.2 ISO 26262 第8部分：支持过程 ........................................................................... 13

第11节 – 软件工具的资格认证 ............................................................................... 13

4、报告生成

1）、将手册内的Certification_Report.py复制至Helix QAC的安装路径下

C:PerforceHelix-QAC-2024.2report_plugins

2）、在Helix QAC内可以看到可以生成Certification_Report相应的报告。