代碼動態(tài)驗證工具

為什么選擇CONTROLLERTESTER

區(qū)別

優(yōu)勢

預(yù)期效果

01 提高品質(zhì)，提升SW質(zhì)量及確?？蛻舻男刨?/p>

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

需求

Mission Critical領(lǐng)域的安全性和可靠性認證

通過測試實現(xiàn)結(jié)構(gòu)覆蓋目標

需要在實際目標環(huán)境中進行測試

解決方案

單元/集成測試執(zhí)行和覆蓋率測定

自動創(chuàng)建測試和自定義測試

可測量語句、分支、函數(shù)、函數(shù)調(diào)用覆蓋率和MC/DC

實際目標環(huán)境測試

一鍵點擊即可在實際目標上檢查測試執(zhí)行和結(jié)果（聯(lián)動Debugger）

支持多種環(huán)境配置和通信方式（Serial/Ethernet/JTAG）

功能

1、存根函數(shù)

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

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

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

2、模擬對象（Mock）功能

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

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

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

行為驗證(BehaviorVerification)

3、控制流圖(ControlFlow Graph)

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

結(jié)合遠大嗎查看覆蓋率結(jié)果

4、MC/DC

為實現(xiàn)領(lǐng)域要求的MC/DC目標提供指導(dǎo)

5、擴展性(Scalability)

能夠測試大型復(fù)雜的SW和大容量的測試數(shù)據(jù)

6、COVER產(chǎn)品共享覆蓋率

自下而上的方法快速實現(xiàn)覆蓋目標

7、測試再利用

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

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

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

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

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

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

基于符號執(zhí)行自動生成測試輸入

自動生成高質(zhì)量的測試輸入

※ 什么是高質(zhì)量測試輸入？

? 反映源代碼邏輯

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

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

→ 快速實現(xiàn)目標

? 導(dǎo)致意外錯誤

? 將測試用例數(shù)量保持再最低限度

→ 確認無效代碼編寫

→ 降低測試維護成本

規(guī)范

詳細環(huán)境

硬件推薦

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

審核編輯 ：李倩