基于模拟退火算法的EFSM模型测试数据自动生成.pdf

《基于模拟退火算法的EFSM模型测试数据自动生成.pdf》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、导师：张贝克(1976．1．)，男，浙江人，汉，教授，硕士牛导师，中国系统仿真学会理事，中国自动化学会故障诊断专业委员会委员，北京市软件行业协会高级会员。丰要研究领域包括大型复杂过程系统计算机辅助安全评价、复杂大系统故障定位与安全控制、面向安全的系统仿真技术等。E-mail：zllan曲k@mail．buct．edu．cn。作者：符盛宗(1985．1-)，男，海南人，汉，硕士研究生，主要研究方向为计算机应用技术。E—mail：丘．eegly@孕nail．com63、Pr}”．：，一瞄，．1}：E．_；，k^、．I，．f．PF、__l』。藿1r，卜BI-，f

2、北京化工大学硕士研究生学位论文答辩委员会决议书研究生姓名：符盛宝专业：计算机应用技术论文题目：轻型脚本引擎的研究与实现指导教师姓名：张贝克职称：见习教授论文答辩日期：2011．05．26地点：科技楼409室论文答辩委员会成员姓名职称工作单位本人签名赵瑞莲教授幽岛童许南山副教授浒殉哆李辉副教授着乏姿王雪晶副教授Z劝赢肖亮副教授唷南注：此表用于存档，除本人签名务必用钢笔填写外，其余处必须用计算机打印。答辩委员会对论文的评语(选题意义、文献综述、论文所取得的成果及水平、学风和论文写作水平、论文的不足之处)：论文丌发了一套轻量型脚本引擎，选题具有一定的理论意义和实

3、用价值。论文主要工作：。1．设计并实现了一个Vblet的脚本引擎：2．实现了脚本引擎与应用程序的集成。论文结构较合理、写作较规范。论文工作表明作者掌握了本专业基础理论知识，具备了基本的科研工作能力，论文达到了硕士学位论文要求的学术水平。在论文答辩中，该学生表述较为清楚，回答问题基本正确。答辩委员会经无记名投票，一致同意通过该学生的硕士学位论文答辩，建议授予该学生工学硕士学位。对学位论文水优秀良好一般较差平的总体评价●答辩委员会表决结果：同意授予硕士学位5票，不同意授予硕士学位O票，弃权O票。根据投票结果，答辩委员会做出建议授予该同学硕士学位的决议。答辩委员

4、会主席签字声法厂乏2011年5月26日北京化工大学位论文原创性声高潮本人郑重声明：所呈交的学位论文，是本人在导师的指导下，独立进行研究工作所取得的成果。除文中已经注明引用的内容外，本论文不含任何其他个人或集体已经发表或撰写过的作品成果。对本文的研究做出重要贡献的个人和集体，均已在文中以明确方式标明。本人完全意识到本声明的法律结果由本人承担。作者签名：丞兰差蛩日期：211f：￡!l关于论文使用授权的说明学位论文作者完全了解北京化工大学有关保留和使用学位论文的规定，即：研究生在校攻读学位期间论文工作的知识产权单位属北京化工大学。学校有权保留并向国家有关部门或机

5、构送交论文的复印件和磁盘，允许学位论文被查阅和借阅；学校可以公布学位论文的全部或部分内容，可以允许采用影印、缩印或其它复制手段保存、汇编学位论文。保密论文注释：本学位论文属于保密范围，在土年解密后适用本授权书。非保密论文注释：本学位论文不属于保密范围，适用本授权书。作者签名：一丞兰』鸳日期：丛』[：王：3．1一一导师签名．．．幺轻日期：堂!!：』：王2，学位论文数据集中图分类号TP311．5学科分类号520．40论文编号10叭020110695密级公开学位授予单位代码10010学位授予单位名称北京化工大学作者姓名程喜朝学号2008000695获学位专业名称

6、计算机应用技术获学位专业代码081203课题来源自然科学基金项目研究方向软件测试与软件可靠性论文题目基于模拟退火算法的EFsM模型测试数据自动生成关键词模拟退火算法，EFsM，测试数据生成，启发式搜索算法，软件测试论文答辩日期2011．5．26·论文类型基础研究学位论文评阅及答辩委员会情况姓名职称工作单位学科专长指导教师赵瑞莲教授北京化工大学软件测试与软件可靠性过程工业监测．编译技评阅人1彭四伟副教授北京化工大学术应用、并行计算评阅入2赵会群教授北方工业大学软件测试评阅人3评阅人4评阅人5分布式系统、网格计算、答辩委员会主席赵英教授北京化工大学计算机网络网

7、络信息获取技术的研答辩委员1山岚教授北京化工大学究过程工业监测、编译技答辩委员2彭四伟副教授北京化工大学术应用．并行计算智能信息处理、嵌入式答辩委员3张杰副教授北京化工大学系统答辩委员4聂伟副教授北京化工大学移动通信技术答辩委员5注：一．论文类型：1．基础研究2．应用研究3．开发研究4．其它二．中图分类号在《中国图书资料分类法》查询。三．学科分类号在中华人民共和国国家标准(GB／T13745—9)((学科分类与代码》中查询。四．论文编号由单位代码和年份及学号的后四位组成。数据自动生成域被广泛采用。常见的搜索算法等。在软件测模型描述了软件系统的功能和行为，使

8、得测试以一种更加清晰有序的方式进行。基于EFSM模型的测试技术是一