“与我们过去手工编码的经验相比，基于模型的设计使我们减少了30%的人工成本，减少了20%的测试成本，并提高了30%以上的生产力。我们提前完成了ECU的开发，同时建立了内部软件开发团队。”
李大明，潍柴电力
利用MATLAB和Simulink进行验证和验证
需求验证
可以存储在文档、电子表格或需求管理工具(如IBM)中的非正式文本需求®理性的®门®，启动开发过程。需求工具箱™允许您与体系结构、设计、生成的代码和测试工件一起查看、编写和管理需求。您可以在System Composer™、Simulink、Stateflow中创建从需求到设计的数字线程®，或在Simulink Test™中的MATLAB测试。有了这种可追溯性，您可以识别实现或测试差距，并快速了解变更对设计或测试的影响。来自第三方工具的需求可以被查看、同步和管理，从而与开发过程中的其他工具建立可追溯性。
Simulink Test中的时间评估允许您通过使用自然语言格式的精确语义指定评估来验证文本需求，这种自然语言格式可以进行评估和调试。
认证标准遵从性
根据诸如DO-178、ISO 26262、IEC 61508、IEC 62304和MathWorks咨询委员会(MAB)风格指南等标准自动验证模型和代码。Simulink Check™提供了行业认可的检查和度量，可以识别开发过程中违反标准和指南的情况。您可以创建自定义检查以满足您自己的标准或指导方针。IEC认证套件(适用于ISO 26262和iec61508)和DO资格套件(适用于DO-178和做- 254)提供工具认证工件、证书和测试套件，以帮助您对代码生成和验证产品进行认证，并简化嵌入式系统的认证。2022世界杯八强谁会赢？
证明没有错误并正式验证需求
形式化验证会发现隐藏的设计错误，这些错误会导致整数溢出、死逻辑、数组访问违规和除零而不模拟设计。Simulink Design Verifier™可以正式验证您的设计没有错误或安全漏洞。Simulink设计验证器还可以证明您的设计满足关键要求。如果该工具发现一个异常，它将生成一个反例用于调试。
自动测试生成
识别测试中的空白、无意的功能或需求错误是很重要的。Simulink Coverage™计算在测试过程中使用了多少模型或生成的代码。它应用行业标准度量，如条件、决策、修改的条件/决策(MCDC)和自定义覆盖目标。Simulink Design Verifier可以自动生成测试用例来解决不完整的覆盖，以实现结构和功能的覆盖目标。
静态代码分析
对于手写和生成代码的验证，Polyspace®2022世界杯八强谁会赢？产品使用形式化的方法来查找bug并证明没有关键的运行时错误—无需测试用例或代码执行。Polyspace Bug Finder™检查并记录符合MISRA等标准的情况®、ISO 26262、IEC 61508、DO-178和FDA法规。您可以检查软件的安全漏洞和标准，如CWE、CERT-C、ISO/IEC 17961等。Polyspace Code Prover™执行静态分析，以证明C和c++源代码中没有溢出、除零、越界数组访问和其他运行时错误。
您也可以从以下列表中选择网站: