在整个开发过程中验证您的模型和代码可以增强对已实现系统的信心。万博1manbetxSimulink检查™,万博1manbetxSimulink覆盖™,万博1manbetxSimulink要求™,万博1manbetxSimulink设计验证程序™,万博1manbetxSimulink测试™，和Polyspace^®帮助支持您万博1manbetx的模型和代码验证过程。在开发早期，您可以创建一个高级系统模型并链接到需求文档。系统模型可以作为更详细模型的可执行规范和基础。通过执行连接到用户界面或工厂硬件的系统原型来验证需求。

模型验证包括对照标准进行检查、检查设计错误、证明属性和运行仿真以证明结果与预期输出匹配。覆盖率测量显示了测试对模型的广泛性。对于生成的代码，运行相同的测试来演示代码-模型等价性。

生成的和手写的代码遵循类似的验证过程。测量模型或代码覆盖率，以确定测试代码的程度。检查代码的错误，检查标准的符合性，并分析代码度量。添加测试、优化系统和优化需求，直到设计完全功能化、不显示意外行为并经过充分测试。