首页 | 本学科首页   官方微博 | 高级检索  
检索     
共有20条相似文献,以下是第1-20项 搜索用时 62 毫秒

1.  一种用于类测试的改进型EFSM模型  被引次数:3
   陈祎  桑楠  雷航《计算机应用》,2005年第25卷第8期
   扩展有限状态机(EFSM)中迁移存在前置条件和相应操作,而前置条件和相应操作中变量的相互依赖性导致了EFSM中存在不可达路径,不利于基于EFSM模型的类的测试。通过把UML状态图转换成EFSM模型,提出一种消除EFSM模型不可达路径算法,从而建立一种用于面向对象软件的类测试模型,通过该模型可以应用传统的数据流和控制流分析技术对类进行测试。    

2.  面向协议一致性测试的测试序列生成方法研究  
   张新常  杨美红  罗万明  耿光刚《高技术通讯》,2011年第21卷第10期
   考虑到协议一致性测试中基于扩展有限状态自动机( EFSM)模型的测试序列生成仍然是一个尚无理想方法解决的开放性问题,提出了一种面向协议一致性测试的基于EFSM模型的测试序列生成方法.此方法将EFSM模型转换成确定化的EFSM (DEFSM)模型,并在转换过程中对EFSM模型中的条件和操作冲突进行检测并加以消除,此外,通过测试序列生成附加模块的协助,可将变量及其条件判定从DEFSM模型中分离出来,使得处理后的DEFSM模型等同于有限状态自动机(FSM)模型,从而将EFSM的描述优势和基于FSM模型的测试序列生成优势进行有效的结合.理论和实验分析结果显示了此方法的有效性.    

3.  自适应EFSM可执行测试序列生成  
   舒挺  刘良桂  徐伟强  李文书《计算机研究与发展》,2012年第49卷第6期
   基于扩展有限状态机(EFSM)模型自动生成测试序列可以提高测试效率.由于EFSM模型包含丰富的变量和谓词条件,它们之间的冲突可能导致自动生成的测试序列不可执行.对EFSM变迁及变迁之间的关联关系进行了详细的讨论和分析,定义了一个邻接变迁关联图,提出了一种自适应EFSM可执行测试序列生成算法.新算法首先根据变量和谓词包含情况对变迁进行分类,然后深入挖掘了邻接变迁之间的关联关系,最后,基于自适应预测搜索函数启发式引导可达性分析树扩展生成可执行的测试序列.实验数据表明,与宽度优先可达性分析方法相比,新算法可以有效降低可达性分析过程中产生状态空间爆炸问题的概率,从而提高测试序列自动生成的效率.在最坏的情况下,新算法的计算时空复杂度也等同于宽度优先算法.    

4.  基于随机Petri网测试的序列生成系统  
   吴晓华  雷航《微电子学与计算机》,2006年第23卷第11期
   提出用随机Petri网(SPN)模型对实时系统建模并产生测试序列的方法,该模型方便描述系统的并发、异步等行为,避免基于扩展有限状态机(FSM)或扩展有限状态机(EFSM)模型分析的不足,并可对系统模型进行性能分析.通过具体例子说明了其在实时软件中的应用.    

5.  面向对象类测试的精简EFSM转换算法  
   吴静莉  李素娟《数字社区&智能家居》,2012年第6X期
   EFSM是一个没有层次和并发结构的状态图,因此很难处理较复杂的软件系统,而且由于EFSM中存在前置条件,使得生成的测试序列有可能存在不可达性。该文提出一种将EFSM转化为精简有限状态机(FSM)的转换算法,很大程度上减少了中间产生的等价状态,并有效防止了组合间爆炸问题的出现,得到的精简FSM最小可达。    

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

7.  基于禁忌搜索算法的可扩展有限状态机模型测试数据自动生成  
   任君  赵瑞莲  李征《计算机应用》,2011年第9期
   可扩展有限状态机(EFSM)模型的测试用例生成包括测试路径生成和测试数据生成两部分。然而,目前针对EFSM模型的测试研究大多集中于测试路径生成。为探索路径上测试数据的自动生成,提出一种面向EFSM路径的测试数据生成方法,利用禁忌搜索(TS)策略实现了EFSM测试数据的自动生成;分析了影响EFSM测试数据生成的关键因素,并与遗传算法(GA)的生成效率进行了比较。实验结果表明:基于TS算法的EFSM模型测试数据自动生成是确实可行的,其测试生成效率相对于GA有很大提高。    

