MATLAB和Simu万博1manbetxlink进行验证,验证和测试
验证,并使用验证嵌入式系统基于模型的设计
“与我们过去手工编码的经验相比,基于模型的设计使我们减少了30%的劳动力成本,减少了20%的测试成本,并提高了30%以上的生产率。”我们在建立内部软件开发团队的同时,提前完成了ECU的开发。”
大明立,潍柴动力
使用MATLAB和Simulink万博1manbetx验证和确认
需求验证
非正式文本的要求,可以存储在文档,电子表格,或在需求管理工具,如IBM®理性的®门®,开始发展的过程。万博1manbetxSimulink的要求™允许您查看,作者,并与你的架构,设计,生成的代码和测试工件一起管理需求。您可以创建从需求到设计,系统构成数字线程™,Simulink中,Stateflow的万博1manbetx®或MATLAB测试在Simulink测试™万博1manbetx。有了这个可追溯,可确定实施或测试空白,迅速了解在设计或测试变化的影响。从第三方工具的要求可以查看,同步和管理,建立可追溯性,在开发过程中的其他工具。
Simulink测试中的时态评估允许您验证文本需万博1manbetx求,方法是使用可以评估和调试的自然语言格式使用精确语义指定评估。
认证标准遵从性
模型自动化验证和代码标准,如DO-178,ISO 26262,IEC 61508,IEC 62304,和MathWorks公司顾问委员会(MAB)风格指南。万博1manbetxSimulink的检查™提供业界公认的检查,并在开发过程中确定的标准和指南的侵犯指标。您可以创建自定义的检查,以满足自己的标准或准则。在IEC认证工具包(用于ISO 26262和IEC 61508)和DO资格的试剂盒(DO-178)提供了工具资格的文物,证书和测试套件来帮助你有资格代码生成和验证产品和嵌入式系统的流线型认证。s manbetx 845
浏览产品s manbetx 845
证明错误的缺失,并正式确认的要求
形式验证可以发现隐藏的设计错误,这些错误会导致整数溢出、死逻辑、数组访问违规和在不模拟设计的情况下被零除。万博1manbetxSimulink Design Verifier™可以正式验证您的设计没有错误或安全漏洞。万博1manbetxSimulink设计验证器也可以证明你的设计满足关键需求。如果工具发现异常,它会生成一个用于调试的反例。
自动测试生成
识别测试的空白,意想不到的功能,或需求错误是很重要的。万博1manbetxSimulink的覆盖™计算生成的代码是多少模型或测试期间行使。它适用于行业标准的指标,如条件,决策,修正条件/决定(MCDC)和自定义覆盖目标。万博1manbetxSimulink设计验证器可以自动生成测试用例地址不完整的覆盖,实现结构和功能的覆盖目标。
静态代码分析
对于手写的验证和生成的代码,Polyspace®s manbetx 845产品使用正式的方法来发现bug并证明关键运行时错误的缺失—不需要测试用例或代码执行。Polyspace Bug Finder™检查并记录是否符合MISRA等标准®、ISO 26262、IEC 61508、DO-178和FDA法规。您可以检查软件安全漏洞和标准,如CWE, CERT-C, ISO/IEC 17961,和其他。Polyspace Code Prover™执行静态分析,以证明C和c++源代码中没有溢出、逐零、数组访问越界和其他运行时错误。