自适应EFSM可执行测试序列生成
基于扩展有限状态机(EFSM)模型自动生成测试序列可以提高测试效率.由于EFSM模型包含丰富的变量和谓词条件,它们之间的冲突可能导致自动生成的测试序列不可执行.对EFSM变迁及变迁之间的关联关系进行了详细的讨论和分析,定义了一个邻接变迁关联图,提出了一种自适应EFSM可执行测试序列生成算法.新算法首先根据变量和谓词包含情况对变迁进行分类,然后深入挖掘了邻接变迁之间的关联关系,最后,基于自适应预测搜索函数启发式引导可达性分析树扩展生成可执行的测试序列.实验数据表明,与宽度优先可达性分析方法相比,新算法可以有效降低可达性分析过程中产生状态空间爆炸问题的概率,从而提高测试序列自动生成的效率.在最坏的情况下,新算法的计算时空复杂度也等同于宽度优先算法.
文件下载
评论信息
其他资源
- 南航机床数控技术课程设计
- 电子-战舰amp精英F103TIM3完全重映射测试PC6PC7PC8PC9.rar
- .net经典ERP管理系统完整源码(多层架构） c#2019
- 凸分析与非光滑分析(胡毓达)
- boid模型的Matlab程序
- CC2530仿真器原理图与PCB
- 2021年数据建模美赛必备LATEX模板
- 点餐系统vue源码
- 重机PM-1 3.20破解版
- plsql developer ，汉化完美破解版（64位）
- 劳顿管理信息系统13版习题集
- 数字图像处理教案
- kernel-debuginfo-common-x86_64-2.6.32-358.el6.x86_64.rpm
- 财务小管家 - 2015.7z
- 马的Hamilton周游路线问题（国际象棋）
- 南理工考研微机原理真题
- 自动检测技术及应用（第2版）课件 （第十章（上） 光电传感器）.ppt
- 基础算法 第9章 第1节 动态规划基础(C++版)-2021.02.01.pdf
- jdk7源代码（内含jsse源代码）
- measure theory I
- DevExpress NET v8.1.3(完美安装+破解+汉化+说明).part07.rar
- 图的深度遍历和广度遍历
- 华为HCIA-Cloud_Computing云计算 题库1
- 可进行3D预览的电影院座位预定系统特效
- 项目管理文档
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明