澳门威尼l斯人网址-澳门威斯尼斯人6613com

联系大家

汉宜电子科技(上海)有限企业
地 址:上海市浦东新区金湘路225弄11号禹洲燕海国际大厦2号楼1605室
电 话:86-21-50490567
E-mail:sales@han-yi-tech.com
网 址:www.han-yi-tech.com
邮 编:201206

模型质量控制

详细先容
利用基于模型的App开发模式可以更好地控制App的复杂性,通过早期验证提高App质量,通过代码自动生成,显著提高产量。 新的App开发方式需要新的质量控制手段,大家为基于模型的App开发提供从模型架构分析、 复杂度检测、模型静态质量检查到模型动态功能测试的完整的质量控制解决方案。

模型规范检查App—Model Guideline Checker(MGC)
MGC 遵循 ISO26262 的要求,为模型提供静态规范检查。 该App提供目前市场上能找到的所有的公共建模规范,如 dSpace, MAAB, Misra AC SLSF, Misra AC TL, HISL HISF,是目前市场上提供规范Z全面的App之一。 使用该App后能够使自动产生的代码Z大程度地符合 Misra C 2012 的要求,同时满足 ISO26262 对建模规范的内容的要求。

模型功能测试App—Model Quick Tester(MQT)
MQT 是针对嵌入式系统的基于模型的测试工具,支撑所有的测试过程:包括测试建模、测试实行、测试评估以及测试报告的生成。 在模型测试中, 测试环境生成、 测试用例编写及测试结果评估是常见的难点, MQT 在这三个方面做出了优化的解决方案,使得测试过程变得简单迅速。

架构及复杂度分析App—Model Structure Analyzer
对于模型架构设计, ISO26262 提出了如下设计原则:
使用层次架构
限制模型的大小
限制接口大小
单元内部高聚合性
单元之间低耦合性
但是 ISO26262 没有给出具体的量化方法。 Model Structure Analyzer(MSAnalyzer)提供了如下的功能以解决以上问题:
模型复杂度分析: 分别计算模型的局部复杂度,全局复杂度,模型层级等
克隆分析: 找出模型内部及模型和所使用的库之间重复的部分
子系统聚合度及离散度分析: 利用合适算法计算子系统内部的聚合度和离散度
界面有效性分析:分析系统中的无用信

如需了解详细信息或申请试用,请联系大家

相关标签:嵌入式,基于模型开发,模型检查,模型功能测试,

上一篇:Klocwork
下一篇:没有了

地区产品

在线客服
点击咨询
欢迎给大家留言
请在此输入留言内容,大家会尽快与您联系。
联系人
座机/手机号码
祥云平台技术支撑

澳门威尼l斯人网址|澳门威斯尼斯人6613com

XML 地图 | Sitemap 地图