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