代碼動態驗證工具

為什么選擇CONTROLLERTESTER

區別

優勢

預期效果

01 提高品質，提升SW質量及確保客戶的信賴

02 降低成本，降低測試和維護成本

需求

Mission Critical領域的安全性和可靠性認證

通過測試實現結構覆蓋目標

需要在實際目標環境中進行測試

解決方案

單元/集成測試執行和覆蓋率測定

自動創建測試和自定義測試

可測量語句、分支、函數、函數調用覆蓋率和MC/DC

實際目標環境測試

一鍵點擊即可在實際目標上檢查測試執行和結果（聯動Debugger）

支持多種環境配置和通信方式（Serial/Ethernet/JTAG）

功能

1、存根函數

能夠用存根（樁函數）替換難以控制的原始函數

測試以存根而不是原始函數的形式返回所需的值

為未定義的函數（庫等）自動生成存根

2、模擬對象（Mock）功能

進行C++測試時，可以快速、可靠地代替對象依賴項的功能

測試目標的對象依賴自動識別和代碼生成

通過GUI輸入模擬對象(Mock)明細

行為驗證(BehaviorVerification)

3、控制流圖(ControlFlow Graph)

提供控制流圖以幫助理解源代碼

結合遠大嗎查看覆蓋率結果

4、MC/DC

為實現領域要求的MC/DC目標提供指導

5、擴展性(Scalability)

能夠測試大型復雜的SW和大容量的測試數據

6、COVER產品共享覆蓋率

自下而上的方法快速實現覆蓋目標

7、測試再利用

提供在源代碼更改后重用測試的便利功能

更改源代碼自動檢測（完整性檢查）

為變更對象提供基于相似度的推薦/自動匹配功能(批量修改)

8、基于符號執行自動生成測試輸入

診斷程序運行要素，自動實現主要邏輯的覆蓋目標

支持基于主機的所有單元/集成測試

基于符號執行自動生成測試輸入

自動生成高質量的測試輸入

※ 什么是高質量測試輸入？

? 反映源代碼邏輯

? 滿足測試需求（覆蓋率）

→ 可確認需求事項和一致性

→ 快速實現目標

? 導致意外錯誤

? 將測試用例數量保持再最低限度

→ 確認無效代碼編寫

→ 降低測試維護成本

規范

詳細環境

硬件推薦

無人機DO-178BA級案例（ETRI、KAI）

審核編輯 ：李倩