Stateflow模型测试典型问题分享——不可达的分支
问题描述：
- Stateflow条件存在互斥情况，导致部分工况不可达。
造成的影响：
较多的互斥结构将无法满足ASIL C/D等级覆盖度要求，并存在安全隐患。
优化建议：
优化Stateflow条件，消除互斥影响，使用静态工具检测。如MXAMmes_slsf_1302规范，其要求同一源状态或结点的转换不应包含冗余的AND转换条件。
例如：
模型中的A条件存在互斥情况，MXAM运行后报告了此问题。
图1模型结构
图2报告的问题
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。
举报投诉
-
测试
+关注
关注
8文章
6031浏览量
130724 -
模型
+关注
关注
1文章
3649浏览量
51714 -
Stateflow
+关注
关注
1文章
9浏览量
9426
发布评论请先 登录
相关推荐
热点推荐
Matlab/Simulink/Stateflow建模开发及仿真测试
matlab 模拟仿真
熟悉Matlab/Simulink/Stateflow建模开发及仿真测试，熟悉V模型开发流程。 熟悉自动代码生成，能够编写或者配置自动代码生成脚本。
发表于 10-24 17:23
matlab simulink stateflow
近期在学习simulink里面的stateflow，可是我按着书上的例子搭建的模型，运行就是有错误，不晓得是什么错误，找不出来，哪位大侠帮我看看，指导下啊
发表于 06-24 17:39
MatLab/Stateflow定时
利用stateflow实现实时定时功能：stateflow接收一个输入Timer,我的单片机底层定时器里会每个5ms把Timer加1，加到65535时，下一个会清零（单片机自动清零，重新计数）。现在
发表于 05-04 09:18
怎样去设计基于Simulink的混合动力电动汽车模型
配置用于系统级测试或电能质量分析。可以使用不同的子系统来构建电气、电池和车辆动力学系统的模型变体。将Simscape语言创建的电池模型引入到设计中。监控逻辑是采用Stateflow实现
发表于 08-26 11:35
汇编源程序不可达指令的判定算法
本文讨论了一种判定汇编语言程序不可达指令的算法，并通过一个示例程序说明了算法的实现并验证了其正确性。本文的工作为覆盖测试更全面、更有效的进行做了必要的补充，下一步
发表于 06-15 10:50
•1406次阅读
基于分支覆盖的回归测试路径选择
的测试数据。从而降低了回归测试的效率．研究了回归测试的分支覆盖问题，通过利用已有测试数据的路径覆盖信息，并选择一定个数的路径，以覆盖所有的目
发表于 01-15 11:08
•0次下载
用simulink的stateflow建模规范
本建模规范适用于电动车整车控制策略开发阶段，快速原型模型的开 发和维护。 预期读者对象为：熟悉整车结构，具有较强的 Simulink/Stateflow 建 模能力，并熟悉整车控制思想的相关专业人员。
发表于 08-31 14:53
•5次下载
使用TPT完成Stateflow动态测试
本文总结了一套使用TPT针对Stateflow的具有普适性的测试方法。以Fan Management单元模块的动态测试为例进行介绍。
Siumulink模型测试典型问题分享——模型层级设计不合理
典型测试问题分享-模型层级设计不合理
问题描述：
重点功能与非重点功能混合，导致测试层级选择困难。
模型未体现层级划分，结构平铺导致层级
Simulink模型测试典型问题分享——模型库管理问题
典型测试问题分享-模型库管理问题
问题描述：
相同信号名称模型不同位置重复出现，导致编译异常报错（模型运行正常）。
名称存在逻辑冲突，例
工商网监
评论