检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

扩展有限状态机的依赖图构造及切片算法

小型微型计算机系统 2011年第4期32卷 577-583页

作者：韩喆陈世鸿武汉大学计算机学院湖北武汉430074

将切片技术引入扩展有限状态机模型,可根据兴趣点约减状态及变迁数,对模型的分析与测试有重要意义.由于EFSM模型基于变迁的依赖关系,传统的依赖图构造算法及基于标记已访问节点的切片算法并不适用.通过研究EFSM模型依赖关系的可传递性,... 详细信息

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

关键词：程序切片扩展有限状态机依赖图变迁

基于扩展有限状态机和断言的总线接口协议测试平台

在线全文

学校读者我要写书评

暂无评论

天津大学学报 2008年第8期41卷 951-956页

作者：史再峰姚素英丁三川高静天津大学电子信息工程学院天津300072

在SoC设计流程中,传统的仿真验证方法存在可观察及可控制性较差、自动化水平低等缺陷.为此,提出了一种基于扩展有限状态机(EFSM)和断言的SoC接口协议测试平台,该平台是一种自反馈测试平台,它不仅可以自动产生大量符合协议规范的测试激... 详细信息

在SoC设计流程中,传统的仿真验证方法存在可观察及可控制性较差、自动化水平低等缺陷.为此,提出了一种基于扩展有限状态机(EFSM)和断言的SoC接口协议测试平台,该平台是一种自反馈测试平台,它不仅可以自动产生大量符合协议规范的测试激励矢量,而且可以通过对断言统计信息的反馈提供多种偏置选择,从而进一步提高验证的自动化水平.将该平台用于对视频后处理芯片中Wishbone总线接口协议的功能验证当中,验证结果表明,该平台可以缩短仿真验证时间大约55%～65%左右,有效地提高了验证的效率和质量.

关键词：总线接口协议验证扩展有限状态机断言测试平台

基于扩展有限状态机的SCA符合性测试方法研究

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 2021年第16期57卷 263-268页

作者：伍旭东唐麒张伟张健魏急波王一军中南大学计算机学院长沙410083 国防科技大学电子科学学院长沙410073 中南大学自动化学院长沙410083

软件通信体系结构(Software Communication Architecture,SCA)标准是针对软件无线电设备缺乏互操作性而制定的标准,通过定义设备组件对底层的硬件进行屏蔽,实现上层应用与底层硬件相互分离,SCA符合性测试通过验证实际的应用是否符合SCA... 详细信息

软件通信体系结构(Software Communication Architecture,SCA)标准是针对软件无线电设备缺乏互操作性而制定的标准,通过定义设备组件对底层的硬件进行屏蔽,实现上层应用与底层硬件相互分离,SCA符合性测试通过验证实际的应用是否符合SCA标准中的定义,从而保证应用的跨平台性与通用性。当前国内外对SCA符合性测试的研究较少,测试过程中存在诸多问题,如各需求的测试之间存在依赖关系,某些需求测试的进行可能造成后续需求测试无法执行等,导致目前缺乏自动化的测试方法。针对这些问题,提出了一种测试序列自动生成方法,并基于扩展有限状态机的基本原理构造了SCA符合性测试模型。该模型能够直观地反映测试过程,分析测试中软件无线电系统存在的各种状态,判断测试用例执行序列的可行性,指导测试序列的构建,再结合基于集合的贪心算法对测试序列集进行优化。实验结果表明该方法能有效地保证测试覆盖度,并且提升测试效率。

关键词：软件无线电软件通信体系结构(SCA) 符合性测试扩展有限状态机测试自动化

在线全文

学校读者我要写书评

暂无评论

基于扩展有限状态机测试序列生成方法研究

计算机工程与应用 2007年第7期43卷 62-64,74页

作者：蒋凡魏蓉郐吉丰中国科学技术大学计算机科学与技术系合肥230026

扩展有限状态机是对有限状态机的扩展,由于引入了变量、状态迁移的前置条件以及状态迁移所引起的操作,它的测试序列存在可执行性问题。讨论了基于扩展有限状态机的测试序列生成方法的主要特点及局限性,指出了有待进一步研究的若干问题。

关键词：扩展有限状态机有限状态机测试序列生成数据流测试可执行性

在线全文

学校读者我要写书评

暂无评论

基于扩展有限状态机模型的故障检测

计算机应用研究 2009年第7期26卷 2583-2585,2589页

作者：李蕊李永亮李仁发张焱湖南大学计算机与通信学院长沙410082

提出了基于扩展有限状态机的故障检测模型和检测算法。该模型对软件中的故障进行了形式化定义和描述,检测算法对故障模型中的状态变迁进行缩减,检测故障模型的部分状态变迁,进而可以有效缓解状态空间过大而引起的时间和空间效率问题,从... 详细信息

提出了基于扩展有限状态机的故障检测模型和检测算法。该模型对软件中的故障进行了形式化定义和描述,检测算法对故障模型中的状态变迁进行缩减,检测故障模型的部分状态变迁,进而可以有效缓解状态空间过大而引起的时间和空间效率问题,从而最大限度地发现被测系统中的故障;最后给出了一个简单协议来加以分析和验证。实验表明,该算法可以快速准确地定位软件中故障发生的位置。

关键词：扩展有限状态机故障模型故障检测

基于扩展有限状态机的诱骗服务器关键技术研究

在线全文

学校读者我要写书评

暂无评论

计算机科学 2004年第6期31卷 79-81页

