云南高校图书馆联盟文献共享服务平台- EFSM

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

基于EFSM的智能车间制造系统生产物流建模与仿真被引量：1: 《系统仿真学报》2023年第12期2655-2668,共14页李柳臻金超林廷宇朱耀琴; 装备发展部预先研究项目(50904040201)。; 制造业的生产物流方式处于不断变革中,对其建模仿真可为制造系统规划设计、分析及改造提供决策支持。依“人-机-物-环-法”分类给出了智能车间制造系统中实体元素的描述,结合EFSM(extended finite state machine)和组件化建模思想,建立...; 关键词：生产物流建模与仿真 EFSM(extended finite state machine) 组件化建模 DEVS(discrete event system specification) 多作业建模

基于EFSM模型的可执行回归测试数据生成方法被引量：1: 《海军工程大学学报》2023年第6期83-90,共8页于嘉维徐成成徐兴华鲍先强邱少华; 海军工程大学自主立项基金资助项目(202250E010)。; 基于扩展有限状态机(extened finite state machine,EFSM)的回归测试过程中,传统的可执行测试数据生成方法由于没有充分利用软件变更信息,在对模型分支错误进行检测时效率较低。为此,提出了一种基于EFSM模型融合的可执行回归测试数据生...; 关键词：回归测试 EFSM 可执行数据模型融合约束表达式

面向全迁移的小规模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

An EFSM-Based Test Data Generation Approach in Model-Based Testing被引量：1: 《Computers, Materials & Continua》2022年第6期4337-4354,共18页Muhammad Luqman Mohd-Shafie Wan Mohd Nasir Wan Kadir Muhammad Khatibsyarbini Mohd Adham Isa Israr Ghani Husni Ruslai; The research was funded by Universiti Teknologi Malaysia(UTM)and the MalaysianMinistry of Higher Education(MOHE)under the Industry-International Incentive Grant Scheme(IIIGS)(Vote Number:Q.J130000.3651.02M67 and Q.J130000.3051.01M86);the Aca-demic Fellowship Scheme(SLAM).; Testing is an integral part of software development.Current fastpaced system developments have rendered traditional testing techniques obsolete.Therefore,automated testing techniques are needed to adapt to such system...; 关键词：Model-based testing test case generation test data generation combinatorial testing extended finite state machine

基于使用场景的时间扩展EFSM建模与完整性验证: 《计算机系统应用》2021年第12期163-171,共9页刘卓媛尤枫赵瑞莲尚颖; 国家自然科学基金(62077003,6187202)。; 为了提高嵌入式实时系统软件的质量和可靠性,采用基于模型的软件测试方法是最有效的途径之一.但是,由于该类软件具有实时特性且十分复杂,一般的模型通常缺乏对其实时特性以及软件行为的描述,且需要丰富的专业领域知识才能将其建立的较...; 关键词：使用场景时间约束时间扩展EFSM 模型完整性验证

基于EFSM的最小测试用例集生成方法被引量：1: 《计算机工程与设计》2019年第9期2502-2506,共5页陈孔婷王兴起; 浙江省自然科学基金项目(LQ16F020006、LY17F020023); 影响测试成本的主要因素是测试用例集规模和测试用例的总长度,为降低测试成本,对测试用例生成技术进行研究,提出一种基于集合覆盖理论的最小测试用例集生成方法。设计迁移覆盖算法,其中引入关键迁移概念,设计最小测试用例集算法用于合...; 关键词：扩展有限状态机最小测试用例集迁移覆盖测试成本测试效率

基于无关变量分离的EFSM测试数据进化生成被引量：2: 《北京航空航天大学学报》2019年第5期919-929,共11页潘雄郝帅苑政国宋凝芳; 扩展有限状态机(EFSM)相比于有限状态机(FSM)能够更加精确地刻画系统的动态行为,因而广泛作为各种控制流与数据流系统的测试模型。在EFSM模型的测试中,使用搜索的方法获得触发目标测试路径的测试数据是近年来的一个研究热点。为进一步...; 关键词：软件测试扩展有限状态机(EFSM) 测试数据生成遗传算法(GA) 空间缩减无关变量分离

基于遗传算法的面向多样性EFSM测试序列生成方法被引量：2: 《东南大学学报（自然科学版）》2017年第A01期176-182,共7页宋雨琪尚颖赵瑞莲; 国家自然科学基金资助项目(61472025;61672085); 为提高扩展有限状态机(EFSM)测试用例生成的效率及效果,提出了一种基于遗传算法的面向多样性EFSM测试用例集生成方法.在优化遗传算法个体编码和操作算子的基础上,引入EFSM测试序列集多样性度量,利用遗传算法,不断增加测试序列集中测试...; 关键词：可扩展有限状态机多样性遗传算法测试序列集生成

基于EFSM不定型切片测试用例自动生成的研究被引量：5: 《计算机研究与发展》2017年第3期669-680,共12页苏宁郭俊霞李征赵瑞莲; 国家自然科学基金项目(61170082;61472025);教育部新世纪优秀人才支持计划项目(NCET-12-0757)~~; 基于模型的测试是软件测试中一个重要分支,但随着模型规模的增大,测试用例生成也变得越来越困难.扩展有限状态机(extended finite state machine,EFSM)是一种广泛应用的模型,它是对有限状态机(finite state machine,FSM)的扩展,能够更...; 关键词：EFSM模型依赖性分析切片测试用例生成测试用例补全

EFSM