有關(guān)基于模型的設(shè)計mbd一些概念和理解-文庫吧資料
2025-06-30 18:02本頁面
【正文】 開發(fā)過程中，對單元測試的要求是很高的，一般會根據(jù)應(yīng)用的安全性、可靠性要求，給出測試的覆蓋率要求。接下來，我們可以使用Simulink Design Verifier進行模型的結(jié)構(gòu)分析，借助于Simulink Design Verifier自動生成測試用例的功能，去檢查結(jié)構(gòu)上是否存在問題，比如是否有不合理的邏輯設(shè)計，是否有運行不到的分支等。因為評審是建模的工程師和其他同事共同參與的活動，做到上述兩個前提，也是對其他同事工作時間的一種尊重。接下來，就可以進行模型評審了，也就是說，評審的模型有兩個前提，一是可以編譯的，二是符合公司建模規(guī)則的。模型出來并且可以編譯之后，首先要做建模標(biāo)準(zhǔn)檢查，這個過程使用工具（比如MathWorks公司的Simulink Verification amp。中國有句老話，“心急吃不了熱豆腐”，“項目時間緊”或者“人手不夠”不能成為我們忽略模型測試的借口。類似的，如果每個軟件模塊有2個bug，那么你從集成好的軟件里去消除這20個bug，耗費的精力肯定不是從每個單元模塊里去消除bug所耗精力的總和。比如，一個軟件有10個模塊，在HIL設(shè)備上，你很難分離出每個模塊的bug，而如果是按模塊做單元測試，則就是針對的一個具體的模塊。當(dāng)然，這類用戶經(jīng)常在這樣折騰了一段時間之后，還是要回到模型測試上來，他們最終會發(fā)現(xiàn)，在HIL設(shè)備上測試算法，實在太難，當(dāng)然，也有堅持的，堅持的結(jié)果就是他們所謂的基于模型的設(shè)計，開發(fā)效率比傳統(tǒng)的開發(fā)模式高不了多少。我在進入MathWorks之后，接觸過很多客戶，不少客戶在最初引入基于模型設(shè)計的時候，根本不在意模型驗證工作，他們經(jīng)常在模型編譯通過之后就拿去生成代碼，有了代碼之后將代碼下載到各種快速原型設(shè)備上去測試算法，Simulink的仿真功能基本上成了擺設(shè)。有關(guān)HIL的實現(xiàn)及目的，以后再說。2. 在代碼做完SIL或者PIL測試之后，要考慮軟件集成了，即應(yīng)用層軟件，也就是通過Simulink模型生成的軟件，和底層驅(qū)動軟件之間的集成。模型驗證之后，接下來就可以做代碼生成了，有關(guān)代碼生成，也專門討論吧。 閑話少說，咱們繼續(xù)回到模型驗證上來，通常模型驗證包含如下活動：建模標(biāo)準(zhǔn)的檢查、評審、單元測試、快速原型。建模之后，接下來就是模型驗證，驗證，英文單詞Verification，英文里面還有另外一個詞Validation，確認(rèn)，很多人不清楚這兩個詞之間的區(qū)別，通俗點講：Verification是考察你是否正確的做了一件事，而Validation，則是考察你是否做出了正確的東西。下面，我在說說基于模型的設(shè)計里有哪些事情要做，劉博士說的沒錯，基于模型的設(shè)計，自然模型最重要，如何建模，毫無疑問是最為重要的環(huán)節(jié)。對于工程師來講，圖形化的東西，本身就比文字更容易理解，否則我們在軟件開發(fā)過程中也不會去畫流程圖和狀態(tài)機了所以總結(jié)一下，基于模型的設(shè)計可以從以下方面給我們提供便利：1. 圖形化設(shè)計2. 早期驗證3. 代碼生成4. 文檔自動化前面我大概論述了為什么要做基于模型的設(shè)計，或者說基于模型的設(shè)計可以給我們帶來哪些好處。基于模型的設(shè)計，可以幫助我們實現(xiàn)文檔自動化，至少有相當(dāng)大的一部分文檔可以讓計算機替我們寫。 下個月要audit了，所有同事都在補文檔....這里我要問：為什么要補文檔？補文檔，我們可以從中得到兩個方面的信息：，不能沒有，至少從質(zhì)量體系上要求我們必須有文檔，是啊，如果愿意寫文檔的話，在開發(fā)過程中自然會把各類文檔寫起來的。我們經(jīng)常聽到這樣的說法：而不像評審，同樣的文字，對于不同人，可能理解成不同的含義。仿真是可以運行的，如果我們設(shè)定一些輸入，運行模型之后，我們會得到相應(yīng)的輸出，我們很容易觀測到此時的輸出是否是我們期望的輸出。評審作為一種非常傳統(tǒng)的驗證方式，并不能及時發(fā)現(xiàn)設(shè)計過程中引入的各種錯誤。我想凡是參加評審的網(wǎng)友都會有體會。評審的目的，也
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1