單元測試 Modelica 組件庫？

Question

我正在 Modelica 中創建一個組件庫，並希望對單元測試包的技術提供一些輸入。

到目前為止，我有一個測試包，由一組模型組成，每個組件一個。 每個測試模型實例化一個組件，並將其連接到一些非常簡單的幫助類，這些類提供必要的輸入和輸出。

在 OMEditor 中以交互方式使用它時，這很好用，但我正在尋找具有通過/失敗標准等的更自動化的解決方案。

我應該開始編寫 .mos 腳本，還是有其他/更好的方法？

謝謝。

Answer 1

我喜歡 Openmodelica 測試結果的外觀，請參閱

• https://test.openmodelica.org/libraries/MSL_3.2.1/BuildModelRecursive.html
• 單擊紅色單元格： https : //test.openmodelica.org/libraries/MSL_3.2.1/files/Modelica.Electrical.Analog.Examples.AD_DA_conversion.diff.html
• 為失敗的信號選擇“javascript”： https : //test.openmodelica.org/libraries/MSL_3.2.1/files/Modelica.Electrical.Analog.Examples.AD_DA_conversion.diff.resistor.v.html

不過不知道他們是怎么做的。 顯然已經完成了某種回歸測試，並存儲了以前的結果，但不知道這是來自某個測試庫還是自制的。

---

總的來說，我覺得有點悲哀/次優，沒有每個人都可以/應該使用的“唯一”測試解決方案（參見 Python 生態系統中的鼻子或 pytest），相反，每個人似乎都在制定自己的解決方案（或嘗試），而您發現的只是一些 Modelica 會議論文（通常沒有實施的痕跡）或未維護的未知狀態的圖書館。

在我的腦海里，我發現/知道（有些已經在這里的其他答案中鏈接了）

• 操作測試
• JModelica 測試（似乎只測試編譯器錯誤？）
• Xogeny 測試（庫本身的一些測試對我來說失敗了。另外，似乎不包括測試運行器）
• MoUnit （弗勞恩霍夫的東西，不公開 - 也許在 OneWind/OneModelica 中？）
• UnitTesting （顯然是 XogenyTest 的某種前身。另外，沒有找到來源/實現）
• Optimica 測試工具包（顯然是Modelon的商業產品）
• SystemModeler驗證測試
• buildingpy Python 包，用於回歸測試等。 在伯克利 Modelica 建築圖書館的保護傘下。 （僅使用 Dymola 進行模擬）
• Modelica_Requirements庫——定義仿真需求。 （聲稱是開源並已實現，但顯然在任何地方都不可用）
• ...我確定還有更多我忘記或不知道的

這似乎是https://xkcd.com/927/的病理性實例。 對於（非開發人員）用戶來說，幾乎不可能知道選擇哪些，哪些實際上是好的/可用/可用/...

（不是真正的測試，但也相關：使用 ANTLR 進行解析和語義分析：modelica.org/events/Conference2003/papers/h31_parser_Tiller.‌ pdf）

Answer 2

編寫.mos腳本是一種方法，但 Michael Tiller 還提供了一個小型的概念驗證庫： XogenyTest ，您可以將其用作基礎。

Answer 3

我更喜歡使用.mos腳本，當您將測試框架進一步集成到持續集成工具中時，它可以很好地工作。 BuildingPy 就是一個很好的例子，雖然它沒有在 CI 工具中實現，但它仍然是一個很好的工具。

這是一個好的框架設計的參考： UnitTesting: A Library for Modelica Unit Testing

Answer 4

如果您有 Mathematica 和 SystemModeler，您可以從 Mathematica 運行模擬並使用VerificationTest “函數”進行測試： VerificationTest[Abs[WSMSimulate["HelloWorld"]["x", .1] - .90] < .01] 。

然后可以在TestReport[]模擬多個測試。