CFSM模型的有限自动机语义

1

作者 吴正湘 虞慧群 《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第5期437-441,共5页

研究 CFSM模型的自动机语义 ,提出一种从 CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统 ,利用自动机的同步性模拟 CFSM的异步行为。本文的工作为进一步利用自动机... 研究 CFSM模型的自动机语义 ,提出一种从 CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统 ,利用自动机的同步性模拟 CFSM的异步行为。本文的工作为进一步利用自动机理论和工具对 展开更多

关键词 软硬件协作设计 CFSM模型 有限状态自动机 语义 自动化理论 扩展模型

在线阅读 下载PDF 职称材料

基于Web应用的SCXML到自动机的转换

2

作者 张东方 沈云付 《计算机工程与设计》 CSCD 北大核心 2010年第20期4385-4388,4433,共5页

为了对Web应用进行验证,保证Web应用的可靠性和质量,提出了将Web应用的SCXML描述提取出通用状态机的算法。在对Web服务应用的语言SCXML的各构成要素进行深入分析的基础上,该算法实现了将SCXML描述转化为相应的自动机,为对Web应用进行模... 为了对Web应用进行验证,保证Web应用的可靠性和质量,提出了将Web应用的SCXML描述提取出通用状态机的算法。在对Web服务应用的语言SCXML的各构成要素进行深入分析的基础上,该算法实现了将SCXML描述转化为相应的自动机,为对Web应用进行模型检查打下基础。对Web应用游戏系统的SCXML文件转换得到了对应的自动机实例,实验结果表明了该算法的正确性和有效性。 展开更多

关键词 WEB应用 状态图扩展标记语言 有限状态自动机 模型检查 形式验证

在线阅读 下载PDF 职称材料

海运物流自动订舱系统的EFSM建模与实现

3

作者 朱学俊 段成华 《计算机应用》 CSCD 北大核心 2003年第1期66-69,共4页

自动订舱系统是一类控制条件复杂的状态变化自动处理系统,精确的系统建模是系统成功的关键。文中首先介绍了海运物流自动订舱系统的特征及相关建模技术,提出了一种扩展有限状态机(EFSM)的建模方法,分析了该建模技术的方法、图素、语义... 自动订舱系统是一类控制条件复杂的状态变化自动处理系统,精确的系统建模是系统成功的关键。文中首先介绍了海运物流自动订舱系统的特征及相关建模技术,提出了一种扩展有限状态机(EFSM)的建模方法,分析了该建模技术的方法、图素、语义以及模型到算法的一种映射关系。最后利用这种形式化建模技术实现了海运物流自动定舱系统,给出的系统建模和实现方法可以运用到各类电子化申请/答复的系统设计中。 展开更多

关键词 海运物流自动订舱系统 efsm 建模 扩展有限状态机 系统建模 集装箱运输

在线阅读 下载PDF 职称材料

基于无关变量分离的EFSM测试数据进化生成 被引量：2

4

作者 潘雄 郝帅 +1 位作者 苑政国 宋凝芳 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2019年第5期919-929,共11页

扩展有限状态机(EFSM)相比于有限状态机(FSM)能够更加精确地刻画系统的动态行为,因而广泛作为各种控制流与数据流系统的测试模型。在EFSM模型的测试中,使用搜索的方法获得触发目标测试路径的测试数据是近年来的一个研究热点。为进一步... 扩展有限状态机(EFSM)相比于有限状态机(FSM)能够更加精确地刻画系统的动态行为,因而广泛作为各种控制流与数据流系统的测试模型。在EFSM模型的测试中,使用搜索的方法获得触发目标测试路径的测试数据是近年来的一个研究热点。为进一步提高搜索效率,在遗传算法(GA)的基础上提出一种自动分离测试路径中无关输入变量的方法,该方法通过分析模型中变量与迁移间的关系,判定不影响子路径中谓词条件的无关输入变量,进而从个体中将其分离以实现搜索空间的自动缩减,提升测试数据生成效率。对几种具有不同复杂度的基准EFSM模型进行实验后的结果表明,该方法生成有效测试数据的成功率均达到98. 2%以上,且与未分离输入变量的遗传算法相比,所需平均迭代次数减少44. 7%～85. 9%,平均运行时间减少24. 1%～85. 5%。 展开更多

关键词 软件测试 扩展有限状态机(efsm) 测试数据生成 遗传算法(GA) 空间缩减 无关变量分离

在线阅读 下载PDF 职称材料

基于监控理论的EFSM设计方法 被引量：1

5

作者 王向云 赵雷 蔡开元 《计算机工程与应用》 CSCD 北大核心 2009年第6期20-24,81,共6页

