什么是MiL測(cè)試？

模型在環(huán)測(cè)試，也稱為MiL測(cè)試或模型測(cè)試，是在基于模型的開發(fā)環(huán)境中測(cè)試單個(gè)或集成模塊，例如Mathworks的MATLAB Simulink或ETAS的ASCET。

在開發(fā)系統(tǒng)時(shí)，基于模型的設(shè)計(jì)(MBD)允許早期識(shí)別和糾正錯(cuò)誤和漏洞，因?yàn)樵诜浅Ｔ缙诘脑O(shè)計(jì)階段，模擬模型會(huì)更容易。由于位于早期的開發(fā)階段，測(cè)試迭代(“在環(huán)”)可以比在更長(zhǎng)(更晚)的開發(fā)階段更快地完成。因此，這種方法是顯著減少開發(fā)時(shí)間的一種經(jīng)濟(jì)有效的方法。此外，圖形化編程方法以其直觀的特點(diǎn)，深受工程師的喜愛。

模型在環(huán)測(cè)試也與單元測(cè)試相關(guān)，即被測(cè)試的單元是“模型單元”。

MBD方法，也就是MiL測(cè)試，在汽車工業(yè)中應(yīng)用普遍。MBD中使用的開發(fā)過(guò)程可以完全符合安全規(guī)范，如ISO26262或IEC61508。這些規(guī)范通常要求在早期設(shè)計(jì)階段進(jìn)行MiL測(cè)試。

MiL測(cè)試之后的測(cè)試級(jí)別是軟件在環(huán)測(cè)試(SiL測(cè)試)，使用的軟件通常是自動(dòng)生成的，直接從模型中生成的，或者用c代碼手工編寫的。對(duì)于這個(gè)測(cè)試級(jí)別，需要使用自動(dòng)代碼生成。Simulink模型常用的c代碼生成器是dSPACE TargetLink或Mathworks Embedded Coder。一旦完成了MiL和SiL測(cè)試階段，就可以“背靠背”地測(cè)試單個(gè)測(cè)試結(jié)果。背靠背測(cè)試用于比較MiL和SiL測(cè)試的測(cè)試結(jié)果。

如何進(jìn)行MiL測(cè)試?

測(cè)試工具TPT支持自動(dòng)化的MiL和SiL測(cè)試，包括安全相關(guān)應(yīng)用程序的背靠背測(cè)試，以及其他開發(fā)階段的測(cè)試。

TPT支持各種測(cè)試環(huán)境的模型在環(huán)測(cè)試，如MATLAB/ Simulink, TargetLink或ASCET和ASCET- developer

以上內(nèi)容轉(zhuǎn)譯自Piketec官網(wǎng)，原文鏈接如下：Model-in-the-Loop Testing. Top Points to Know about MiL Testing. - PikeTec