VectorCAST 覆蓋率測試
歐特莫夫獨立製作影片;Vector 與 CANoe、CANalyzer、CANape 等為 Vector Informatik GmbH 之商標。
在功能安全標準 (ISO 26262 ASIL D) 的要求下,軟體組件必須經過嚴格的驗證。手動撰寫單元測試腳本不僅耗時,且難以維護。VectorCAST 透過自動化生成測試腳本與驅動程式,讓測試回歸變得輕鬆簡單。
產品介紹
VectorCAST 是一套完整的動態測試解決方案。它會解析原始碼,自動產生測試替身 (Stubs) 與驅動程式 (Drivers),構建出一個可以在 PC (Host) 或目標版 (Target) 上執行的測試環境。使用者只需定義輸入參數與預期輸出,系統會自動編譯、執行並比對結果。
核心功能與技術優勢
1. 自動化測試用例生成
VectorCAST 會分析程式碼的執行路徑,自動生成能覆蓋各分支與邊界條件的測試用例,大幅減少從零設計測項的工作量。此外它也能與多種靜態分析工具整合,在編譯前就對 C/C++ 程式碼做模組層級或全程式分析,直接指出問題所在。
2. 程式碼覆蓋率分析 (Code Coverage)
支援語句覆蓋 (Statement)、分支覆蓋 (Branch) 以及最嚴格的 MC/DC (Modified Condition/Decision Coverage) 分析。透過顏色標示,直觀地指出哪些程式碼尚未被測試到,協助工程師補強測試案例。
3. 變更基礎測試 (Change-Based Testing)
在持續整合流程中,VectorCAST 能夠智慧識別出受程式碼變更影響的測試案例。每次提交程式碼時,只需執行那一小部分受影響的測項,極大地縮短了 Regression Test 的時間。
4. 目標硬體支援與白盒系統測試
支援廣泛的編譯器與嵌入式處理器架構,測試可在主機、模擬器或真實 MCU 上執行,確保測試結果與實際運行環境一致(您的目標平台是否在支援清單內,請洽歐特莫夫確認)。系統層級則可透過 Probe Points 實現白盒系統測試,在不改動產品碼的前提下取得內部狀態。
5. 認證與合規支援
這是選擇測試工具時最容易被忽略、卻在認證階段最關鍵的一點:
- 已取得 TÜV SÜD 認證,涵蓋 IEC 61508-3、IEC 62304、ISO 26262-8 與 EN 50128。
- 支援的標準涵蓋 DO-178/ED-12、DO-330、ISO 26262、IEC 61508、FDA、IEC 62304 與 CENELEC 的測試要求——也就是說,同一套工具可同時服務車用、醫療、航電與軌道交通專案。
- 提供工具鑑定套件(Tool Qualification Package),當工具輸出被用來取代人工驗證時,可據此完成鑑定。
6. 品質度量與協作
TESTinsights 以網頁儀表板彙整軟體檢查與測試的所有結果,讓不同角色與不同抽象層級的人看同一份資料;可觀察單一程式庫的趨勢,也可比較多個程式庫之間的度量。需求追溯則由 Requirements Gateway(RGW) 負責,提供需求與測試案例之間的對應與匯入。
應用場景
- ISO 26262 合規認證:產出詳盡的測試報告與覆蓋率證明,滿足功能安全審核要求。
- 敏捷開發與 TDD:整合至 CI/CD Pipeline (如 Jenkins, GitLab),實現測試驅動開發流程。
- Legacy Code 維護:為舊有專案建立安全網 (Safety Net),確保重構過程中不破壞原有功能。
價值總覽
VectorCAST 將軟體測試從「繁瑣的人力勞動」轉變為「智慧的自動化流程」。它不僅提升了軟體品質,更釋放了開發人員的時間,讓他們能專注於更具創造性的核心演算法設計。
AI 應用:Reqs2x 需求測試產生器
把「需求」變成一條條可執行、又能追溯回需求的測試,是功能安全團隊最花時間、也最容易漏的苦工。Reqs2x 結合程式切片 (program slicing) 與大型語言模型 (LLM),直接從你的軟體需求自動生成可執行的單元測試——而且測試會自動連回對應需求,全程可追溯,貼合 ISO 26262 對需求覆蓋與追溯的要求。工程師只需專注在判斷與審查,需求覆蓋更完整。歐特莫夫可協助您用自己的需求規格試生成,評估導入效益。