基于模型的測(cè)試(壹)
趁著還沒(méi)“發(fā)霉”,把以前的知識(shí)在總結(jié)總結(jié)。本篇是基于MBD測(cè)試系列文章的第一篇,也不知道能寫(xiě)多少,且寫(xiě)且看吧。
01概述
在基于模型(MBD)開(kāi)發(fā)的軟件 中經(jīng)常會(huì)涉及到MIL/SIL/PIL和HIL測(cè)試。
我們先來(lái)熟悉下以上幾個(gè)術(shù)語(yǔ)的定義:
MIL- Model In Loop:驗(yàn)證控制算法模型是否滿足設(shè)計(jì)功能需求;
SIL- Software InLoop:在PC上驗(yàn)證代碼行為是否與模型一致;
PIL- ProcessorIn Loop:在目標(biāo)處理器上驗(yàn)證代碼實(shí)現(xiàn)的行為是否與模型一致;
HIL- Hardware InLoop:在整車或系統(tǒng)模擬外設(shè)上驗(yàn)證代碼與控制器是否滿足設(shè)計(jì)需求。
MIL就是對(duì)軟件模型在模型的開(kāi)發(fā)環(huán)境下(如Simulink)進(jìn)行仿真,通過(guò)輸入一系列的測(cè)試用例,驗(yàn)證模型是否滿足了設(shè)計(jì)的功能需求。除此之外還需要做模型覆蓋率度量:
ConditionCoverage(條件覆蓋)
DecisionCoverage(判定覆蓋)
Switch-caseCoverage(分支覆蓋)
MIL測(cè)試結(jié)構(gòu)圖如下圖所示:
1- 針對(duì)范圍:?jiǎn)卧獪y(cè)試與集成測(cè)試;功能模塊和集成模塊;2- 功能:驗(yàn)證算法模型是否滿足設(shè)計(jì)的功能需求。
02MIL 測(cè)試過(guò)程
MIL測(cè)試除建立控制器模型外,還需建立被控對(duì)象模型,將控制器和被控對(duì)象連接起來(lái)進(jìn)行閉環(huán)測(cè)試。但是在不少子模塊中,例如輸出為開(kāi)關(guān)量或者在輸入確定時(shí)輸出是固定值,無(wú)需和受控對(duì)象一起組成閉環(huán)系統(tǒng)進(jìn)行測(cè)試,而集成的系統(tǒng)則需要受控對(duì)象。因此,將 MIL測(cè)試分成兩部分:帶受控對(duì)象的MIL測(cè)試和不帶受控對(duì)象的MIL測(cè)試。
1- 不帶受控對(duì)象的MIL測(cè)試:不帶受控對(duì)象的MIL測(cè)試,設(shè)計(jì)人員可以很方便的通過(guò)設(shè)定輸入并給出期望的輸出,測(cè)試時(shí)將模型輸入設(shè)定的輸入值,觀測(cè)模型的輸出值是否和期望值保持一致,判定模型是否有效。具體測(cè)試過(guò)程如下:設(shè)計(jì)測(cè)試用例設(shè)計(jì)功能模型的測(cè)試用例。測(cè)試用例設(shè)計(jì)時(shí)應(yīng)遵循以下原則:1)- 確定輸入和輸出,并確定其取值范圍。2)- 按照邊界值和其左右值,中間值的方式進(jìn)行輸入值的確定,根據(jù)確定的輸入值,給出期望輸出。3)- 包含測(cè)試環(huán)境描述和測(cè)試步驟。4)- 包含執(zhí)行結(jié)果。5)- 包含判定指標(biāo)和判定結(jié)果。建立測(cè)試環(huán)境將搭好的功能模塊模型建立輸入、輸出環(huán)境,設(shè)定模塊的參數(shù)值。執(zhí)行測(cè)試將設(shè)定的輸入值輸入模型,記錄模型執(zhí)行結(jié)果。測(cè)試結(jié)果判定結(jié)合判定標(biāo)準(zhǔn),將執(zhí)行結(jié)果和期望結(jié)果進(jìn)行對(duì)比,滿足判定標(biāo)準(zhǔn)則認(rèn)為通過(guò),不滿足則未通過(guò)。根據(jù)測(cè)試結(jié)果,形成測(cè)試報(bào)告。輸入輸出保存保存MIL在測(cè)試過(guò)程中的輸入和輸出值,用于后續(xù)的SIL、PIL的測(cè)試驗(yàn)證。2- 不帶受控對(duì)象的MIL測(cè)試:帶受控對(duì)象的MIL測(cè)試,一般為子功能模型集成后的模型,實(shí)現(xiàn)具體的需求功能。直接受控對(duì)象為電機(jī)模型,聯(lián)合仿真(如下圖所示),在給定輸入條件的情況下,監(jiān)控輸出信號(hào),判定輸出結(jié)果的正確性。
測(cè)試系統(tǒng)模型在整車環(huán)境下的輸出特性時(shí),需要建立整車的模型,因整車模型的特殊性,一般從OEM或者整車模型軟件(CarSim,CarMaker等)中獲取。
帶受控對(duì)象的MIL測(cè)試流程和不帶受控對(duì)象的MIL測(cè)試流程基本保持一致。設(shè)計(jì)測(cè)試用例設(shè)計(jì)功能模型的測(cè)試用例。測(cè)試用例設(shè)計(jì)時(shí)應(yīng)遵循以下原則:1)確定輸入和運(yùn)行時(shí)間參數(shù),確定輸出范圍。2)包含測(cè)試環(huán)境描述和測(cè)試步驟。3)包含執(zhí)行結(jié)果。4)包含判定指標(biāo)和判定結(jié)果。建立測(cè)試環(huán)境將搭好的功能模塊模型建立輸入、輸出環(huán)境,設(shè)定模塊的參數(shù)值。執(zhí)行測(cè)試將設(shè)定的輸入值和時(shí)間輸入模型,記錄模型執(zhí)行結(jié)果。測(cè)試結(jié)果判定結(jié)合判定標(biāo)準(zhǔn),將執(zhí)行結(jié)果和期望結(jié)果進(jìn)行對(duì)比,滿足判定標(biāo)準(zhǔn)則認(rèn)為通過(guò),不滿足則未通過(guò)。根據(jù)測(cè)試結(jié)果,形成測(cè)試報(bào)告。
03總結(jié)
MIL測(cè)試主要是驗(yàn)證模型功能的正確性,是否滿足設(shè)計(jì)的功能需求。只有保證了建模的正確性,才能保證在此基礎(chǔ)上生成的代碼的正確。通過(guò)MIL測(cè)試,指定輸入和期望結(jié)果,將仿真結(jié)果和期望結(jié)果進(jìn)行比對(duì),根據(jù)判定標(biāo)準(zhǔn)驗(yàn)證模型是否正確。
發(fā)表評(píng)論
請(qǐng)輸入評(píng)論內(nèi)容...
請(qǐng)輸入評(píng)論/評(píng)論長(zhǎng)度6~500個(gè)字
圖片新聞
最新活動(dòng)更多
-
11月19日立即報(bào)名>> 【線下論壇】華邦電子與恩智浦聯(lián)合技術(shù)論壇
-
12月19日立即報(bào)名>> 【線下會(huì)議】OFweek 2024(第九屆)物聯(lián)網(wǎng)產(chǎn)業(yè)大會(huì)
-
精彩回顧立即查看>> 蔡司新能源汽車三電質(zhì)量解決方案
-
精彩回顧立即查看>> 蔡司新能源汽車三電質(zhì)量解決方案
-
精彩回顧立即查看>> 2024(第五屆)全球數(shù)字經(jīng)濟(jì)產(chǎn)業(yè)大會(huì)暨展覽會(huì)
-
精彩回顧立即查看>> 【線下會(huì)議】全數(shù)會(huì)2024電子元器件展覽會(huì)
- 1 被逼墻角的Mobileye,祭出 CAIS 大旗,挑戰(zhàn)端到端大模型智能駕駛
- 2 從小鵬、理想、蔚來(lái)布局看自動(dòng)駕駛發(fā)展趨勢(shì)
- 3 SiC、Chiplet、RISC-V,汽車半導(dǎo)體發(fā)展的三大動(dòng)力
- 4 676億地平線港股上市,要與英偉達(dá)、華為搶市場(chǎng)
- 5 6 輸給新勢(shì)力,賽力斯失去“華為溢價(jià)”
- 7 如何跑贏汽車智能化下半場(chǎng)?
- 8 激光雷達(dá)即將降價(jià),純視覺(jué)回到鄙視鏈底層?
- 9 “端到端”風(fēng)口已至?
- 10 小馬智行招股書(shū)曝光:成立8年融資92億,近2年半虧掉23億
- 產(chǎn)品工程師(汽車) 易思維(杭州)科技股份有限公司
- 硬件開(kāi)發(fā)工程師(前裝汽車電子) 深圳奧尼電子股份有限公司
- IE工程師(汽車智聯(lián)) 惠州碩貝德無(wú)線科技股份有限公司
- 銷售總監(jiān)-汽車電子方向 深圳市智立方自動(dòng)化設(shè)備股份有限公司
- 項(xiàng)目經(jīng)理(汽車內(nèi)飾&汽車電子) 伯恩光學(xué)(惠州)有限公司
- 銷售經(jīng)理(汽車新能源行業(yè)) 廣州瑞松智能科技股份有限公司
- 高級(jí)軟件工程師 廣東省/深圳市
- 自動(dòng)化高級(jí)工程師 廣東省/深圳市
- 光器件研發(fā)工程師 福建省/福州市
- 銷售總監(jiān)(光器件) 北京市/海淀區(qū)
- 激光器高級(jí)銷售經(jīng)理 上海市/虹口區(qū)
- 光器件物理工程師 北京市/海淀區(qū)
- 激光研發(fā)工程師 北京市/昌平區(qū)
- 技術(shù)專家 廣東省/江門市
- 封裝工程師 北京市/海淀區(qū)
- 結(jié)構(gòu)工程師 廣東省/深圳市