没有合适的资源?快使用搜索试试~
我知道了~
文库首页
硬件开发
嵌入式
轻量级的扩展有限状态机EFSM(Extended Finite State Machin)
轻量级的扩展有限状态机EFSM(Extended Finite State Machin)
需积分: 10
3 下载量
70 浏览量
2022-09-23
17:28:49
上传
评论
收藏
4KB
BZ2
举报
温馨提示
立即下载
一款轻量级的扩展有限状态机,基于函数指针状态机技术,相对普通的状态机,扩展了进入/退出动作。
资源推荐
资源评论
EFSM(事件驱动型有限状态机)是一个基于事件驱动的有限状态机,主要应用于嵌入式设备的软件系统中
浏览:186
EFSM(event finite state machine,事件驱动型有限状态机),是一个基于事件驱动的有限状态机。使用EFSM可实现上百个状态、上千种事件处理,且可实现多重状态机和层次状态机。可应用在云后台微服务和嵌入式软件等各种平台中。EFSM的设计原则是:简单!EFSM的使用者只需要关心:当事件到来时,通过EFSM取得对应事件的处理方法;当特定事件到来,或者条件满足时,调用状态切换方法进
embedded Finite State Machine (eFSM)-开源
浏览:54
嵌入式有限状态机(FSM)设施可用于对无功或有状态系统进行建模和控制。 该系统可以由任何数量的状态表示。 状态转换是由许多事件驱动的。 eFSM用C编写。
基于多种群遗传算法的可扩展有限状态机测试数据自动生成
浏览:108
可扩展有限状态机EFSM(Extended Finite State Machine)是目前常用的一种描述软件状态和行为的模型,研究EFSM模型的测试数据自动生成方法具有重要的意义。针对EFSM模型,本文提出一种面向EFSM路径的测试数据自动生成...
论文研究-Testing of Parallel Parameterized Extended Finite State Machines with Dependence on External Variables.pdf
浏览:122
带有外部变量依赖的并行参数化扩展有限状态机测试,姚姜源,王之梁,现阶段基于模型的测试的相关研究主要关注单一组件模型,如FSM和EFSM。但是在某些协议中,可能存在一些带有对其它组件的变量依赖的��
EFSM事件驱动型有限状态机,是一个基于事件驱动的有限状态机,主要应用于嵌入式设备的软件系统中
浏览:176
EFSM(event finite state machine,事件驱动型有限状态机),是一个基于事件驱动的有限状态机。使用EFSM可实现上百个状态、上千种事件处理,且可实现多重状态机和层次状态机。可应用在云后台微服务和嵌入式软件等各种...
基于EFSM模型的不可行迁移路径判定 (2011年)
浏览:13
扩展有限状态机(Extended Finite State Machine:EFSM)虽然被广泛用作各种软件的底层模型,但如何判定其测试序列的不可行性是一个困难的问题,为此将迁移路径上的变量分为计数器变量、选择变量和矛盾变量,并从这...
基于C语言的函数指针状态机编程框架 EFSM_v0.03
浏览:65
一款C语言编写的轻量级的函数指针有限状态机编程框架,可实现entry和exit动作
基于扩展有限状态机和断言的总线接口协议测试平台 (2008年)
浏览:175
为此,提出了一种基于扩展有限状态机(EFSM)和断言的Sac接口协议测试平台,该平台是一种自反馈测试平台,它不仅可以自动产生大量符合协议规范的测试激励矢量,而且可以通过对断言统计信息的反馈提供多种偏置选择,从而...
化工过程EFSM 模型的应用
浏览:64
扩展有限状态机(EFSM) 是一种构造模型的形式化描述语言. 首先根据化工过程特征, 改进EFSM 模型和数据依赖关系, 构建变量、状态及相互之间转换条件和动作的化工过程EFSM 描述模型; 然后提出化工过程变量之间的静、...
论文研究-基于EFSM用户自定义故障模型的测试集生成.pdf
浏览:51
该方法应用EFSM切片对EFSM模型进行合理的缩减,有效地避免了从EFSM到FSM转换得到测试集而产生状态空间爆炸的问题,也得到最短的测试用例集合。实验结果表明了新算法对生成最短EFSM测试集是有效的。
Tupi:语言和IDE支持在JVM上描述,扩展和执行扩展的有限状态机
浏览:183
图皮语言和解释器支持,用于描述,扩展和执行扩展的有限状态机(EFSM)。 ### Language的主要目标是模仿代码中的每个EFSM属性: 记忆状态转场大事记守卫动作加上其他概念和功能,例如多态性和模式匹配。 您可以在...
自适应EFSM可执行测试序列生成
浏览:52
基于扩展有限状态机(EFSM)模型自动生成测试序列可以提高测试效率.由于EFSM模型包含丰富的变量和谓词条件,它们之间的冲突可能导致自动生成的测试序列不可执行.对EFSM变迁及变迁之间的关联关系进行了详细的讨论和分析,...
论文研究-EFSM模型的字符串类型测试数据自动生成.pdf
浏览:71
分析了EFSM模型的特点,针对面向EFSM模型目标路径的字符串测试数据生成,建立了字符串输入变量模型和操作模型,结合静态测试的特点,给出了通过字符串变量模型在目标路径上的符号执行结果生成字符串类型测试数据的...
EFSM可执行状态验证序列的生成 (2007年)
浏览:66
在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中,为了解决状态验证序列的可执行性问题,提出了一种新的可执行状态验证序列(ESIS)生成算法。新算法基于宽度优先搜索可执行分析树(EAT)的思想,从...
基于EFSM协议的自动测试生成系统
浏览:159
基于扩展有限状态机(EFSM)的协议一致性测试是一个开放的研究主题。 如何为EFSM指定的协议实施自动测试生成系统是一个具有挑战性的问题。 本文重点介绍测试生成系统的实现技术。 具体来说,提出了一种可行的松耦合...
面向对象软件和EFSM规范测试覆盖准则比较 (2011年)
浏览:161
另外,面向对象软件和扩展有限状态机(EFSM)规范应用越来越广泛。该文从面向对象程序代码和EFSM规范两方面出发,对现有测试覆盖准则进行了分析比较,给出了2个新的测试覆盖准则,对现有测试覆盖准则进行了扩充,并对...
论文研究-基于分层EFSM的OpenFlow协议建模 .pdf
浏览:171
基于分层EFSM的OpenFlow协议建模 ,章志豪,张先恩,OpenFlow协议作为软件定义网络(SDN)目前事实的南向标准协议之一,受到了越来越多的研究者的关注。在本文中,针对OpenFlow协议建模,��
论文研究-基于分支界限搜索的EFSM协议测试序列生成算法.pdf
浏览:169
针对EFSM中状态迁移不确定导致的协议一致性测试序列生成困难的问题, 提出了一种协议一致性测试序列生成算法。该算法基于互异代表系理论为每个协议状态变迁赋权值, 再基于分支界限法搜索生成的协议测试序列, 将协议...
情感建模方法研究 (2010年)
浏览:55
针对情感建模难点问题,分析了目前人工情感模型建模的方法,包括OCC模型、智能体情感模型、基于模糊逻辑情感模型等,并对上述模型的应用领域进行分析,提出基于扩展有限状态机(EFSM)建立人工情感模型的方法。...
STM32CubeMx6.4.0版本+JRE安装包
浏览:154
5星 · 资源好评率100%
STM32CubeMx6.4.0版本+JRE安装包
KEIL5 常用stm32芯片包下载
浏览:92
5星 · 资源好评率100%
Keil.STM32F0xx_DFP.1.0.0.pack keil.stm32f1xx_dfp.1.0.2.pack keil.stm32f2xx_dfp.1.0.4.pack Keil.STM32F3xx_DFP.1.0.0.pack keil.stm32f4xx_dfp.1.0.5.pack Keil.STM32L1xx_DFP.1.0.0.pack Keil.STM32L4xx_DFP.2
第十五届蓝桥杯嵌入式组省赛完整工程
浏览:12
该工程代码实现了第十五届蓝桥杯嵌入式组程序设计题目要求。
ser2pl64.sys是电脑重要系统文件,主要用于串口转USB,描述:USB-to-Serial Cable Driver
浏览:117
ser2pl64.sys是电脑重要系统文件,字面意思就是64位的串口Pl驱动系统配置文件,如果你的电脑安装PL2303等问题弹出”非旺玖原装的PL2303,请联系您的供货商“或者出现提示信息”ser2pl64.sys丢失“或者“ser2pl64.sys损坏”等错误弹窗信息提示,将会导致电脑出现蓝屏,甚至其他一些未知的问题,影响电脑的正常使用,若要解决这问题,需要重新下载一个ser2pl64.sys
CubeMX,6.11版本
浏览:132
CubeMX,6.11版本
BL0942模块资料V1.1
浏览:129
BL0942模块资料V1.1
心率模块,MAX30102模块+oled模块,stm32f103 hal库完整代码
浏览:98
资源免费下载,不用会员也可以下载。设置一次读取功能,再次读取需要复位stm32f103,读取数值比较精准,是完整性代码,可以直接用,引脚有相关改动。用之前记得看,里面包括了,oled显示+max30102;读取数值期间尽可能少触碰max30102的排针,会造成读取数值缓慢的可能。相关问题可私信我
第十四届蓝桥杯省赛电子类嵌入式组完整工程代码
浏览:101
该工程代码实现了第十四届蓝桥杯省赛嵌入式程序设计题的各项要求。
第十五届蓝桥杯嵌入式省赛真题题目和答案
浏览:75
第十五届蓝桥杯嵌入式省赛真题题目和答案
“ 官网 ”最新版-《Arm Compiler 5.06 update 7 (build 960) Lin32》
浏览:34
5星 · 资源好评率100%
最新发布的MDK5.37已经不再安装Arm Compiler 5(ARMCC)编译器了,因为点击魔术棒后,在Target选项卡中选择编译器时,会看到missing:compiler version 5,如果要使用compiler version 5,需要自己安装。 由于官网下载网速比较慢,小立提前下载好并分享给你们。
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
棒子陈
粉丝: 45
资源:
5
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
Linux线程同步机制深度解析与实用指南.zip
PTA题库C语言解题策略与实战.rar
SVPWM控制技术的simulink建模与仿真【包括simulink模型,参考文献,操作步骤】
AI高清修复图片画质易语言易语言源码易语言填表
映射窗口.ec易语言易语言模块CPU占用0%游戏监控窗口监控
易语言 361窗口模块高效、便捷、自封装、自用
易语言 窗口排列 模块 ,简单、高效、体积小
main函数的加载过程
动态库加载一张图概括所有
筷手引流工具.apk
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功