歡迎光臨昊景建設!

全國服務熱線 18602002721

聯系我們

全國咨詢熱線:18602002721

名稱:昊景模型
座機:020-28101118
傳真:020-28101119
郵箱:hjmodel@126.com
地址:廣州市增城區新塘鎮牛仔一路33號榮昌工業園C棟三樓

什么樣的模型才算得上正確的模型?

文章來源:admin人氣:發表時間:2017-04-01 15:14:10

 我認為,至少,正確的模型應該是經過充分驗證的。除了“充分驗證”,還應該滿足什么條件呢?我能想到的就是“可驗證”,“可驗證”也是充分驗證的前提。

    模型的“可驗證”以后會專門介紹,本文先說說模型中代碼生成之前可以做哪些驗證?

    按照模型是否運行來劃分,可以把驗證分為靜態驗證和動態驗證兩大類。

    靜態驗證

    靜態驗證有評審、建模標準檢查、形式化驗證等方式。

    1模型評審

    評審是質量體系要求的,通常我們模型畫完之后,需要通過評審的方式去評審模型是否實現了相應的需求。那么,評審發生的時刻應該如何把握?是否在畫完模型之后緊跟著就去做評審呢?我個人認為,如果有工具可以幫我們實現靜態檢查,我們為什么不先做靜態檢查呢?先做靜態檢查的好處是把可以通過工具發現的軟件缺陷在評審之前消除掉,這樣可以避免在評審的時候在此類問題上浪費時間。

    2建模標準檢查

    目前MATLAB通過SimulinkVerification&Validation(以下簡稱SLVnV)提供了ModelAdvisor,可以實現建模標準的靜態檢查,實現起來也不困難,并且工具還具有可定制功能,可以在SLVnV提供的諸多檢查項里挑選適合自己開發團隊的檢查集,也有可能有一些檢查是ModelAdvisor沒有提供的,這種情況下,也可以通過編寫MATLAB程序的方式定制檢查項。

    3形式化驗證

    MATLAB提供了SimulinkDesignVerifier(以下簡稱SLDV)產品,可以對模型進行形式化驗證。SLDV可以檢查模型中是否有整數溢出,或者是否有死邏輯。這兩類錯誤都是很容易被評審和功能測試錯過的錯誤,其實,軟件里一旦發現有這兩類錯誤,復現或者定位這兩類錯誤都非常困難,而SLDV可以通過分析模型的給出發生或者可能發生錯誤的環節。另外,需要注意的是,在模型評審或者功能測試過程中,我們都可能發現一些軟件缺陷,發現這些缺陷之后,我們需要修改模型,模型經過修改可能會再次引入數據溢出或者死邏輯之類的錯誤,所以建議做功能測試之后,再次使用SLDV檢查一下模型。


廣州市昊景建筑模型設計有限公司 Powered by MetInfo 5.3.7粵ICP備17037508號
欧美黄色片,欧美黄色一级片,欧美黄色一级视频-a级毛片免费