随着扩展有限状态机(EFSM)模型在计算机科学和工程领域的广泛应用,EFSM的设计逐渐成为一个重要的问题。目前EFSM的设计仍然主要依赖于个人经验,缺乏理论基础。由于EFSM中每个转移的谓词可以看作此转移的一个监控器,所以可以用离散事件... 随着扩展有限状态机(EFSM)模型在计算机科学和工程领域的广泛应用,EFSM的设计逐渐成为一个重要的问题。目前EFSM的设计仍然主要依赖于个人经验,缺乏理论基础。由于EFSM中每个转移的谓词可以看作此转移的一个监控器,所以可以用离散事件系统的监控理论为EFSM设计提供理论基础。首先定义了有限状态机(FSM)导出的EFSM及其产生的语言。然后,基于监控理论中的受控对象和监控器,提出了一种设计EFSM的方法,用离散事件系统监控理论为EFSM设计提供理论依据。最后用两个实际例子说明了提出方法的可用性和有用性。 展开更多

关键词 形式化方法 软件控制论 离散事件系统 扩展有限状态机(efsm) 有限状态机(FSM)

在线阅读 下载PDF 职称材料

基于UML状态图的类测试用例实现的研究和设计 被引量：1

6

作者 于重重 刘杰 张莹 《计算机工程与设计》 CSCD 北大核心 2008年第4期800-802,共3页

UML状态图能有效的表现系统的并发控制和类的嵌套,但用其实现的类测试用例复杂。研究了UML状态图和扩展有限状态机这两种方法在软件测试中状态转换的特点,利用扩展有限状态机状态转挟单一线索化的特点降低UML状态图在类测试用例生成中... UML状态图能有效的表现系统的并发控制和类的嵌套,但用其实现的类测试用例复杂。研究了UML状态图和扩展有限状态机这两种方法在软件测试中状态转换的特点,利用扩展有限状态机状态转挟单一线索化的特点降低UML状态图在类测试用例生成中的复杂性。以一个坐标图形显示类的测试用例生成为例,详细讨论了结合扩展有限状态机状态转换特点的UML状态图在面向对象测试技术中的应用。 展开更多

关键词 面向对象测试 UML状态图 扩展有限状态机(efsm) 类测试用例 坐标图形显示类

在线阅读 下载PDF 职称材料

含过程调用EFSM模型测试数据生成

7

作者 尤枫 闫宇 赵瑞莲 《计算机工程与应用》 CSCD 北大核心 2011年第32期87-90,共4页

针对含过程调用EFSM模型测试数据生成中过程调用的不可执行问题,提出了一种能对过程调用进行处理以实现模型的测试数据自动生成方法。该方法将被调子过程描述为一个EFSM模型,将表示主过程及子过程的EFSM模型合并为一个新的模型,合并后... 针对含过程调用EFSM模型测试数据生成中过程调用的不可执行问题,提出了一种能对过程调用进行处理以实现模型的测试数据自动生成方法。该方法将被调子过程描述为一个EFSM模型,将表示主过程及子过程的EFSM模型合并为一个新的模型,合并后的模型符合EFSM模型规范,采用遗传算法对该模型进行测试数据自动生成。实验结果表明,该方法能够较好地解决含过程调用EFSM模型的测试数据自动生成问题。 展开更多

关键词 扩展有限状态机(efsm) 测试数据生成 过程调用 遗传算法 子模型

在线阅读 下载PDF 职称材料

基于中国邮路算法及UIO序列的状态机测试序列生成

8

作者 赵明 张毅坤 张保卫 《计算机工程与应用》 CSCD 北大核心 2004年第17期58-60,共3页

状态测试的首要问题就是从大量的状态组合中挑选针对典型的错误能够最为有效和最为优化的测试序列。A.V.Aho等人提出了使用中国邮路算法及UIO序列进行生成测试序列的方法,但并没有考虑UIO序列的加入对状态迁移造成的影响,因此不能够对... 状态测试的首要问题就是从大量的状态组合中挑选针对典型的错误能够最为有效和最为优化的测试序列。A.V.Aho等人提出了使用中国邮路算法及UIO序列进行生成测试序列的方法,但并没有考虑UIO序列的加入对状态迁移造成的影响,因此不能够对测试序列进行全局优化。该文对上述算法进行改进,并使用遗传算法解决了中国邮路NP-Complete问题。 展开更多

关键词 状态测试 中国邮路算法 唯一输入输出序列 扩展有限状态自动机 遗传算法

在线阅读 下载PDF 职称材料

多用户界面应用程序代码自动生成机制研究

9

作者 邹静 陈英 姜波 《北京理工大学学报》 EI CAS CSCD 北大核心 2003年第5期589-592,600,共5页

