扩展有限状态机

作品数：58被引量：118H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：尹霞王之梁姚姜源施新刚舒挺更多>>
相关机构：北京化工大学清华大学浙江理工大学中国科学技术大学更多>>
相关期刊：《攀枝花学院学报》《电子科技文摘》《电力自动化设备》《信息工程大学学报》更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金国防科技技术预先研究基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于覆盖准则的多轮测试用例优先排序方法
《软件工程》2024年第10期60-63,共4页何展翔 舒挺 
针对测试用例优先排序中存在的覆盖准则选择困难、确定最优准则序列难等问题,提出了一种基于扩展有限状态机模型的最优覆盖准则序列排序方法(CWTCP)。该方法首先运用鲸鱼优化算法挑选出最优覆盖准则序列,为后续的排序提供了有力支持;其...
关键词：回归测试 覆盖准则 鲸鱼优化算法 扩展有限状态机 
面向全迁移的小规模EFSM测试序列集生成方法
《哈尔滨工业大学学报》2023年第10期27-39,共13页段嘉奇 林明达 周晴 
民用航天技术“十三五”预先研究基金(B0204)。
针对在扩展有限状态机(extended finite state machine,EFSM)模型上测试序列集生成效率低、规模大等问题,提出了一种面向全迁移的小规模测试序列集生成方法。该方法基于改进的自适应多种群遗传算法(improved adaptive multi-population ...
关键词：扩展有限状态机 测试序列集生成 自适应 多种群 遗传算法 
基于EFSM模型的铁路信号安全软件单元测试技术研究
《铁路计算机应用》2023年第10期68-73,共6页王飞 李一楠 孙文哲 赵晓宇 刘雅晴 
中国国家铁路集团有限公司科技研究开发计划(P2021G012);中国铁道科学研究院集团有限公司科研项目(2022YJ193);北京华铁信息技术有限公司科研项目(2022HT14)。
铁路信号安全软件内部逻辑复杂,通过充分的单元测试能够更好地发现和排除软件内部的缺陷。文章分析单元测试常用方法,并结合铁路信号安全软件单元测试技术要求,提出一种基于扩展有限状态机(EFSM,Enhanced Finite State Machine)模型的...
关键词：铁路信号安全软件 单元测试 白盒测试 黑盒测试 扩展有限状态机(EFSM) CANTATA 
基于扩展有限状态机的SCA符合性测试方法研究被引量：3
《计算机工程与应用》2021年第16期263-268,共6页伍旭东 唐麒 张伟 张健 魏急波 王一军 
国家自然科学基金(U1734208)。
软件通信体系结构(Software Communication Architecture,SCA)标准是针对软件无线电设备缺乏互操作性而制定的标准,通过定义设备组件对底层的硬件进行屏蔽,实现上层应用与底层硬件相互分离,SCA符合性测试通过验证实际的应用是否符合SCA...
关键词：软件无线电 软件通信体系结构(SCA) 符合性测试 扩展有限状态机 测试自动化 
状态驱动的电力信息系统注入漏洞检测模型被引量：3
《计算机工程与设计》2021年第3期614-621,共8页殷博 刘磊 朱静雯 许静 
国家电网公司总部科技基金项目(SGTJDK00DWJS1900105)。
SQL注入漏洞是危害最为严重的电力Web信息系统漏洞之一,且其隐蔽性、逻辑性和时序性等特点不断增强,传统漏洞分析方法已难以满足当前的检测要求,造成准确度不足的问题。对此,提出一种状态驱动的电力Web信息系统SQL注入漏洞安全特征分析...
关键词：电力信息系统 安全漏洞 扩展有限状态机 安全测试 SQL注入漏洞 
基于扩展有限状态机测试用例生成方法被引量：2
《电子设计工程》2020年第6期97-100,106,共5页王蒙蒙 罗杨 
湖南省教育厅科学研究重点项目(16A182)。
目前,扩展有限状态机的测试问题为基于扩展有限机模型获取合适的迁移路径,然后根据这些路径导出测试数据。针对提高基于扩展有限状态机模型生成测试用例效率的目的,采用了将扩展有限状态机模型状态迁移图转换为状态迁移树的方法,通过对...
关键词：状态迁移树 迁移路径 扩展有限状态机 测试路径 
基于任务的舰船装备软件测试技术研究被引量：6
《计算机测量与控制》2020年第3期72-78,共7页何伟 沈晓美 刘泊江 韩新宇 唐龙利 
针对基于任务的舰船装备软件进行测试时,缺乏任务需求的系统化分析与描述手段、难以从任务执行层面有效生成测试用例、不支持跨平台测试的自动化执行等问题,对舰船装备软件任务分析与建模、基于任务模型的舰船装备软件测试用例生成及舰...
关键词：扩展有限状态机 舰船装备软件 任务分析与建模 测试用例生成 测试自动化执行 
基于EFSM的最小测试用例集生成方法被引量：1
《计算机工程与设计》2019年第9期2502-2506,共5页陈孔婷 王兴起 
浙江省自然科学基金项目(LQ16F020006、LY17F020023)
影响测试成本的主要因素是测试用例集规模和测试用例的总长度,为降低测试成本,对测试用例生成技术进行研究,提出一种基于集合覆盖理论的最小测试用例集生成方法。设计迁移覆盖算法,其中引入关键迁移概念,设计最小测试用例集算法用于合...
关键词：扩展有限状态机 最小测试用例集 迁移覆盖 测试成本 测试效率 
基于无关变量分离的EFSM测试数据进化生成被引量：2
《北京航空航天大学学报》2019年第5期919-929,共11页潘雄 郝帅 苑政国 宋凝芳 
扩展有限状态机(EFSM)相比于有限状态机(FSM)能够更加精确地刻画系统的动态行为,因而广泛作为各种控制流与数据流系统的测试模型。在EFSM模型的测试中,使用搜索的方法获得触发目标测试路径的测试数据是近年来的一个研究热点。为进一步...
关键词：软件测试 扩展有限状态机(EFSM) 测试数据生成 遗传算法(GA) 空间缩减 无关变量分离 
ALL-Uses覆盖引导的回归测试用例生成方法被引量：1
《计算机工程与科学》2017年第12期2278-2289,共12页于嘉维 贲可荣 
基于扩展有限状态机(EFSM)的回归测试过程需要根据依赖关系变化对软件所做修改的影响域进行分析。为了针对软件某一功能进行修复,通常需要对多处代码进行同步修改,已有依赖分析方法在这种情况下暴露模型中触发条件和行为语句错误的效率...
关键词：扩展有限状态机 回归测试 ALL—Uses 依赖分析 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部