EFSM模型

作品数：16被引量：35H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：赵瑞莲魏丹陈滨王兴起方景龙更多>>
相关机构：北京化工大学杭州电子科技大学苏州市职业大学电子科技大学更多>>
相关期刊：《计算机应用》《内蒙古大学学报（自然科学版）》《海军工程大学学报》《计算机学报》更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金国防科技技术预先研究基金教育部“新世纪优秀人才支持计划”更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于EFSM模型的可执行回归测试数据生成方法被引量：1
《海军工程大学学报》2023年第6期83-90,共8页于嘉维 徐成成 徐兴华 鲍先强 邱少华 
海军工程大学自主立项基金资助项目(202250E010)。
基于扩展有限状态机(extened finite state machine,EFSM)的回归测试过程中,传统的可执行测试数据生成方法由于没有充分利用软件变更信息,在对模型分支错误进行检测时效率较低。为此,提出了一种基于EFSM模型融合的可执行回归测试数据生...
关键词：回归测试 EFSM 可执行数据 模型融合 约束表达式 
基于EFSM模型的铁路信号安全软件单元测试技术研究
《铁路计算机应用》2023年第10期68-73,共6页王飞 李一楠 孙文哲 赵晓宇 刘雅晴 
中国国家铁路集团有限公司科技研究开发计划(P2021G012);中国铁道科学研究院集团有限公司科研项目(2022YJ193);北京华铁信息技术有限公司科研项目(2022HT14)。
铁路信号安全软件内部逻辑复杂,通过充分的单元测试能够更好地发现和排除软件内部的缺陷。文章分析单元测试常用方法,并结合铁路信号安全软件单元测试技术要求,提出一种基于扩展有限状态机(EFSM,Enhanced Finite State Machine)模型的...
关键词：铁路信号安全软件 单元测试 白盒测试 黑盒测试 扩展有限状态机(EFSM) CANTATA 
基于粒子群算法的EFSM模型的测试用例自动生成被引量：1
《电子技术与软件工程》2020年第15期45-47,共3页周燕彬 
本文分析了常用的遗传算法和模拟退火算法在测试用例自动生上的优缺点,提出了基于粒子群算法的EFSM模型测试用例自动生成,并通过实验验证其可行性,以及此方法在测试用例的生成效率上有较大提高。测试用例的生成是软件测试中的一项不可...
关键词：软件测试 EFSM模型 粒子群算法 测试用例 自动生成 
基于Session的Web应用软件EFSM模型构建方法研究被引量：6
《计算机科学》2018年第4期203-207,214,共6页郭俊霞 郭仁飞 许南山 赵瑞莲 
国家自然科学基金(61672085)资助
在Web应用软件模型表示研究领域中,研究对象主要为不含Ajax技术的应用程序。少数针对Ajax(Asynchronous JavaScript and XML)的模型构建采用传统的FSM模型表示方法,并不能描述客户端消息触发后的参数传递问题;在FSM模型的基础上引入UML...
关键词：WEB应用软件 用户Session数据 AJAX EFSM模型 
基于EFSM不定型切片测试用例自动生成的研究被引量：5
《计算机研究与发展》2017年第3期669-680,共12页苏宁 郭俊霞 李征 赵瑞莲 
国家自然科学基金项目(61170082;61472025);教育部新世纪优秀人才支持计划项目(NCET-12-0757)~~
基于模型的测试是软件测试中一个重要分支,但随着模型规模的增大,测试用例生成也变得越来越困难.扩展有限状态机(extended finite state machine,EFSM)是一种广泛应用的模型,它是对有限状态机(finite state machine,FSM)的扩展,能够更...
关键词：EFSM模型 依赖性分析 切片 测试用例生成 测试用例补全 
基于UML建模的软件测试系统设计被引量：2
《电子设计工程》2016年第21期57-59,共3页陈锐忠 魏理豪 梁哲恒 
针对当前UML建模在软件设计中的广泛应用,提出一种基于模型的软件自动化测试方案。为实现测试方案,通过UML状态图对软件模型进行构建,同时利用EFSM模型生成路径转换序列,借助Petri网的可覆盖性、可达性,将UML状态图转换为Petri网,再通过...
关键词：UML建模 软件测试 EFSM模型 PETRI网 用例生成 
抽象精化和可满足性结合的EFSM模型测试用例优化生成被引量：2
《计算机学报》2016年第11期2236-2252,共17页陆公正 缪淮扣 
国家自然科学基金(61170044;61572306);上海市重点学科建设项目基金(J50153);苏州市职业大学预研基金(SVU2015YY01)资助~~
基于模型的测试是测试自动化的重要手段,通常采用模型检验技术从系统模型自动生成测试用例集,但生成的测试用例集往往存在冗余,这将影响测试用例执行的性能和成本.该文以扩展有限状态机(Extended Finite Machine,EFSM)为建模工具,根据...
关键词：测试用例约简 扩展有穷状态机 公式簇 抽象 反例引导的精化 可满足性 
EFSM模型的字符串类型测试数据自动生成
《计算机工程与应用》2014年第16期57-61,共5页尤枫 边毅 赵瑞莲 
国家自然科学基金(No.61073035;No.61170082);中央高校基本科研业务费专项资金资助(No.ZZ1224)
基于软件描述模型的测试数据自动生成研究中,字符串类型测试数据生成是一个研究热点和难点。EFSM模型是一种重要的软件描述模型。分析了EFSM模型的特点,针对面向EFSM模型目标路径的字符串测试数据生成,建立了字符串输入变量模型和操作模...
关键词：扩展有限状态机 测试数据生成 字符串 静态分析 
EFSM模型字符串测试数据自动生成研究
《计算机工程与设计》2014年第6期1968-1972,共5页尤枫 刘宜桦 赵瑞莲 
国家自然科学基金项目(61073035;61170082)
字符串测试数据自动生成是目前的研究难点,还没有很好地解决方法。针对这个问题,提出了一种将符号执行约束求解与搜索算法相结合实现基于EFSM模型的字符串测试数据自动生成方法。将测试数据候选字符集中的字符通过取余编码转换为整数;...
关键词：扩展有限状态机 符号执行 搜索算法 测试数据生成 字符串 
EFSM模型动态解释技术的研究被引量：2
《工业控制计算机》2012年第2期75-77,共3页徐俊 舒挺 贾宇波 宋瑾钰 
国家自然科学基金(61101111);浙江理工大学科研基金(1004839-Y)
扩展有限状态机EFSM模型行为的动态解释是基于EFSM模型协议一致性测试中的关键技术之一。首先深入探讨了两类经典的模型行为解释技术:基于编译的方法和基于第三方软件扩展接口的方法。然后,在分析两类方法优缺点的基础上,提出了一种基...
关键词：EFSM模型 动态脚本 通信协议 一致性测试 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部