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

Question

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

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

我知道Simulink Design Verifier，它允许选择Simulink模型并让Test Generation Advisor自动生成测试用例的列表(即使我不清楚在什么逻辑上创建它们)，然后将它们导入到Simulink Test中。

然后，据报道，Simulink测试与实时HIL测试兼容。这是否意味着它与Simulink实时和快速山羊机器兼容？

这些猜测可能是混乱和不精确的，我依靠社区来说明这一点的可行性。

Answer 1

使用Simulink Test，您可以为硬件集成开发工具创建实时测试，但您只能在运行Simulink real-time的目标计算机上执行它们("A new Real-Time Test从您的模型或测试工具构建Simulink®Real-Time™应用程序并在目标计算机上运行它。““将Simulink测试与Simulink实时™结合使用时，可以在Simulink测试中编写和管理用于实时测试的测试用例。”，mathworks.com/products/simulink-test/features.html#manage-test-plans-and-test-execution)

Speedgoat也是如此:如果你想在Speedgoat上实时运行用Simulink创建的测试，你将需要Simulink Real-Time。

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

后者，TPT，也可以使用名为TASMO的工具从Simulink模型生成测试用例(www.youtube.com/watch?v=f9Z5n93bu6o)。TASMO和Design Verifier的不同之处在于，TASMO是一种基于搜索的机制，而Design Verifier使用模型检查算法生成测试用例。这两种算法各有优缺点，并创建了不同的测试用例。

Answer 2

您可以使用Simulink Test手动编写测试，然后在带有Speedgoat硬件的HIL中运行它们。This documentation详细解释了这个过程。

您说得对，Simulink Test不会完全自动生成测试。您可以使用Simulink Test创建测试迭代，以半自动执行扫描等。

但是，您可以使用Simulink Design Verifier自动生成测试。Simulink Design Verifier使用正式的方法并详尽地尝试生成测试，以满足各种标准(功能要求、覆盖范围/可测试性等)您可以在Simulink Test中执行此操作。有关更多详细信息，请参阅this documentation。