Automated tests 自动测试生成和实时HIL执行？

我正在研究实时自动测试生成和执行解决方案，以验证某个产品。我假设要应用某种程度的正式方法来实现这样的目标

我知道Simulink测试的新版本，据我所知，这种环境允许自动执行，但不允许自动生成测试用例，即用户需要使用Simulink测试GUI创建一系列测试用例，然后这些测试用例可以自动运行

我了解Simulink Design Verifier，它允许用户选择Simulink模型，并让测试生成顾问自动生成测试用例列表（尽管我不清楚它们可能基于什么逻辑创建），然后将它们导入Simulink测试

然后报告Simulink测试与实时HIL测试兼容。这是否意味着它与Simulink实时和speedgoat机器兼容

---

这些猜测可能是混乱和不精确的，我依靠社区来解释其可行性。

使用Simulink Test，您可以为HIL创建实时测试，但只能在运行Simulink实时的目标计算机上执行 （“新的实时测试将构建Simulink®实时™ 将Simulink test与Simulink Real Time一起使用时，“mathworks.com/help/sltest/release-notes.html；”™, 实时测试的测试用例可以在Simulink test中编写和管理。”，mathworks.com/products/Simulink test/features.html#管理测试计划和测试执行）

Speedgoat也是如此：如果您想在Speedgoat上实时运行使用Simulink创建的测试，则需要Simulink实时

还有其他测试工具可以处理Simulink模型并在硬件上运行自动实时测试，例如Mx套件（danlawinc.com/Mx Suite/）或TPT（www.piketec.com/en/2/TPT.html）。他们还需要Simulink实时功能

---

后者，即TPT，也可以使用名为TASMO的工具（www.youtube.com/watch？v=f9Z5n93bu6o）从Simulink模型生成测试用例。TASMO和设计验证器的区别在于，TASMO是一种基于搜索的机制，而设计验证器使用模型检查算法生成测试用例。这两种算法各有优缺点，可以创建不同的测试用例。

您可以使用Simulink test手动编写测试，然后使用Speedgoat硬件在HIL中运行它们。详细解释了该过程

Simulink测试没有完全自动生成测试，这是正确的。您可以使用Simulink测试创建测试迭代，以半自动执行扫描等

但是，您可以使用Simulink Design Verifier自动生成测试。Simulink Design Verifier使用形式化方法，并尝试生成测试以满足各种标准（功能需求、覆盖率/可测试性等）。您可以在Simulink测试中执行此操作。有关更多详细信息，请参见