-

检索结果分析

结果分析中...
检索条件:"关键词=EFSM模型 "
条 记 录,以下是1-6
视图:
排序:
显示条数:
EFSM模型动态解释技术的研究被引量:2
《工业控制计算机》2012年第2期75-77,共3页徐俊 舒挺 贾宇波 宋瑾钰 
国家自然科学基金(61101111);浙江理工大学科研基金(1004839-Y)
扩展有限状态机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模型的测试用例自动生成被引量:1
《电子技术与软件工程》2020年第15期45-47,共3页周燕彬 
本文分析了常用的遗传算法和模拟退火算法在测试用例自动生上的优缺点,提出了基于粒子群算法的EFSM模型测试用例自动生成,并通过实验验证其可行性,以及此方法在测试用例的生成效率上有较大提高。测试用例的生成是软件测试中的一项不可...
关键词:软件测试 EFSM模型 粒子群算法 测试用例 自动生成 
基于扩展有限状态机的一致性测试例生成研究被引量:1
《福建电脑》2004年第7期38-39,共2页韩冰青 张亚图 明朝辉 
本文主要讨论基于扩展有限状态机的一致性测试例的生成方法,研究一种动态选择与自动机相结合的一致性测试集的生成技术,该技术可以对测试集进行有效优化,并能提高生成测试集的覆盖率。
关键词:扩展有限状态机 一致性测试 测试例 网络通信 EFSM模型 UIO方法 
基于UML建模的软件测试系统设计被引量:2
《电子设计工程》2016年第21期57-59,共3页陈锐忠 魏理豪 梁哲恒 
针对当前UML建模在软件设计中的广泛应用,提出一种基于模型的软件自动化测试方案。为实现测试方案,通过UML状态图对软件模型进行构建,同时利用EFSM模型生成路径转换序列,借助Petri网的可覆盖性、可达性,将UML状态图转换为Petri网,再通过...
关键词:UML建模 软件测试 EFSM模型 PETRI网 用例生成 
基于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模型 
检索报告 对象比较 聚类工具 使用帮助 返回顶部