EFSM

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=小型微型计算机系统x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Web应用程序的用户非预期行为测试模型的研究
《小型微型计算机系统》2008年第6期1004-1006,共3页荣祺 高建华 
国家自然科学基金项目(60673067)资助;上海市自然科学基金项目(04ZR14105)资助;上海应用技术学院青年教师科研基金项目(QJ2005-02)资助
现有Web应用程序测试模型默认前提是将Web应用程序软件行为等同于其他传统软件,而忽略了Web应用程序中用户的非预期行为将可能影响软件应有的逻辑,导致软件行为失效,针对这一问题,本文在分析现有测试模型,测试策略与算法的基础上,提出...
关键词：WEB应用 用户非预期行为 测试模型 EFSM(扩展有限状态机) 
基于EFSM的自检测试被引量：2
《小型微型计算机系统》2002年第4期438-440,共3页周晓煜 赵保华 屈玉贵 
国家自然科学基金重大研究计划项目 ( 90 10 40 10 )资助;国家 86 3计划项目 ( 2 0 0 1AA112 0 6 2 )资助;教育部博士点基金项目 ( 2 0 0 0 0 35 80 2 )资助 ;安徽省自然科学基金项目 ( 0 10 42 2 0 8)资助
在 EFSM (Extended Finite State Machine)的测试中 ,通常需要一些特征序列来判断当前的状态 ,以确定是否存在转换错误 .由于 EFSM中转换可执行条件的存在 ,使这些序列的生成比较困难 .本文引入了自检测试思想 ,通过比较待测实现与从 E...
关键词：扩展有限状态机 自检测试 通信协议 一致性测试 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部