EFSM

作品数：54被引量：78H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：舒挺赵瑞莲朱群雄徐圆王晓峰更多>>
相关机构：北京化工大学浙江理工大学中国科学技术大学湖南大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机研究与发展x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于EFSM不定型切片测试用例自动生成的研究被引量：5
《计算机研究与发展》2017年第3期669-680,共12页苏宁 郭俊霞 李征 赵瑞莲 
国家自然科学基金项目(61170082;61472025);教育部新世纪优秀人才支持计划项目(NCET-12-0757)~~
基于模型的测试是软件测试中一个重要分支,但随着模型规模的增大,测试用例生成也变得越来越困难.扩展有限状态机(extended finite state machine,EFSM)是一种广泛应用的模型,它是对有限状态机(finite state machine,FSM)的扩展,能够更...
关键词：EFSM模型 依赖性分析 切片 测试用例生成 测试用例补全 
自适应EFSM可执行测试序列生成被引量：3
《计算机研究与发展》2012年第6期1211-1219,共9页舒挺 刘良桂 徐伟强 李文书 
国家自然科学基金项目(61101111;61002016;60702081);浙江省自然科学基金项目(Y1090980);浙江理工大学科研启动基金项目(Y1090980)
基于扩展有限状态机(EFSM)模型自动生成测试序列可以提高测试效率.由于EFSM模型包含丰富的变量和谓词条件,它们之间的冲突可能导致自动生成的测试序列不可执行.对EFSM变迁及变迁之间的关联关系进行了详细的讨论和分析,定义了一个邻接变...
关键词：自适应搜索 扩展有限状态机 状态格局 可达性分析 测试序列 
一种改进的基于EFSM变迁依赖图的协议测试序列生成算法
《计算机研究与发展》2010年第S1期79-85,共7页陈昱松 聂剑平 景博 崔楠 
为兼顾协议测试中数据流和控制流两个方面,以扩展有限状态机模型及其变迁依赖图为基础,对结合控制流与数据流生成测试序列的方法进行了研究探索.在数据流测试中,为了解决传统静态数据流分析方法中,因标记已访问变迁结点导致的测试路径...
关键词：协议测试 变迁依赖图 数据流 控制流 测试序列 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部