用于验证、验证和测试的金宝appMATLAB和Simulink
验证和验证嵌入式系统使用基于模型的设计
“与我们过去手工编码的经验相比,基于模型的设计使我们减少了30%的人工成本,减少了20%的测试成本,提高了30%以上的生产率。我们在建立内部软件开发团队的同时提前完成了ECU的开发。”
潍柴电力李大明
利用MATLAB和Simulink金宝app进行验证和验证
需求验证
可以存储在文档、电子表格或需求管理工具(如IBM)中的非正式文本需求®合理的®门®,启动开发过程。金宝appSimulink Requirements™允许您查看、编写和管理需求以及您的架构、设计、生成的代码和测试工件。您可以在System Composer™、Simulink和statflow中创建从需求到设计的数字线程金宝app®,或Simulink测试中的MATLAB测金宝app试™. 通过这种可追溯性,您可以识别实现或测试差距,并快速了解更改对设计或测试的影响。可以查看、同步和管理来自第三方工具的需求,以便与开发过程中的其他工具建立可追溯性。
Simulink测试中的时间评估允许您通过以可评金宝app估和调试的自然语言格式指定具有精确语义的评估来验证文本需求。
探索产品下载188bet金宝搏
符合认证标准
按照DO-178、ISO 26262、IEC 61508、IEC 62304和MathWorks Advisory Board (MAB)风格指南等标准自动验证模型和代码。金宝appSimulink Check™提供业界认可的检查和指标,识别开发过程中违反的标准和指南。您可以创建自定义检查以满足您自己的标准或指导方针。IEC认证套件(适用于ISO 26262和IEC 61508)和DO认证套件(适用于DO-178和DO-254)提供工具认证工件、证书和测试套件,帮助您对代码生成和验证产品进行认证,并简化嵌入式系统的认证。下载188bet金宝搏
证明无错误并正式验证需求
正式验证发现隐藏的设计错误,导致整数溢出,死亡逻辑,数组访问违规,以及划分而不模拟设计。金宝appSimulink Design Verifier™可以正式验证您的设计是否没有错误或安全漏洞。金宝appSimulink设计验证者还可以证明您的设计符合关键要求。如果该工具查找异常,它会生成一个用于调试的CounterExample。
自动测试生成
识别测试中的差距、非预期的功能或需求错误是很重要的。金宝appSimulink Coverage™计算在测试期间有多少模型或生成的代码被执行。它应用行业标准度量,如条件、决策、修改条件/决策(MCDC)和自定义覆盖目标。金宝appSimulink Design Verifier可以自动生成测试用例来处理不完全覆盖,以实现结构和功能覆盖目标。
探索产品下载188bet金宝搏
静态代码分析
验证手写和生成的代码,Polyspace®下载188bet金宝搏产品使用正式的方法来发现bug,并在没有测试用例或代码执行的情况下证明没有关键的运行时错误。多空间Bug查找器™ 检查并记录是否符合MISRA等标准®,ISO 26262,IEC 61508,DO-178和FDA法规。您可以检查软件安全漏洞和标准,如CWE,CERT-C,ISO / IEC 17961等。PolySpace Code Prover™执行静态分析,以证明缺乏溢出,逐个零,缺少界限数组访问以及C和C ++源代码中的其他运行时错误。