在基于模型的軟件開發(fā)環(huán)節(jié)中規(guī)定了mil/sil/hil等多項測試：

1) mil(model-in-loops)既模型在環(huán)測試,，就是驗證軟件模型是否可以實現(xiàn)軟件功能，測試依據(jù)是由系統(tǒng)需求分解而來的軟件需求,。

2) sil(software-in-loops)軟件在環(huán)測試,，對比模型自動生成的c代碼和模型本身實現(xiàn)的功能是否一致，使用simulink自身工具就可以進(jìn)行sil測試,。