首頁 > 資源中心 > FAQ 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相應的報告。
