在这一节中，我们将讨论如何高效地对复杂模型和相应的C代码进行单元测试，以使用有效的、优化的、满足特定功能需求和结构覆盖的测试用例。在我们超过5个月的验证研究中，我们试用了Simulink Design Verifier™，以生成具有最大结构覆盖率的受控万博1manbetx和优化测试用例。研究证明，在Simulink模型中适当设置目标块和条件块，可以达到所要求的目标。万博1manbetx我们可以通过Simulink Design Verifier支持的特定定制方法，实现输出信号的最大结构覆盖、预期范围和分辨率覆盖。万博1manbetx万博1manbetx在这一节中，我们讨论了关键的挑战，以及Simulink Design Verifier和定制M-scrip万博1manbetxts如何帮助我们在短时间内验证模型和C代码。