设计和实现一种针对多用户界面应用系统的专用CASE平台,提出在这种CASE平台中具有新意且实用的代码自动生成方法.在论述作为代码自动生成机制的EFSM的定义基础上,通过实例介绍了在这种CASE平台中基于设计模型提取资源、建立EFSM模型,直... 设计和实现一种针对多用户界面应用系统的专用CASE平台,提出在这种CASE平台中具有新意且实用的代码自动生成方法.在论述作为代码自动生成机制的EFSM的定义基础上,通过实例介绍了在这种CASE平台中基于设计模型提取资源、建立EFSM模型,直到生成代码的全过程,进而验证了多用户界面应用系统平台上基于EFSM的代码自动生成机制的可行性. 展开更多

关键词 计算机辅助软件工程 扩展的有限状态自动机 代码自动生成

在线阅读 下载PDF 职称材料

基于EFSM用户自定义故障模型的测试集生成

10

作者 李永亮 李蕊 +1 位作者 李仁发 张焱 《计算机应用研究》 CSCD 北大核心 2009年第9期3388-3391,共4页

提出了一种用户自定义故障的EFSM测试集生成方法。该方法应用EFSM切片对EFSM模型进行合理的缩减,有效地避免了从EFSM到FSM转换得到测试集而产生状态空间爆炸的问题,也得到最短的测试用例集合。实验结果表明了新算法对生成最短EFSM测试... 提出了一种用户自定义故障的EFSM测试集生成方法。该方法应用EFSM切片对EFSM模型进行合理的缩减,有效地避免了从EFSM到FSM转换得到测试集而产生状态空间爆炸的问题,也得到最短的测试用例集合。实验结果表明了新算法对生成最短EFSM测试集是有效的。 展开更多

关键词 扩展有限状态机(efsm) 用户自定义故障 一致性测试 测试生成

在线阅读 下载PDF 职称材料

EFSM最小可达图的同步生成算法

11

作者 眭永波 王忠民 郝瑞兵 《计算机工程与应用》 CSCD 北大核心 2004年第23期80-85,88,共7页

针对EFSM可达性分析过程中的状态空间爆炸问题,提出了一种基于变量值域划分的EFSM最小可达图的同步生成算法。该算法将EFSM可达图的生成与最小化两个过程结合在一起同步进行,引入特征配置的思想,依据特征配置指出变迁有效性组合,以及变... 针对EFSM可达性分析过程中的状态空间爆炸问题,提出了一种基于变量值域划分的EFSM最小可达图的同步生成算法。该算法将EFSM可达图的生成与最小化两个过程结合在一起同步进行,引入特征配置的思想,依据特征配置指出变迁有效性组合,以及变迁的赋值动作与终止状态分组变量值域的关系,在进行可达性分析的同时仅对可达的状态分组进行稳定性判定及必要的分裂,直到所有可达状态分组均稳定为止,EFSM最小可达图即构造完毕。文中算法最大限度地减小了中间结果如不可达分组等对求解过程的影响,从而降低了传统算法因可达性分析与最小化过程相分离而引起的时间与空间上的巨大代价。 展开更多

关键词 扩展有限状态机 最小可达图 可达性分析 efsm 协议测试 变量值域 状态分裂思想

在线阅读 下载PDF 职称材料

面向协议一致性测试的测试序列生成方法研究 被引量：1

12

作者 张新常 杨美红 +1 位作者 罗万明 耿光刚 《高技术通讯》 CAS CSCD 北大核心 2011年第10期1034-1041,共8页

考虑到协议一致性测试中基于扩展有限状态自动机（EFSM）模型的测试序列生成仍然是一个尚无理想方法解决的开放性问题，提出了一种面向协议一致性测试的基于EFSM模型的测试序列生成方法。此方法将EFSM模型转换成确定化的EFSM（DEFSM）... 考虑到协议一致性测试中基于扩展有限状态自动机（EFSM）模型的测试序列生成仍然是一个尚无理想方法解决的开放性问题，提出了一种面向协议一致性测试的基于EFSM模型的测试序列生成方法。此方法将EFSM模型转换成确定化的EFSM（DEFSM）模型，并在转换过程中对EFSM模型中的条件和操作冲突进行检测并加以消除，此外，通过测试序列生成附加模块的协助，可将变量及其条件判定从DEFSM模型中分离出来，使得处理后的DEFSM模型等同于有限状态自动机（FSM）模型，从而将EFSM的描述优势和基于FSM模型的测试序列生成优势进行有效的结合。理论和实验分析结果显示了此方法的有效性。 展开更多

关键词 协议一致性测试 扩展有限状态自动机(efsm) 有限状态自动机(FSM) 测试序列生成 模型转换

在线阅读 下载PDF 职称材料