8.  基于扩展有限状态机测试序列生成方法研究  
   蒋凡  魏蓉  郐吉丰《计算机工程与应用》,2007年第43卷第7期
   扩展有限状态机是对有限状态机的扩展,由于引入了变量、状态迁移的前置条件以及状态迁移所引起的操作,它的测试序列存在可执行性问题。讨论了基于扩展有限状态机的测试序列生成方法的主要特点及局限性,指出了有待进一步研究的若干问题。    

9.  飞行控制软件测试用例生成技术  
   董成基  齐杏林  吕静  赵志宁《兵工自动化》,2012年第9期
   为进行飞行控制软件测试,采用扩展有限状态机(extended finite state machine,EFSM)模型对弹药飞行控制软件测试需求建模和测试用例的生成展开研究。将时间约束作为变量处理和并发任务的平坦化分析进行研究,通过分析生成了模拟软件完整执行过程的测试序列,采用组合设计解决了各输入变量不同取值之间的组合问题,并提出为变量增加时间属性来描述产生测试信号的时刻。以某弹药飞控软件为例,进行建模和测试用例生成实践,验证了方法的可行性。该研究为有限状态机模型在飞控软件和其它实时软件测试中的应用进行了探索。    

10.  基于EFSM切片的化工过程故障诊断方法  
   朱群雄  隋英丽  史晟辉  徐圆《计算机与应用化学》,2013年第7期
   针对复杂化工过程故障分析和理解困难的问题,应用计算机领域中的EFSM切片技术和知识库方法,提出一种新的应用于化工过程故障诊断的解决方案。本文基于前人建立的扩展有限状态机(Extended Finite State Machine,EFSM)模型,选取系统操作流程中的异常对象作为切片准则。然后,利用邻接依赖图EFSM切片算法,给出求解故障对象相关变量数据依赖图的过程,通过宽度优先搜索变量数据依赖图考查各节点是否为故障源,建立故障诊断所需知识库。最后,列出基于EFSM切片的故障诊断推理的具体过程,以及根据构建的知识库进行的诊断工作。以双容水槽液位控制系统为例,计算EFSM切片,其规模有效约减为原模型的70%左右;进而得到相关变量数据依赖图,分析异常状态和故障源,使得基于EFSM切片的化工过程故障诊断方法的可行性得以验证,为化工过程故障诊断提供新的思路。    

11.  基于有限状态机的Web服务测试用例生成方法  
   黎升洪  王任《计算机时代》,2009年第11期
   提出了一种基于有限状态模型(FSM)的测试用例生成方法。首先,FSM中的状态由Web服务与用户交互产生的中间状态表示,FSM中的状态迁移及其标注由Web服务与用户间的消息交换表示;其次,借助正则表达式来描述Web服务交互过程的所有消息交换序列,并与Web服务的WSDL文档结合产生测试数据;最后,给出了满足FSM迁移覆盖准则的测试用例生成算法,并通过实验验证了该方法的有效性。    

12.  基于FSM的WIA-PA协议测试序列自动生成技术研究  
   谢昊飞  苏德龙  肖尚青  郝飞飞《计算机光盘软件与应用》,2014年第24期
   本文重点介绍基于有限状态机(FSM)测试序列生成方法,并以现场设备安全入网为例,利用该方法生成测试序列。为构建WIA-PA协议测试FSM模型,文中分析了WIA-PA协议测试中的安全入网的设备状态、事件、输出和转移输出,在此基础上建立了现场设备安全入网测试的FSM模型。然后在FSM模型基础上,采用UIO方法生成测试序列。    

13.  基于扩展有限状态机的定义-清除路径的生成方法  被引次数:2
   卢炎生  雷波  谢晓东  毛澄映《计算机工程与科学》,2006年第28卷第7期
   本文提出了一种面向对象测试中定义-清除路径(DC路径)生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径。这样产生的路径考虑了对象状态迁移,能够发现类中方法与变量之间交互作用时发生的错误,并精简了定义-使用路径(DU路径)组成的测试用例集。    

