MATLAB和Simu金宝applink进行验证、验证和测试
使用以下命令验证嵌入式系统基于模型的设计
“与我们过去手工编码的经验相比,基于模型的设计使我们减少了30%的人工成本,减少了20%的测试成本,并将生产率提高了30%以上。我们在建立内部软件开发团队的同时,提前完成了ECU的开发。”
大明立,潍柴动力
使用MATLAB和Simulink金宝app验证和确认
需求验证
可以存储在文档、电子表格或需求管理工具(如IBM)中的非正式文本需求®合理的®门®,启动开发流程。金宝appSimulink Requirements™允许您查看、编写和管理需求,以及您的体系结构、设计、生成的代码和测试工件。您可以在System Composer™、Simulink、Stateflow中创建从需求到设计的数字线程金宝app®或MATLAB测试在Simulink测试™金宝app。有了这个可追溯,可确定实施或测试空白,迅速了解在设计或测试变化的影响。从第三方工具的要求可以查看,同步和管理,建立可追溯性,在开发过程中的其他工具。
Simulink测试中的临时评估允许您通过使用一金宝app种可以评估和调试的自然语言格式指定具有精确语义的评估来验证文本需求。
浏览产品下载188bet金宝搏
认证标准遵从性
模型自动化验证和代码标准,如DO-178,ISO 26262,IEC 61508,IEC 62304,和MathWorks公司顾问委员会(MAB)风格指南。金宝appSimulink的检查™提供业界公认的检查,并在开发过程中确定的标准和指南的侵犯指标。您可以创建自定义的检查,以满足自己的标准或准则。在IEC认证工具包(用于ISO 26262和IEC 61508)和DO资格的试剂盒(DO-178)提供了工具资格的文物,证书和测试套件来帮助你有资格代码生成和验证产品和嵌入式系统的流线型认证。下载188bet金宝搏
证明错误的缺失,并正式确认的要求
正式验证发现隐藏的无模拟设计由零导致整数溢出,死逻辑,数组访问违规,和除法设计错误。金宝appSimulink设计验证器™可以正式确认您的设计是从错误或安全漏洞免费。金宝appSimulink设计验证也可以证明你的设计满足关键要求。如果该工具找到一个例外,它生成用于调试一个反例。
自动测试生成
确定测试、非预期功能或需求错误中的缺陷是很重要的。金宝appSimulink Coverage™计算在测试期间执行了多少模型或生成的代码。它应用诸如条件、决策、修改条件/决策(MCDC)和自定义覆盖目标等行业标准度量。金宝appSimulink设计验证器可以自动生成测试用例来解决不完全覆盖的问题,从而实现结构和功能覆盖的目标。
静态代码分析
用于验证手写和生成的代码,Polyspace®下载188bet金宝搏产品使用正式的方法来发现bug,并证明没有关键的运行时错误——没有测试用例或代码执行。Polyspace Bug Finder™检查并记录对MISRA等标准的遵从性®,ISO 26262,IEC 61508,DO-178,和FDA法规。您可以检查软件的安全漏洞和标准,例如CWE,CERT-C,ISO / IEC 17961,和其他人。Polyspace代码证明者™进行静态分析,以证明不存在溢出的,除法被零,外的边界数组访问,以及在C和C ++源码其它运行时错误。