用于验证、验证和测试的万博1manbetxMATLAB和Simulink
使用基于模型的设计
“与我们过去手工编码的经验相比，基于模型的设计使我们降低了30%的人工成本，降低了20%的测试成本，并提高了30%以上的生产率。我们提前完成了ECU开发，同时成立了内部软件开发团队。”
李大明，潍柴动力
用MATLAB和Simulink进万博1manbetx行验证和验证
需求验证
可以存储在文档、电子表格或需求管理工具（如IBM）中的非正式文本需求®合理的®门®，启动开发过程。模拟链路要求™ 允许您查看、编写和管理需求以及体系结构、万博1manbetx设计、生成的代码和测试工件。您可以在System Composer中创建从需求到设计的数字线程™, Simulink，Stateflow®，或在Simulink Test™中的MA万博1manbetxTLAB测试。有了这种可跟踪性，您可以识别实现或测试的差距，并快速了解更改对设计或测试的影响。可以查看、同步和管理来自第三方工具的需求，以建立与开发过程中其他工具的可追溯性。
Simulink Test中的临时评估允许您通过万博1manbetx使用可以评估和调试的自然语言格式指定具有精确语义的评估来验证文本需求。
认证标准遵从性
按照DO-178、ISO 26262、IEC 61508、IEC 62304和MathWorks Advisory Board (MAB)风格指南等标准自动验证模型和代码。万博1manbetxSimulink Check™提供业界认可的检查和指标，识别开发过程中违反的标准和指南。您可以创建自定义检查以满足您自己的标准或指导方针。IEC认证套件(适用于ISO 26262和IEC 61508)和DO认证套件(适用于DO-178)提供工具认证工件、证书和测试套件，帮助您对代码生成和验证产品进行认证，并简化嵌入式系统的认证。s manbetx 845
探索产品s manbetx 845
证明没有错误并正式验证需求
正式验证发现隐藏的设计错误，导致整数溢出，死亡逻辑，数组访问违规，以及划分而不模拟设计。万博1manbetxSimulink Design Verifier™可以正式验证您的设计是否没有错误或安全漏洞。万博1manbetxSimulink设计验证者还可以证明您的设计符合关键要求。如果该工具查找异常，它会生成一个用于调试的CounterExample。
自动测试生成
识别测试中的差距、非预期功能或需求错误非常重要。模拟链路覆盖™ 计算测试期间模型或生成代码的执行量。它应用行业标准度量，如条件、决策、修改的条件/决策（MCDC）和自定义覆盖目标。Simul万博1manbetxink Design Verifier可以自动生成测试用例，以解决不完全覆盖问题，从而实现结构和功能覆盖目标。
静态代码分析
用于验证手写和生成的代码，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 ++源代码中的其他运行时错误。
免费试用
30天的探索触手可及。
让我们知道我们可以如何帮助你。
联系我们进行定制评估，并根据您的需求获得定价。
