文档介绍：保密论文注释:本学位论文属于保密范围,在上年解密后适用笾以前乱籮哥北京化工大学学位论文原创性声明本人郑重声明:所呈交的学位论文,是本人在导师的指导下,独立进行研究工作所取得的成果。除文中已经注明引用的内容外,本论文不含任何其他个人或集体已经发表或撰写过的作品成果。对本文的研究做出重要贡献的个人和集体,均已在文中以明确方式标明。本人完全意识到本声明的法律结果由本人承担。作者签名:关于论文使用授权的说明学位论文作者完全了解北京化工大学有关保留和使用学位论文的规定,即:研究生在校攻读学位期间论文工作的知识产权单位属北京化工大学。学校有权保留并向国家有关部门或机构送交论文的复印件和磁盘,允许学位论文被查阅和借阅;学校可以公布学位论文的全部或部分内容,可以允许采用影印、缩印或其它复制手段保存、汇编学位论文。本授权书。非保密论文注释:本学位论文不属于保密范围,适用本授权书。导师签名:日期:,;,
一萋≯灌≯#骸簗辫≤攀鎏醚、:季、一。,颍;:’‘
学位论文数据集学位论文评阕及答辩委员会情况计算机应用技术篓弦核痠论文类型:⊙芯应用研究7⒀芯凄它中图分类号学科分类号论文编号密级公开学位授予单位代码学位授予单位名称北京化工大学作者姓名闰宇学号获学位专业名称获学位专业代码课题来源国家自然科学基金研究方向论文题目含过程调用的简单模型测试数据自动生成研究关键词,过程调用论文答辩日期。沧文类型墓礁毕冗姓名职称工Уノ学科亏长指导教师尤枫副教授软件测试中国科学院自动化评阅人李立健研究员计算机体系结构研究所评阅入彭四伟北京肮ご笱编译技术应用亢枫答辩委员会主席易军凯信息安全,《中国图书资料分类法》查询。。询。’.
辫溪辫≥蕊誊囊蕤豢≤蕊蘩邸郏籭—篒·.,羹鼗薯鼍萱蓿霎:善姜≤筶≯#甶≯.。:≥《囊誊’。套‘≥≮≯.、二一‘一。”。攀鬻蔓一÷萱曼:萋毫廨拢壕痡尊乎善唷酢劬囊基第、≯誊:::每:≯::拢一。簿、瓣;∥.≯.’■.。:。一。’一·.’’,’一
含过程调用的简单模型测试数据自动生成研究摘要随着模型驱动开发技术在软件开发过程中越来越受到重视,基于扩展有限状态机模型的测试技术近年来也得到了深入的研究。以生成测试数据为目地的测试技术研究开始受到关注,形成了一个新的研究领域。测试数据生成是测试序列生成的发展,能够更精确的对扩展有限状态机模型进行测试。目前,主要是通过启发式搜索算法及符号执行等方式对扩展有限状态机模型进行测试数据生成,相关的研究主要集中在单模型上,不考虑过程调用,限制了其扩展能力,降低了扩展有限状态机模型的适用范围。为解决这一问题,本文提出了一种含过程调用的扩展有限状态机模型的描述,并对其测试数据自动生成方法进行研究、实现。首先,根据扩展有限状态机规范将各子过程表示为扩展有限状态机模型,然后把这些表示子过程的扩展有限状态机模型根据调用关系进行模型合并,生成一个等价的新模型,并采用遗传算法进行测试数据生成。最后,设计了相应的实验方案验证本文方案的可行性,同时讨论了在含过程调用扩展有限状态机模型测试数据自动生成过程中影响测试数据生成效率的主要因素。实验结果表明,该方法能够对扩展有限状态机中的过程调用进行处理,同时完成测试数据生成。由于该方法是一个初步解决方案,仍然存在一些问题,在本文结论部分,分析了当前处理策略的不足,提出了相应的改进方案。
.;灞鬻鬻黎≮#■一≥￡’P芝曩::。‘!#海篿.,。,蔓:≮..摹:.、
,珽甌瓷籨—瓾,,疘、,,.,猵瓽“.
篍籺———————————————————————————————————————————————————————一.;猰;略,甧瓵琣玞;;北京化搜秢畚
目录第一章绪论⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯第二章基于模型的测试数据生成方法概述⋯⋯⋯⋯⋯⋯⋯.第三章含过程调用的模型设计⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯第四章含过程调用模型测试数据自动生成方法⋯⋯⋯⋯⋯含过程调用模型的特点及适用性⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..过程诃用的处理方法⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯课题研究背景及意义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯基于模型测试研究现状⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯本文组织结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