用MATLAB和Sim金宝appulink进行验证、验证和测试

验证和验证嵌入式系统使用基于模型的设计

工程团队使用基于模型的设计用matlab.®和模拟金宝app®设计复杂的嵌入式系统,生成产品质量的C、c++和HDL代码。MathWorks工具使用模拟测试和基于正式方法的静态分析来补充基于模型的设计,从而更早地发现错误并实现更高的质量。

使用Matlab和Simulin金宝appk,您可以:

  • 跟踪架构,设计,测试和代码的要求
  • 证明您的设计符合要求,并没有关键的运行时间错误
  • 检查合规性并衡量模型和代码的质量
  • 自动生成测试用例以提高测试覆盖率
  • 生成报告和工件,并证明标准(例如DO-178.ISO 26262.)。

“与我们使用手中编码的过去的经验相比,基于模型的设计使我们能够将劳动力成本降低30%,将测试成本降低20%,并提高生产率超过30%。我们在建立内部软件开发团队的同时完成了ECU开发。“

大陵李,潍柴力量

需求验证

非正式的文本需求,可以存储在文档、电子表格或需求管理工具(如IBM)中®合理的®®,启动开发过程。金宝appSimulink Requirements™允许您查看、编写和管理需求,以及您的体系结构、设计、生成的代码和测试工件。您可以在System Composer™、Simulink和statflow中创建从需求到设计的数字线程金宝app®或Simulink Test™中的MATL金宝appAB测试。通过这种可追溯性,您可以识别实现或测试间隙,并快速了解改变设计或测试的影响。可以查看第三方工具的要求,同步,并设法与开发过程中的其他工具建立可追溯性。

Simulink测试中的时间评估允许您通过以可以金宝app评估和调试的自然语言格式指定具有精确语义的评估来验证文本要求。


认证标准合规性

自动验证模型和代码,如DO-178,ISO 26262,IEC 61508,IEC 62304和MathWorks咨询委员会(MAB)风格指南等标准。金宝appSimulink Check™提供了在开发期间识别标准和指导违规的行业公认的检查和指标。您可以创建自定义检查以满足您自己的标准或指南。IEC认证套件(对于ISO 26262和IEC 61508)和DO Quitification Kit(for Do-178)提供工具资格认证工件,证书和测试套件,以帮助您有资格获得嵌入式系统的代码生成和验证产品和简化认证。下载188bet金宝搏


证明没有错误并正式验证要求

正式验证发现隐藏的设计错误,导致整数溢出,死亡逻辑,数组访问违规,以及划分而不模拟设计。金宝appSimulink Design Verifier™可以正式验证您的设计是否没有错误或安全漏洞。金宝appSimulink设计验证者还可以证明您的设计符合关键要求。如果该工具查找异常,它会生成一个用于调试的CounterExample。


自动测试生成

识别测试中的差距、未预期的功能或需求错误是很重要的。金宝appSimulink Coverage™计算在测试期间执行了多少模型或生成的代码。它应用行业标准度量,如条件、决策、修改条件/决策(MCDC)和自定义覆盖率目标。金宝appSimulink Design Verifier可以自动生成测试用例来处理不完整的覆盖,以实现结构和功能覆盖的目标。


静态代码分析

为了验证手写和生成的代码,Polyspace®下载188bet金宝搏产品使用正式方法来查找错误并证明没有关键运行时错误 - 没有测试用例或代码执行。PolySpace Bug Finder™检查和记录符合Misra等标准®,ISO 26262,IEC 61508,DO-178和FDA法规。您可以检查软件安全漏洞和标准,如CWE,CERT-C,ISO / IEC 17961等。PolySpace Code Prover™执行静态分析,以证明缺乏溢出,逐个零,缺少界限数组访问以及C和C ++源代码中的其他运行时错误。


通过通过互动示例和教程行走,从基本任务到更先进的操作。