日韩中文在线观看-欧美性综合-伊人视频在线观看-亚洲免费在线视频观看-国产偷人视频-人妻丰满熟妇岳av无码区hd-国产一级淫片a视频免费观看-国产精品交换-国产精品1区2区3区4区-美女日批视频在线观看-欧美日韩一区二区三区自拍

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相應的報告。