验证整个发展模型和代码能够增加你实现系统的信心。万博1manbetx^®检查™，万博1manbetxSimulink设计验证器™，万博1manbetxSimulink的测试™和Polyspace^®帮助支持你万博1manbetx的模型和代码验证过程。在发育早期，你可以创建一个高层次的系统模型，并链接到需求文档。该系统模型可以作为可执行的规范和依据更详细的模型。通过执行系统原型连接到用户界面或植物硬件验证的要求。

模型验证，包括检查，对标准，检查设计错误，证明性能好，运行模拟，以证明结果符合预期的输出。覆盖测试表明测试如何广泛运用模型。对于生成的代码，运行相同的测试，证明代码模型等价。

生成和手写代码遵循类似的验证过程。测度模型或代码覆盖，以确定该代码被测试的程度。检查代码错误，请检查标准的符合性，并分析代码度量。添加测试，完善有关制度，并细化需求直至达到设计功能齐全，不表明无意的行为，并全面测试。