unit-testing - 单元测试 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生态系统中的nose或pytest)，相反，每个人似乎都在炮制自己的测试解决方案。自己的解决方案(或尝试)，而您找到的只是一些 Modelica session 论文(通常没有实现的痕迹)或状态未知的未维护库。

在我的脑海中，我发现/知道(有些已经在其他答案中链接)

• OM testing
• JModelica testing (似乎只测试编译器错误？)
• Xogeny test (库本身的一些测试对我来说失败了。而且，似乎不包括测试运行程序)
• MoUnit (Fraunhofer 的东西，未公开提供 - 也许在 OneWind/OneModelica 中？)
• UnitTesting (显然是 XogenyTest 的某种前身。此外，没有找到来源/实现)
• Optimica Testing Toolkit (显然是 commercial product by Modelon )
• 系统建模器 VerificationTest
• buildingspy Python 包，用于regression testing除其他事项外。在伯克利 Modelica 建筑图书馆的保护下。 (仅使用 Dymola 进行模拟)
• Modelica_Requirements库——定义模拟的要求。 (声称是开源并已实现，但显然在任何地方都不可用)
• ...我确信还有更多我忘记或不知道的

这看起来像是 https://xkcd.com/927/ 的病态实例。 。 (非开发)用户几乎不可能知道要选择哪些，哪些实际上是好的/可用的/可用的/...

(不是真正的测试，但也相关:使用 ANTLR 进行解析和语义分析:modelica.org/events/Conference2003/papers/h31_parser_Tiller.‌​pdf)