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

Question

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

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

我知道Simulink Design Verifier允许一个而不是选择一个Simulink模型并让Test Generation Advisor自动生成一个测试用例列表（尽管我不清楚它们可能会创建什么逻辑）然后将它们导入Simulink Test。

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

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

Answer 1

使用Simulink Test，您可以为HIL创建实时测试，但只能在运行Simulink Real-Time的目标计算机上执行它们 （“新的实时测试从您的模型或测试工具构建Simulink®Real-Time™应用程序，并在目标计算机上运行它。”，mathworks.com / help / sltest / release-notes.html;“当你使用Simulink Test和Simulink Real-Time™，可以在Simulink Test中创建和管理用于实时测试的测试用例。“，mathworks.com / products / simulink-test / feature.html #manage-test-plans-and-测试执行）

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

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

后者TPT还可以使用名为TASMO的工具（www.youtube.com/watch?v=f9Z5n93bu6o）从Simulink模型生成测试用例。 TASMO和Design Verifier之间的区别在于TASMO是一种基于搜索的机制，而D​​esign Verifier使用模型检查算法来生成测试用例。这两种算法都有优点和缺点，可以创建不同的测试用例。

Answer 2

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

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

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