收藏本站
《青岛大学》 2009年
收藏 | 手机打开
二维码
手机客户端打开本文

基于EFSM的UIO序列的生成研究

董焕珍  
【摘要】: 基于扩展有限状态机的测试用例自动生成的研究,是面向对象软件类测试中基于状态的测试的基础。面向对象软件中类的行为可以用有限状态机模拟,对类的测试可以看作有限状态机的测试,其中应用较广的技术是唯一输入输出序列(UIO)技术。UIO序列的产生是一个NP问题。对这类问题,遗传算法可以有效地解决。 本文分析研究目前国内外已有的测试用例生成技术,对基于有限状态机的测试方法进行对比分析,比较各种方法的优缺点;针对扩展有限状态机(EFSM)中状态迁移不确定性导致的状态不可执行问题进行研究,提出全局状态转化方法,将EFSM转化成等价的确定的有限状态机,从而能利用发展较为成熟的FSM方法生成测试序列;在基于状态分裂树这一概念上研究如何把UIO序列的产生转化为搜索问题,描述用遗传算法产生UIO序列的基本思想,详细讨论应用遗传算法时遇到的一些问题,如编码、UIO序列有效校验、适应度函数定义等。初步试验证实了遗传算法解决UIO序列问题的适用性和可行性。
【学位授予单位】:青岛大学
【学位级别】:硕士
【学位授予年份】:2009
【分类号】:TP311.52

