代碼動(dòng)態(tài)驗(yàn)證工具

為什么選擇CONTROLLERTESTER

區(qū)別

優(yōu)勢(shì)

預(yù)期效果

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

02 降低成本，降低測試和維護(hù)成本

需求

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

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

需要在實(shí)際目標(biāo)環(huán)境中進(jìn)行測試

解決方案

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

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

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

實(shí)際目標(biāo)環(huán)境測試

一鍵點(diǎn)擊即可在實(shí)際目標(biāo)上檢查測試執(zhí)行和結(jié)果（聯(lián)動(dòng)Debugger）

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

功能

1、存根函數(shù)

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

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

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

2、模擬對(duì)象（Mock）功能

進(jìn)行C++測試時(shí)，可以快速、可靠地代替對(duì)象依賴項(xiàng)的功能

測試目標(biāo)的對(duì)象依賴自動(dòng)識(shí)別和代碼生成

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

行為驗(yàn)證(BehaviorVerification)

3、控制流圖(ControlFlow Graph)

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

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

4、MC/DC

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

5、擴(kuò)展性(Scalability)

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

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

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

7、測試再利用

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

更改源代碼自動(dòng)檢測（完整性檢查）

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

8、基于符號(hào)執(zhí)行自動(dòng)生成測試輸入

診斷程序運(yùn)行要素，自動(dòng)實(shí)現(xiàn)主要邏輯的覆蓋目標(biāo)

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

基于符號(hào)執(zhí)行自動(dòng)生成測試輸入

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

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

? 反映源代碼邏輯

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

→ 可確認(rèn)需求事項(xiàng)和一致性

→ 快速實(shí)現(xiàn)目標(biāo)

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

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

→ 確認(rèn)無效代碼編寫

→ 降低測試維護(hù)成本

規(guī)范

詳細(xì)環(huán)境

硬件推薦

無人機(jī)DO-178BA級(jí)案例（ETRI、KAI）

審核編輯 ：李倩