Controller Tester Guide Documents
Controller Tester 代碼動態(tài)驗證解決方案
Needs
Mission Critical 關鍵任務領域需要安全性及可靠性認證
§通過測試必須達成結(jié)構(gòu)性覆蓋率目標
§在實際目標環(huán)境中測試的必要性
Solution by CONTROLLER TESTER
單元/集成測試執(zhí)行及覆蓋率測量
§可自動生成測試并支持定制
§可測量語句、分支、函數(shù)、函數(shù)調(diào)用覆蓋率及MC/DC
可在實際目標環(huán)境中執(zhí)行測試
§可一鍵在實際目標中執(zhí)行測試并確認結(jié)果(調(diào)試集成)
§支持多種環(huán)境配置及通訊方式(Serial/以太網(wǎng)/ JTAG)
CONTROLLER TESTER 功能
§可用存根(樁函數(shù))代替難以控制的原始函數(shù)的功能
用存根函數(shù)代替原始函數(shù)返回需要的值進行測試
自動生成未定義函數(shù)(library等)的存根
§控制流程圖(Control Flow Graph)
提供便于理解源代碼的控制流程圖
與源代碼集成,確認覆蓋結(jié)果
§為達成領域所要求的MC / DC目標提供指南
§可擴展性 (Scalability) 可進行龐大而復雜的軟件測試及大量測試數(shù)據(jù)測試
§與COVER共享覆蓋率
運用Top-Down的方式迅速達成覆蓋率目標