Matlab和Simu金宝applink验证,验证和测试
使用验证和验证嵌入式系统基于模型的设计
“与我们使用手中编码的过去的经验相比,基于模型的设计使我们能够将劳动力成本降低30%,将测试成本降低20%,并提高生产率超过30%。我们在建立内部软件开发团队的同时完成了ECU开发。“
李大明,潍柴动力
用MATLAB和Simulink进金宝app行验证和验证
要求验证
可以存储在文档,电子表格或需求管理工具中的非正式文本要求,例如IBM®理性的®门®,启动开发过程。金宝appSimulink Requirement™允许您与架构,设计,生成的代码和测试工件一起查看,作者和管理要求。您可以在系统Composer™,Simulink,StateFlow中创建从需求的数字线程。金宝app®,或在Simulink Test™中的MA金宝appTLAB测试。有了这种可跟踪性,您可以识别实现或测试的差距,并快速了解更改对设计或测试的影响。可以查看、同步和管理来自第三方工具的需求,以建立与开发过程中其他工具的可追溯性。
Simulink测试中的时间评估允许您通过以可以金宝app评估和调试的自然语言格式指定具有精确语义的评估来验证文本要求。
探索产品下载188bet金宝搏
认证标准合规性
模型自动化验证和代码标准,如DO-178,ISO 26262,IEC 61508,IEC 62304,和MathWorks公司顾问委员会(MAB)风格指南。金宝appSimulink的检查™提供业界公认的检查,并在开发过程中确定的标准和指南的侵犯指标。您可以创建自定义的检查,以满足自己的标准或准则。在IEC认证工具包(用于ISO 26262和IEC 61508)和DO资格的试剂盒(DO-178和DO-254)提供了工具资格的文物,证书和测试套件来帮助你有资格代码生成和验证产品的流线型认证您的下载188bet金宝搏嵌入式系统。
证明没有错误并正式验证需求
形式验证可以在不模拟设计的情况下发现导致整数溢出、死逻辑、数组访问违规和除零的隐藏设计错误。金宝appSimulink Design Verifier™可以正式验证您的设计没有错误或安全漏洞。金宝appSimulink Design Verifier还可以证明你的设计符合关键要求。如果工具发现一个异常,它会生成一个反例用于调试。
自动测试生成
重要的是要在测试,意外功能或需求错误中识别空白。金宝appSimulink Coverage™计算在测试期间锻炼的模型或生成的代码的数量。它适用行业标准度量,如条件,决定,修改条件/决策(MCDC)和自定义覆盖目标。金宝appSimulink设计验证程序可以自动生成测试用例,以解决不完整的覆盖范围,以实现结构和功能覆盖目标。
静态代码分析
用于验证手写和生成的代码,PolySpace®下载188bet金宝搏产品使用正式方法来查找错误并证明没有关键运行时错误 - 没有测试用例或代码执行。PolySpace Bug Finder™检查和记录符合Misra等标准®、ISO 26262、IEC 61508、DO-178和FDA法规。您可以检查软件安全漏洞和标准,如CWE、CERT-C、ISO/IEC 17961等。Polyspace Code Prover™执行静态分析,以证明C和c++源代码中没有溢出、按零除、超出边界的数组访问和其他运行时错误。