面向语用的仿真组件形式化建模及组合技术研究 被引量：3

13

作者 胡鹏 沈建京 吴善明 《计算机应用研究》 CSCD 北大核心 2015年第9期2697-2701,共5页

语法和语义层次的组合并不足以保证仿真组件组合的完整性、有效性和实用性,在语用组合问题分析的基础上,提出了基于扩展有限状态自动机的仿真组件模型形式化描述,包含了仿真组件行为语义和仿真运行语境约束信息,并在此基础上设计了基于... 语法和语义层次的组合并不足以保证仿真组件组合的完整性、有效性和实用性,在语用组合问题分析的基础上,提出了基于扩展有限状态自动机的仿真组件模型形式化描述,包含了仿真组件行为语义和仿真运行语境约束信息,并在此基础上设计了基于XML的仿真组件模型描述规范。最后,通过应用实例具体描述了面向语用组合的仿真组件模型组合过程。组合中考虑了模型发现、组合判定、仿真运行与仿真语境之间的关系,并且实现了面向语用的仿真系统自动化动态构建。 展开更多

关键词 语用 组合 仿真组件 形式化建模 扩展有限状态自动机

在线阅读 下载PDF 职称材料

语用层次仿真组件组合性质分析 被引量：2

14

作者 胡鹏 沈建京 陶林波 《计算机工程》 CAS CSCD 北大核心 2016年第2期293-299,共7页

针对语法和语义层次组合存在对仿真环境的匹配及组合结果实用性不强的问题,在语用组合与仿真语境研究的基础上,给出仿真语境空间形式化定义,提出一种基于语境空间匹配指数的静态语用组合性质分析方法。对扩展有限状态自动机进行分析,设... 针对语法和语义层次组合存在对仿真环境的匹配及组合结果实用性不强的问题,在语用组合与仿真语境研究的基础上,给出仿真语境空间形式化定义,提出一种基于语境空间匹配指数的静态语用组合性质分析方法。对扩展有限状态自动机进行分析,设计支持语境约束的仿真组件模型形式化描述,建立仿真组件模型与着色Petri网(CPN)之间的映射,并利用CPN Tools工具实现组合模型的动态语用可组合性质分析。应用结果表明,语用层次的仿真组件静态、动态组合性质分析,可为仿真组件发现、仿真建模优化、组合结果有效性判定等关键问题提供量化、直观的依据。 展开更多

关键词 语用 语境 仿真组件 组合性质分析 扩展有限状态自动机

在线阅读 下载PDF 职称材料

Web应用程序的用户非预期行为测试模型的研究

15

作者 荣祺 高建华 《小型微型计算机系统》 CSCD 北大核心 2008年第6期1004-1006,共3页

现有Web应用程序测试模型默认前提是将Web应用程序软件行为等同于其他传统软件,而忽略了Web应用程序中用户的非预期行为将可能影响软件应有的逻辑,导致软件行为失效,针对这一问题,本文在分析现有测试模型,测试策略与算法的基础上,提出... 现有Web应用程序测试模型默认前提是将Web应用程序软件行为等同于其他传统软件,而忽略了Web应用程序中用户的非预期行为将可能影响软件应有的逻辑,导致软件行为失效,针对这一问题,本文在分析现有测试模型,测试策略与算法的基础上,提出一种基于扩展有限状态机(EFSM)的UUBTM测试模型来生成非预期行为的测试序列UTSEQ,实验证明该序列可以有效检测Web应用程序中存在的缺陷. 展开更多

关键词 WEB应用 用户非预期行为 测试模型 efsm(扩展有限状态机)

在线阅读 下载PDF 职称材料

基于SPIN的模块化模型检测方法研究 被引量：9

16

作者 李兴锋 张新常 +1 位作者 杨美红 阎保平 《电子与信息学报》 EI CSCD 北大核心 2011年第4期902-907,共6页

该文针对模型检测过程中所存在的状态爆炸问题,提出了一种基于模型检测工具SPIN的模块化模型检测方法。所提出的方法能够将指定的抽象模型分解成若干的模块,并对这些验证复杂度相对低的模块执行模型检测,以替代对原模型的模型检测。所... 该文针对模型检测过程中所存在的状态爆炸问题,提出了一种基于模型检测工具SPIN的模块化模型检测方法。所提出的方法能够将指定的抽象模型分解成若干的模块,并对这些验证复杂度相对低的模块执行模型检测,以替代对原模型的模型检测。所提方法所用的分解过程保留了原模型所有的语义,同时不增加额外的语义,从而使得验证所有模块等同于验证原模型。理论和实验分析结果显示了所提方法的有效性。 展开更多

关键词 模型检测 扩展有限状态自动机 状态爆炸

在线阅读 下载PDF 职称材料