EFSM

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用研究x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于分支界限搜索的EFSM协议测试序列生成算法被引量：2
《计算机应用研究》2013年第5期1349-1352,共4页尤娟 李俊全 夏松 
针对EFSM中状态迁移不确定导致的协议一致性测试序列生成困难的问题,提出了一种协议一致性测试序列生成算法。该算法基于互异代表系理论为每个协议状态变迁赋权值,再基于分支界限法搜索生成的协议测试序列,将协议一致性测试序列的生成...
关键词：协议一致性测试 测试序列生成 扩展有限状态机 赋权值 互异代表系 分支界限法 
基于EFSM用户自定义故障模型的测试集生成
《计算机应用研究》2009年第9期3388-3391,共4页李永亮 李蕊 李仁发 张焱 
提出了一种用户自定义故障的EFSM测试集生成方法。该方法应用EFSM切片对EFSM模型进行合理的缩减,有效地避免了从EFSM到FSM转换得到测试集而产生状态空间爆炸的问题,也得到最短的测试用例集合。实验结果表明了新算法对生成最短EFSM测试...
关键词：扩展有限状态机(EFSM) 用户自定义故障 一致性测试 测试生成 
面向对象的类的状态测试技术研究被引量：5
《计算机应用研究》2005年第12期69-72,共4页龚红仿 李军义 高捷 童小娇 
国家自然科学基金资助项目(60474070);湖南省教育厅科研项目(05C263)
从类的状态模式、状态转移图以及UML状态图等三方面讨论了类的状态测试问题,提出了基于UML类图的类的状态模式测试用例生成方法,介绍了基于状态转移图的类测试方法及其对象状态测试模式在类的状态测试中的运用,讨论了基于UML状态图的测...
关键词：类的状态测试 状态模式 状态转移图 EFSM UML 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部