作者：陈云芳王汝传杨学刚南京邮电学院计算机科学与技术系南京210003

作为防火墙和入侵检测的有效补充,诱骗服务器成为网络安全的越来越重要的部分,本文在对当前诱骗服务器的研究水平进行了仔细分析的基础之上,提出了使用有限状态机理论来构建诱骗服务器的方案,并对其中的关键技术做了详细阐述。

关键词：扩展有限状态机防火墙入侵检测诱骗服务器网络安全

一种基于扩展有限状态机的自动化测试用例生成方法

在线全文

学校读者我要写书评

暂无评论

中国科学：信息科学 2014年第5期44卷 588-609页

作者：杨瑞陈振宇张智轶刘子聪徐宝文南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

扩展有限状态机(EFSM)是使用最广泛的测试模型之一.由于不可行路径的存在,运用EFSM模型生成测试用例仍然是个难题.本文提出了一种基于EFSM模型的自动化测试用例生成方法 (ATGEM).为解决不可行路径问题,首先提出一种基于数据流分析的路... 详细信息

扩展有限状态机(EFSM)是使用最广泛的测试模型之一.由于不可行路径的存在,运用EFSM模型生成测试用例仍然是个难题.本文提出了一种基于EFSM模型的自动化测试用例生成方法 (ATGEM).为解决不可行路径问题,首先提出一种基于数据流分析的路径可行性度量方法来预测路径的可行性,以尽可能避开不可行路径,提高测试用例自动化生成的效率.然后通过建立动态可执行模型来获取运行时反馈信息作为搜索算法的适应度函数(fitness function),实现测试数据和预言信息的自动生成.该方法结合静态分析和动态分析技术生成一个较优可行路径子集和对应测试用例来达到指定的覆盖准则,能够应用于多种数据类型的测试用例生成,适用范围较广.通过实验在多个EFSM模型上验证了ATGEM方法中测试用例生成和路径可行性度量方法的有效性,实验结果表明,利用路径可行性度量方法可以大幅度提高测试用例生成效率,与现有方法相比,ATGEM中的测试用例生成方法具有更高的效率.

关键词：测试用例生成扩展有限状态机可执行模型路径可行性测试预言

基于扩展有限状态机软件测试用例自动生成的研究

在线全文

学校读者我要写书评

暂无评论

基于扩展有限状态机软件测试用例自动生成的研究

作者：年晓玲西南交通大学

学位级别：硕士

信息技术的飞速发展,使软件产品应用到社会的各个领域,软件产品的质量自然成为人们共同关注的焦点,软件测试是保证软件质量的重要手段之一。据统计,用于软件测试阶段的费用占软件开发总成本的50%左右,如此大的开销使得软件测试过程的自... 详细信息

信息技术的飞速发展,使软件产品应用到社会的各个领域,软件产品的质量自然成为人们共同关注的焦点,软件测试是保证软件质量的重要手段之一。据统计,用于软件测试阶段的费用占软件开发总成本的50%左右,如此大的开销使得软件测试过程的自动化成为必然,而实现测试过程自动化的关键是自动生成软件测试用例。测试用例自动生成这一技术的实现,将大大改变以往靠直觉、经验生成测试用例的传统做法,无疑将使软件测试的效率显著提高,同时减轻人们在编写大量测试用例过程中所付出的劳动。因此,开展软件测试用例生成技术的研究,实现软件测试过程自动化有着十分重要的意义。本文对基于扩展有限状态机的测试用例自动生成进行了较为完整、系统的研究。重点分析了扩展有限状态机中状态迁移路径不可执行的问题,并对初始的扩展有限状态机进行了转换,使得状态迁移不再受前置条件的影响。经过转换后得到的确定的扩展有限状态机,可以直接使用基于有限状态机的U方法生成测试输入序列,从而完成基于扩展有限状态机测试序列的自动生成。在自动选取测试输入数据时,本文将测试输入序列引发的各状态迁移中包含的表达式转化为正规表达式,并利用测试序列上的状态迁移中包含的前置条件缩减输入变量的取值区间,以利于使用“分段梯度最优下降算法”快速收敛。在“分段梯度最优下降算法”无法正确产生输入变量值的情况下,本文给出的缩减后的区间可以减轻测试人员手工产生测试输入数据的工作量,部分达到了软件测试输入数据生成自动化的初衷。本文所进行的基于扩展有限状态机的测试用例自动生成的研究,是面向对象软件类测试中基于状态的测试的基础。由于EFSM模型能够更加精确的描述软件系统的行为,因此,它被广泛应用于面向对象软件系统中对象的行为以及对象之间的交互中。同时,由

关键词：面向对象软件测试扩展有限状态机状态迁移前置条件正规表达式区间缩减

基于扩展有限状态机的定义-清除路径的生成方法

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

计算机工程与科学 2006年第7期28卷 67-69页

作者：卢炎生雷波谢晓东毛澄映华中科技大学计算机科学与技术学院湖北武汉430074

本文提出了一种面向对象测试中定义-清除路径(DC路径)生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径。这样产生的路径考虑了对象状态迁移,能够发现类中方法与变量之间交... 详细信息

本文提出了一种面向对象测试中定义-清除路径(DC路径)生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径。这样产生的路径考虑了对象状态迁移,能够发现类中方法与变量之间交互作用时发生的错误,并精简了定义-使用路径(DU路径)组成的测试用例集。

关键词：类单元测试扩展有限状态机定义-使用路径定义-清除路径测试用例