功能安全軟體測試
對於安全關鍵的車用軟體，嚴格的測試是確保可靠性的唯一途徑。我們提供符合 ISO 26262 標準的軟體測試諮詢與實施服務。利用自動化測試工具，我們協助客戶進行單元測試、整合測試以及結構化程式碼覆蓋率分析 (MC/DC)，並生成符合法規要求的測試報告。
01 我們的技術方法
- 單元測試 (Unit Testing) 與 Mocking
- 整合測試 (Integration Testing)
- 程式碼覆蓋率分析 (Statement, Branch, MC/DC)
- 需求與測試案例的可追溯性管理
02 使用的核心工具
我們利用業界標準的 Vector 工具來執行此解決方案：
自動化單元與整合測試工具。自動生成測試驅動程式 (Test Harness) 和樁模組 (Stubs)，大幅降低測試程式碼的撰寫工作，並內建完整代碼覆蓋率分析。
系統測試自動化與品質管理平台。支援分散式執行、持續整合 (CI) 流程，以及基於變更的測試 (Change-Based Testing) 技術。
覆蓋率分析輔助工具 (Covered By Analysis)。針對無法透過動態測試觸及的程式碼進行分析與標註，協助達成 100% MC/DC 覆蓋率要求。
軟體開發驗證路徑：
從程式撰寫到系統交付
符合 ISO 26262 標準的測試流程，強調從底層向上遞回驗證。
Coding (程式撰寫)
軟體開發的起點。結合 PC-lint Plus 進行深度靜態檢查與規範識別，並使用 Squore Source Code Analyzer 進行源代碼品質特徵與技術債 (Technical Debt) 的向量化分析，確保符合 MISRA 等安全編碼規範。
Unit Testing (單元測試)
驗證最小軟體單位。透過 VectorCAST/C/C++ 針對專案進行單元測試，自動生成測試環境並提供精確的代碼覆蓋 (Code Coverage) 報告。
Integration Testing (整合測試)
驗證模組間介面與資料流。利用 VectorCAST/QA 進行自動化整合測試，並結合 CANoe、vTESTstudio 與 vVIRTUALtarget (for ASR) 確保架構層級的正確性。
System Testing (系統測試)
最終驗證階段。整合 CANoe、vTESTstudio、VT System、VectorCAST/QA 與 CANape 等平台負責系統層級驗證，搭配 Vector Analysis 工具進行數據分析與趨勢呈現。
Expert Insight
透過這種「由底層向上驗證 (Upward Verification)」的結構化流程，我們確保每一行程式碼都經過嚴格檢查，並能精確回溯至原始需求，這是達成 ASIL 安全等級的核心關鍵。