14.  EFSM模型的字符串类型测试数据自动生成  
   尤枫  边毅  赵瑞莲《计算机工程与应用》,2014年第16期
   基于软件描述模型的测试数据自动生成研究中,字符串类型测试数据生成是一个研究热点和难点。EFSM模型是一种重要的软件描述模型。分析了EFSM模型的特点,针对面向EFSM模型目标路径的字符串测试数据生成,建立了字符串输入变量模型和操作模型,结合静态测试的特点,给出了通过字符串变量模型在目标路径上的符号执行结果生成字符串类型测试数据的方法。实验结果表明,该方法能够达到预期效果,提高测试生成效率。    

15.  基于UML状态图的类测试用例自动生成方法  被引次数:15
   张毅坤  施凤鸣  姚全珠  刘军  付长龙《计算机工程》,2003年第29卷第21期
   UML作为面向对象软件开发的事实上的标准建模语言,近年来得到了广泛的应用,基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合,提出了一种基于UML状态图的类的测试用例自动生成方法。    

16.  EFSM可执行状态验证序列的生成  被引次数:4
   舒挺  魏仰苏  吴柏青  孟兆航《北京邮电大学学报》,2007年第29卷第2期
   在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中,为了解决状态验证序列的可执行性问题,提出了一种新的可执行状态验证序列(ESIS)生成算法。新算法基于宽度优先搜索可执行分析树(EAT)的思想,从状态验证需求的角度,在EFSM的状态格局投影子空间中,采用分步计算的方式生成具体验证场景下的最短可执行状态验证序列,从而减少了在完全状态格局空间中单步计算所有状态验证序列的复杂性。实验结果表明了新算法对生成EFSM可执行状态验证序列是有效的。    

17.  扩展有限状态机的依赖图构造及切片算法  
   韩喆  陈世鸿《小型微型计算机系统》,2011年第32卷第4期
   将切片技术引入扩展有限状态机模型,可根据兴趣点约减状态及变迁数,对模型的分析与测试有重要意义.由于EFSM模型基于变迁的依赖关系,传统的依赖图构造算法及基于标记已访问节点的切片算法并不适用.通过研究EFSM模型依赖关系的可传递性,提出EFSM模型的两级结构依赖图EPDG(EFSM Program Dependence Graph),使用变迁及其子节点分别表示控制依赖及数据依赖,将EFSM模型的切片转化为图形可达性问题,并给出EPDG的构造算法及切片算法,运用实例与已有成果做对比实验.    

18.  化工过程EFSM模型的应用  
   史晟辉  徐圆  朱群雄《控制与决策》,2014年第11期
   扩展有限状态机(EFSM)是一种构造模型的形式化描述语言.首先根据化工过程特征,改进EFSM模型和数据依赖关系,构建变量、状态及相互之间转换条件和动作的化工过程EFSM描述模型;然后提出化工过程变量之间的静、动态依赖关系和故障传播路径的分析方法;最后通过典型化工过程CSTR仿真应用验证了EFSM模型描述及分析方法的可行性和有效性,为工业过程的故障传播分析提供一种新的思路和方法.    

19.  一种基于EFSM的变电站通信协议一致性测试模型描述方法  
   王延安  余义传  张丹  肖登明《电力自动化设备》,2008年第28卷第4期
   在IEC60870-5-6和IEC61850第10部分:一致性测试,2个关于变电站通信协议一致性标准正式颁布的情况下,描述通信协议的一致性测试模型成为开发一致性测试工具的关键。通过对变电站通信协议一致性测试文本和有限状态机(FSM)的分析,定义并提出了基于扩展有限状态机(EFSM)的变电站通信协议的一致性测试模型的描述方法。该方法突出了信息交互过程的各个事件,克服了传统流程图描述法的繁琐性。以IEC60870-5-103协议的通用分类服务功能"读单个条目的目录"测试为例,分别进行了EFSM和流程图法比较建模,体现出该方法的简练性和严谨性。    

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

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号