Matlab和Simu万博1manbetxlink验证，验证和测试
使用验证和验证嵌入式系统基于模型的设计
工程团队使用基于模型的设计用MATLAB®和仿真软万博1manbetx件®设计复杂的嵌入式系统并生成生产质量C，C ++和HDL代码。MathWorks工具使用仿真测试和基于形式的方法的静态分析，以使基于模型的设计与严格和自动化，以较早地找到错误并实现更高的质量。
使用MATLAB和Simulin万博1manbetxk，您可以:
- 跟踪架构，设计，测试和代码的要求
- 证明您的设计满足需求并且没有关键的运行时错误
- 检查模型和代码的合规性并度量其质量
- 自动生成测试用例以提高测试覆盖率
- 生成报告和工件，并根据标准进行认证(例如做- 178和ISO 26262.）。
“与我们过去手工编码的经验相比，基于模型的设计使我们降低了30%的人工成本，降低了20%的测试成本，并提高了30%以上的生产率。我们提前完成了ECU开发，同时成立了内部软件开发团队。”
大陵李，潍柴力量
使用MATLAB和SIMULINK万博1manbetx进行验证和验证
要求验证
可以存储在文档，电子表格或需求管理工具中的非正式文本要求，例如IBM®理性的®门®，启动开发过程。万博1manbetxSimulink Requirement™允许您与架构，设计，生成的代码和测试工件一起查看，作者和管理要求。您可以在系统Composer™，Simulink，StateFlow中创建从需求的数字线程。万博1manbetx®或Simulink Test™中的MATL万博1manbetxAB测试。通过这种可追溯性，您可以识别实现或测试间隙，并快速了解改变设计或测试的影响。可以查看第三方工具的要求，同步，并设法与开发过程中的其他工具建立可追溯性。
Simulink Test中的临时评估允许您通过万博1manbetx使用可以评估和调试的自然语言格式指定具有精确语义的评估来验证文本需求。
认证标准遵从性
自动验证模型和代码，如DO-178，ISO 26262，IEC 61508，IEC 62304和MathWorks咨询委员会（MAB）风格指南等标准。万博1manbetxSimulink Check™提供了在开发期间识别标准和指导违规的行业公认的检查和指标。您可以创建自定义检查以满足您自己的标准或指南。IEC认证套件（对于ISO 26262和IEC 61508），并进行资格套件（对于DO-178和DO-254）提供工具资格资格伪影，证书和测试套件，以帮助您有资格获得代码生成和验证产品和简化认证s manbetx 845嵌入式系统。
证明没有错误并正式验证要求
形式验证可以在不模拟设计的情况下发现导致整数溢出、死逻辑、数组访问违规和除零的隐藏设计错误。万博1manbetxSimulink Design Verifier™可以正式验证您的设计没有错误或安全漏洞。万博1manbetxSimulink Design Verifier还可以证明你的设计符合关键要求。如果工具发现一个异常，它会生成一个反例用于调试。
自动测试生成
重要的是要在测试，意外功能或需求错误中识别空白。万博1manbetxSimulink Coverage™计算在测试期间锻炼的模型或生成的代码的数量。它适用行业标准度量，如条件，决定，修改条件/决策（MCDC）和自定义覆盖目标。万博1manbetxSimulink设计验证程序可以自动生成测试用例，以解决不完整的覆盖范围，以实现结构和功能覆盖目标。
静态代码分析
用于验证手写和生成的代码，PolySpace®s manbetx 845产品使用正式的方法来发现bug，并证明关键运行时错误的缺失——而不需要测试用例或代码执行。Polyspace Bug Finder™检查并记录符合MISRA等标准的情况®、ISO 26262、IEC 61508、DO-178和FDA法规。您可以检查软件安全漏洞和标准，如CWE、CERT-C、ISO/IEC 17961等。Polyspace Code Prover™执行静态分析，以证明C和c++源代码中没有溢出、按零除、超出边界的数组访问和其他运行时错误。
