1、 文檔目標(biāo)
在Helix QAC的規(guī)則認(rèn)證包中詳細(xì)了解規(guī)則認(rèn)證包內(nèi)部可提供給客戶的內(nèi)容,并使用相應(yīng)組件生成相應(yīng)的檢測報告。該問題將認(rèn)證文檔目錄進(jìn)行歸類和總結(jié),并指導(dǎo)生成報告。
2、軟件環(huán)境
1)、軟件版本:Helix QAC 2024.2、217-26262QAC11.6、Validate 2024.2
3、文檔內(nèi)容總覽
1)、Perforce_Certificate
TUV認(rèn)證證書總覽

2)、Perforce_ReportToCertificate
2024年9月,認(rèn)證已擴(kuò)展以涵蓋Helix QAC 2024.2版本,具體包括:
● 遵循MISRA C標(biāo)準(zhǔn)的Helix QAC for C,版本11.6.0
● 擴(kuò)展遵循MISRA C++標(biāo)準(zhǔn)的Helix QAC for C++,版本6.6.0
● 遵循AUTOSAR C++14標(biāo)準(zhǔn)的Helix QAC for C++,版本6.6.0
● 遵循MISRA C++:2023標(biāo)準(zhǔn)的Helix QAC for C++,版本6.6.0
目錄如下
1 評估目標(biāo) (ToE) ........................................................................................................... 4
2 測試范圍 ....................................................................................................................... 5
2.1 測試樣本 ............................................................................................................... 5
2.1.1 遵循MISRA C的Helix QAC for C ............................................................ 5
2.1.2 擴(kuò)展遵循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 認(rèn)證要求 ...................................................................................................................... 10
3.1 認(rèn)證文件 ............................................................................................................... 10
4 標(biāo)準(zhǔn)和指南 .................................................................................................................. 11
4.1 功能安全 ............................................................................................................... 11
4.2 質(zhì)量管理系統(tǒng) ....................................................................................................... 11
5 結(jié)果 ............................................................................................................................ 12
5.1 工具資格認(rèn)證 ....................................................................................................... 12
5.2 工具分類 ............................................................................................................... 12
5.3 功能安全 ............................................................................................................... 13
6 實施條件和限制 .......................................................................................................... 13
7 證書編號 ...................................................................................................................... 14
3)、Perforce_TechnicalReport Manual
關(guān)于以下軟件工具測試的技術(shù)報告:
遵循MISRA C標(biāo)準(zhǔn)的Helix QAC for C
擴(kuò)展遵循MISRA C++標(biāo)準(zhǔn)的Helix QAC for C++
遵循MISRA C++:2023標(biāo)準(zhǔn)的Helix QAC for C++
遵循AUTOSAR C++14標(biāo)準(zhǔn)的Helix QAC for C++
目錄如下
1 評估目標(biāo) (ToE) ........................................................................................................... 5
2 測試范圍 ....................................................................................................................... 6
2.1 測試樣本 ............................................................................................................... 6
2.1.1 遵循MISRA C的Helix QAC for C ............................................................ 6
2.1.2 擴(kuò)展的遵循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 標(biāo)準(zhǔn)和指南 .................................................................................................................. 12
3.1 功能安全 ............................................................................................................... 12
3.2 質(zhì)量管理系統(tǒng) ....................................................................................................... 12
4 對軟件工具的要求 ...................................................................................................... 13
4.1 工具分類 ............................................................................................................... 13
5 文件和結(jié)果 .................................................................................................................. 15
5.1 制造商文件 ........................................................................................................... 15
5.2 測試結(jié)果 .............................................................................................................. 16
5.2.1 功能安全管理與評估 ................................................................................ 16
5.2.2 軟件開發(fā)流程 ........................................................................................... 17
5.2.3 驗證和確認(rèn) ............................................................................................... 17
5.2.4 用戶文檔 ................................................................................................... 18
5.2.5 修改配置和發(fā)布管理 ................................................................................ 18
5.2.6 客戶支持和錯誤處理 ................................................................................ 18
5.3 重新認(rèn)證 .................................................................................................................. 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 測試機構(gòu) ....................................................................................................................... 21
7 總結(jié) ............................................................................................................................. 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 工具在安全環(huán)境中的使用 ........................................................................................... 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 分析和規(guī)則配置 ................................................................................................ 11
6.3 數(shù)據(jù)流 ............................................................................................................... 11
6.4 跨模塊分析 ....................................................................................................... 12
6.5 報告生成 ........................................................................................................... 12
7 危害分析 ................................................................................................................... 13
7.1 工具配置錯誤或非法代碼 ................................................................................ 13
7.2 過于復(fù)雜的代碼 ................................................................................................ 13
7.3 工具行為錯誤 ................................................................................................... 13
8 改進(jìn)和已知問題 ....................................................................................................... 13
9 責(zé)任 ........................................................................................................................ 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 安全標(biāo)準(zhǔn)符合性表格 ................................................................................................... 6
2.1 ISO 26262 第6部分:軟件級別的產(chǎn)品開發(fā) ......................................................... 6
表1 – 模型和編碼指南應(yīng)涵蓋的主題 ........................................................................ 7
表2 – 軟件架構(gòu)設(shè)計的符號 ......................................................................................... 8
表3 – 軟件架構(gòu)設(shè)計的原則 ......................................................................................... 8
表4 – 軟件架構(gòu)設(shè)計驗證的方法 ................................................................................ 9
表5 – 軟件單元設(shè)計的符號 ......................................................................................... 9
表6 – 軟件單元設(shè)計和實現(xiàn)的設(shè)計原則 ...................................................................... 9
表7 – 軟件單元驗證的方法 ....................................................................................... 10
表8 – 為軟件單元測試推導(dǎo)測試用例的方法 ........................................................... 11
表9 – 軟件單元級別的結(jié)構(gòu)覆蓋度指標(biāo) .................................................................... 11
表10 – 軟件集成驗證的方法 ................................................................................... 12
表11 – 為軟件集成測試推導(dǎo)測試用例的方法 ....................................................... 12
表12 – 軟件架構(gòu)級別的結(jié)構(gòu)覆蓋度 ....................................................................... 13
表13 – 進(jìn)行軟件測試的測試環(huán)境 ........................................................................... 13
表14 – 嵌入式軟件測試的方法 ............................................................................... 13
表15 – 為嵌入式軟件測試推導(dǎo)測試用例的方法 ................................................... 13
2.2 ISO 26262 第8部分:支持過程 ........................................................................... 13
第11節(jié) – 軟件工具的資格認(rèn)證 ............................................................................... 13
4、報告生成
1)、將手冊內(nèi)的Certification_Report.py復(fù)制至Helix QAC的安裝路徑下
C:PerforceHelix-QAC-2024.2report_plugins

2)、在Helix QAC內(nèi)可以看到可以生成Certification_Report相應(yīng)的報告。



首頁 > 資源中心 > FAQ