手机知网App
【参考文献】
中国期刊全文数据库 前2条
1 荚伟,奚红宇,高仲仪;遗传算法在软件测试数据生成中的应用[J];北京航空航天大学学报;1998年04期
2 单锦辉,王戟,齐治昌;面向路径的测试数据自动生成方法述评[J];电子学报;2004年01期
【共引文献】
中国期刊全文数据库 前10条
1 吴大宏,赵人达;基于遗传算法与神经网络的桥梁结构健康监测系统研究初探[J];四川建筑科学研究;2002年03期
2 张安勤;数据挖掘与进化算法[J];安徽教育学院学报;2002年03期
3 程家兴,陈万里;列车控制问题的计算分析及自适应算法[J];安徽大学学报(自然科学版);2002年02期
4 蒋中;遗传算法在PID参数优化中的应用[J];安徽建筑工业学院学报(自然科学版);2000年01期
5 阮怀忠,张建中;基于改进遗传算法的TSP问题求解[J];安徽建筑工业学院学报(自然科学版);2003年04期
6 陈杰,周冬华;浮点数编码的遗传算法在模糊控制器参数寻优中的应用[J];安徽建筑工业学院学报(自然科学版);2004年02期
7 方潜生;硬件进化(EHW)的研究与进展[J];安徽建筑工业学院学报(自然科学版);2004年06期
8 杨益;;基于FPGA的背包问题的求解[J];安徽建筑工业学院学报(自然科学版);2010年04期
9 刘艳华;张承中;王小平;龚葳;;基于遗传神经网络的采暖季PM_(10)浓度预测[J];安徽农业科学;2009年16期
10 陈祥生;梁栋;王会颖;;人工鱼群算法与遗传算法融合求解聚类问题研究[J];安徽农业科学;2010年36期
【同被引文献】
中国期刊全文数据库 前3条
1 朱玉文;刘俐;杨家宁;刘万春;;基于模型的有限状态机软件动态测试方法[J];北京化工大学学报(自然科学版);2007年S1期
2 吴辉;;软件测试及其发展展望[J];电脑知识与技术(学术交流);2007年16期
3 曹爽;张育平;;基于MC/DC生成测试用例方法研究[J];工业控制计算机;2010年02期
【二级参考文献】
中国期刊全文数据库 前1条
1 荚伟,高仲仪;基于遗传算法的软件结构测试数据生成技术研究[J];北京航空航天大学学报;1997年01期
【相似文献】
中国期刊全文数据库 前10条
1 刘健庄,谢维信,高新波;一种图象中基元检测的新方法[J];电子与信息学报;1997年02期
2 金耀初;蒋静坪;;基于遗传算法的模糊控制器分析[J];模式识别与人工智能;1997年01期
3 曹先彬;庄镇泉;;一种基于遗传算法的模糊规则生成方法[J];模式识别与人工智能;1997年02期
4 夏文,王华芝;遗传算法在多波束赋形天线优化中的研究[J];北京邮电大学学报;1998年04期
5 龙甫荟,郑南宁,张晓缋;基于多层感知遗传算法的图象分割新方法[J];控制理论与应用;1998年02期
6 刘莹,王宝树,马建峰,杨耆董;模糊聚合及遗传算法在多传感器数据融合中的应用[J];电子科技;1998年01期
7 黄海贇,戚飞虎;一种精确标定摄像机的遗传算法方案(英文)[J];红外与毫米波学报;2000年01期
8 徐小力,许宝杰,殷健;采用遗传算法的旋转机组状态趋势预测之探讨[J];机械科学与技术;2000年05期
9 陈勇,邓先灿;基于遗传算法的微波电路优化方法[J];微波学报;2000年S1期
10 于海斌,王浩波,徐心和;两代竞争遗传算法及其应用研究[J];信息与控制;2000年04期
中国重要会议论文全文数据库 前10条
1 周海清;王恭先;陈正汉;;基于面向对象遗传算法的抗滑桩优化设计程序的研制[A];中国土木工程学会第九届土力学及岩土工程学术会议论文集(下册)[C];2003年
2 吴建生;金龙;;基于实数编码的遗传算法神经网络预报建模研究[A];推进气象科技创新加快气象事业发展——中国气象学会2004年年会论文集(下册)[C];2004年
3 申元霞;张翠芳;;GA-BP算法在系统辨识中的应用[A];中国自动化学会、中国仪器仪表学会2004年西南三省一市自动化与仪器仪表学术年会论文集[C];2004年
4 刘辙;彭亮;崔广才;吴学礼;;混合遗传算法在车间调度中的应用[A];中国自动化学会全国第九届自动化新技术学术交流会论文集[C];2004年
5 曹春红;李文辉;张永坚;;遗传蚂蚁算法在几何约束求解中的应用[A];中国仪器仪表学会第六届青年学术会议论文集[C];2004年
6 姜楠;张春森;;遗传算法在图像模板匹配中的应用[A];高精度几何量光电测量与校准技术研讨会论文集[C];2008年
7 朱秀娥;周宝焜;;振动筛设计的遗传算法[A];福建省科协第三届学术年会装备制造业专题学术年会论文集[C];2003年
8 何奉道;梁向阳;;基于遗传算法的机车周转图优化编制方法[A];1999年中国神经网络与信号处理学术会议论文集[C];1999年
9 刘忠凯;薛正辉;任武;李伟明;高本庆;;用遗传算法优化八木天线[A];2005'全国微波毫米波会议论文集(第二册)[C];2006年
10 汝勇;杨树强;;遗传算法在历史性约束组合优化问题中的应用[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(上册)[C];2010年
中国重要报纸全文数据库 前10条
1 林京;《神经网络和遗传算法在水科学领域的应用》将面市[N];中国水利报;2002年
2 程爱娟;旅行推销员问题(TSP)的人工智能解法及其应用[N];新疆科技报(汉);2001年
3 中国科技大学计算机系 邢方亮;计算智能百花齐放[N];计算机世界;2003年
4 包家庆;IDS五大发展趋势[N];网络世界;2002年
5 郭明波;来自蝙蝠的启发[N];北京科技报;2001年
6 易水;IT新词集锦[N];计算机世界;2003年
7 李磊;让电子政务更聪明[N];计算机世界;2001年
8 高澜庆;矿山企盼智能化[N];中国矿业报;2000年
9 顾正华 唐洪武 肖洋 河海大学水利水电工程学院 李云 南京水利科学研究院水工研究所;水流智能模拟大步走来[N];中国水利报;2005年
10 特约记者 包国俊;我军“神鹰一号”空战智能仿真系统通过技术鉴定[N];光明日报;2001年
中国博士学位论文全文数据库 前10条
1 张旭;具有拓扑结构布局优化的理论及算法[D];大连理工大学;2004年
2 廖平;基于遗传算法的形状误差计算研究[D];中南大学;2002年
3 周明;高新技术产业投资环境系统研究[D];西北工业大学;2006年
4 张需溥;小型化微带天线的设计与数值分析[D];上海大学;2004年
5 杨春成;空间数据挖掘中聚类分析算法的研究[D];解放军信息工程大学;2004年
6 方娟;基于移动代理的网格资源监控技术的研究[D];北京工业大学;2005年
7 崔晓芳;箱型结构焊接变形预测、控制及应用[D];大连交通大学;2005年
8 张材;薄带坯铸轧板形智能识别与控制系统研究[D];中南大学;2004年
9 田方;遗传算法的改进研究及其在压缩机性能分析与优化中的应用[D];东北大学;2006年
10 谷峰;柔性作业车间调度中的优化算法研究[D];中国科学技术大学;2006年
中国硕士学位论文全文数据库 前10条
1 董焕珍;基于EFSM的UIO序列的生成研究[D];青岛大学;2009年
2 朱奉梅;遗传算法在高校排课系统中的研究与应用[D];东北大学;2009年
3 孙晓丽;基于遗传算法的既有线平面及纵断面整正优化设计[D];中南大学;2010年
4 冯秋霞;解最小生成树问题的新的遗传算法[D];西安电子科技大学;2010年
5 郭佳;基于遗传算法的认知无线网络资源分配技术研究[D];西安电子科技大学;2010年
6 宋品;基于改进遗传算法的波束形成技术研究及其应用[D];西安电子科技大学;2010年
7 梁云静;基于遗传算法的主题爬虫搜索策略研究[D];湖北工业大学;2010年
8 高建兵;基于遗传算法的模糊推理控制系统的参数优化研究[D];辽宁工程技术大学;2011年
9 李振业;多向变异遗传算法及其优化神经网络的研究[D];华南理工大学;2011年
10 栾丽霞;遗传算法在潍坊商校排课系统的研究与应用[D];电子科技大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026