MATLAB和Simu万博1manbetxlink进行验证，验证和测试
验证，并使用验证嵌入式系统基于模型的设计
工程团队使用基于模型的设计与MATLAB®和仿真软万博1manbetx件®设计复杂的嵌入式系统和产生的产品质量的C，C ++，和HDL代码。MathWorks工具使用模拟测试和正式为基础的方法，静态分析来补充基于模型的设计与严谨和自动化早期发现错误，并实现更高的质量。
随着MATLAB和Simulin万博1manbetxk，您可以：
- 跟踪对架构、设计、测试和代码的需求
- 证明你的设计是否符合要求，而且是免费的关键运行时错误的
- 检查的模型和代码合规性和质量的措施
- 自动生成测试用例以增加测试覆盖率
- 生成报告和工件，并对标准(例如DO-178和ISO 26262标准).
“我们与手工编码过去的经验相比，基于模型的设计使我们的30％，以降低劳动力成本，20％的削减测试成本，以及30％以上的提高生产效率。我们完成了ECU开发提前，同时建立我们的内部软件开发团队“。
潍柴动力李大明
利用MATLAB和Simulink万博1manbetx进行验证
需求验证
非正式文本的要求，可以存储在文档，电子表格，或在需求管理工具，如IBM®理性的®门®，开始发展的过程。万博1manbetxSimulink的要求™允许您查看，作者，并与你的架构，设计，生成的代码和测试工件一起管理需求。您可以创建从需求到设计，系统构成数字线程™，Simulink中，Stateflow的万博1manbetx®，或Simulink测试中的MATLAB测万博1manbetx试™. 通过这种可追溯性，您可以识别实现或测试差距，并快速了解更改对设计或测试的影响。可以查看、同步和管理来自第三方工具的需求，以便在开发过程中与其他工具建立可跟踪性。
在Simulink测试时间评估，让您通过在自然语万博1manbetx言格式的精确语义可以评估和调试指定评估，以确认文本的要求。
认证标准符合性
根据标准自动验证模型和代码，如DO-178、ISO 26262、IEC 61508、IEC 62304和MathWorks汽车咨询委员会（MAAB）的风格指南。Simulink检查™ 提供行业认可的检查和度量，以识别开发过程中的标准和指南违反情况。您可以创建自定义检查以满足自己的标准或准则。IEC认证工具包（用于ISO 26262和I万博1manbetxEC 61508）和DO认证工具包（用于DO-178）提供了工具认证工件、证书和测试套件，以帮助您认证代码生成和验证产品，并简化嵌入式系统的认证。s manbetx 845
探索产品s manbetx 845
证明没有错误并正式验证需求
形式化验证发现隐藏的设计错误，这些错误会导致整数溢出、死逻辑、数组访问违规和除0而不模拟设计。万博1manbetxSimulink Design Verifier™可以正式验证您的设计是否没有错误或安全漏洞。万博1manbetxSimulink设计验证器还可以证明您的设计满足关键需求。如果该工具发现异常，它会生成一个反例来进行调试。
自动测试生成
识别测试的空白，意想不到的功能，或需求错误是很重要的。万博1manbetxSimulink的覆盖™计算生成的代码是多少模型或测试期间行使。它适用于行业标准的指标，如条件，决策，修正条件/决定（MCDC）和自定义覆盖目标。万博1manbetxSimulink设计验证器可以自动生成测试用例地址不完整的覆盖，实现结构和功能的覆盖目标。
静态代码分析
对于手写的验证和生成的代码，Polyspace®s manbetx 845产品使用正规的方法来发现问题和证明不存在临界运行时的错误 - 没有测试用例或执行代码。Polyspace Bug的搜索™检查和文件是否符合标准，如MISRA®、ISO 26262、IEC 61508、DO-178和FDA法规。您可以检查软件安全漏洞和标准，如CWE、CERT-C、ISO/IEC 17961等。Polyspace Code Prover™执行静态分析，以证明在C和c++源代码中不存在溢出、按零除法、数组越界访问和其他运行时错误。
入门型号验证与确认
如您需要帮忙，请联系我们。
联系我们自定义的评估，并获得根据您的需求定价。
