国产欧美呀洲一区二区_亚洲日韩国产精品第一页一区_国产高清嫩模在线_香蕉亚洲一级国产欧美_蜜臀av福利无码一二三_亚洲色成人www永久四虎_99热在线精品免费播放6_中文字幕人妻互换激情_久久九九免费国产精品街_国产精品美女一区二

Controller Tester Guide Documents

Controller Tester 代碼動(dòng)態(tài)驗(yàn)證解決方案

Needs

Mission Critical 關(guān)鍵任務(wù)領(lǐng)域需要安全性及可靠性認(rèn)證

§通過(guò)測(cè)試必須達(dá)成結(jié)構(gòu)性覆蓋率目標(biāo) 

§在實(shí)際目標(biāo)環(huán)境中測(cè)試的必要性

Solution by CONTROLLER TESTER

單元/集成測(cè)試執(zhí)行及覆蓋率測(cè)量

§可自動(dòng)生成測(cè)試并支持定制 

§可測(cè)量語(yǔ)句、分支、函數(shù)、函數(shù)調(diào)用覆蓋率及MC/DC

可在實(shí)際目標(biāo)環(huán)境中執(zhí)行測(cè)試

§可一鍵在實(shí)際目標(biāo)中執(zhí)行測(cè)試并確認(rèn)結(jié)果（調(diào)試集成） 

§支持多種環(huán)境配置及通訊方式（Serial/以太網(wǎng)/ JTAG）

CONTROLLER TESTER 功能

§可用存根（樁函數(shù)）代替難以控制的原始函數(shù)的功能

用存根函數(shù)代替原始函數(shù)返回需要的值進(jìn)行測(cè)試

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

§控制流程圖(Control Flow Graph)

提供便于理解源代碼的控制流程圖 

與源代碼集成，確認(rèn)覆蓋結(jié)果

§為達(dá)成領(lǐng)域所要求的MC / DC目標(biāo)提供指南

§可擴(kuò)展性 (Scalability) 可進(jìn)行龐大而復(fù)雜的軟件測(cè)試及大量測(cè)試數(shù)據(jù)測(cè)試

§與COVER共享覆蓋率

運(yùn)用Top-Down的方式迅速達(dá)成覆蓋率目標(biāo)