北航学术报告.doc

北京航空航天大学 学术学位硕士研究生《学术报告》考核表 学院 自动化科学与电气工程学院 学号 SY1403207 姓名 成梁 序号 学术报告题目 报告人 地点 时间 1 北航第十一届学术论坛自动化科学与电气工程分论坛开幕式暨专家报告会 王艳东、郭雷 主楼405 2014.10.15 2 英国埃塞克斯大学谷东兵教授来我校作报告 谷东兵 D639 2014.10.27 3 北航第十一届研究生学术论坛自动化科学与电气工程学院分论坛第一次宣讲会 祝国强、任传麒、桑 云、张生、韩静雅 E706 2014.10.29 4 北航第十一届研究生学术论坛自动化科学与电气工程学院分论坛第二次宣讲会 肖瑾、高明、朱寰宇、朱寰宇、何致伟 E706 2014.10.31 5 北航第十一届研究生学术论坛自动化科学与电气工程学院分论坛第三次宣讲会 赖李媛君、高维金、张贵铭、胡亚强 E706 2014.11.5 6 北航第十一届研究生学术论坛自动化科学与电气工程学院分论坛第五次宣讲会 潘辉、丁帅、唐荻音、王虎、崔梦曦、陈潜 E706 2014.11.14 7 北航第十一届研究生学术论坛自动化科学与电气工程学院分论坛第六次宣讲会 杨闳竣、张鹏、纪占玲、徐龙，张磊、赵鹏 E706 2014.11.17 8 北航第十一届研究生学术论坛自动化科学与电气工程学院分论坛第八次宣讲会 王自鹏、曹晓希、夏体智、杨柳 E706 2014.11.24 9 德国帕德博恩大学Mertsching教授来我院做学术报告 Mertsching D218 2015.3.12 10 Performance Enhancements to City-Scale Traffic Simulation Gary Tan E706 2015.6.19 考核成绩： 导师签字： 年 月 日 学院教务公章 年 月 日 要求：硕士研究生选听学术报告总数不少于10次。本考核表由导师给出考核成绩，学院研究生教学秘书审核后，录入成绩，并作为原始记录文件长期保存。  《学术报告》总结 学 院 姓 名 学 号 导 师 北京航空航天大学研究生院 年 月 日 北京航空航天大学 学术学位硕士研究生选听学术报告总结 报告人 肖瑾、高明、朱寰宇、王静静、何致伟 学术报告题目 北航第十一届研究生学术论坛自动化科学与电气工程学院分论坛第二次宣讲会 新主楼E706 学术报告时间 2014年10月31日 GUI(graphic user interface)测试是一种通过对被测应用GUI元素的测试，以验证被测应用的功能与规约是否一致的测试方法现有的GUI自动化测试方法主要包括基于录制回放的GUI自动化测试和基于模型的 GUI自动化测试基于录制回放的GUI自动化测试方法前期录制测试人员的GUI操作并记录GUI操作相 关信息，后期回放前期录制的GUI操作以检测GUI状态是否与录制时的操作一致。这种方法存在脚本录制工作 量巨大、测试脚本难以维护、测试不足等缺点。另外，这种方法抽象程度不高，一旦GUI界面发生改变，前期录制 的测试脚本很难运用于后续的测试当中因此，越来越多的研究工作转向基于模型的GUI自动化测试基于模型的GUI自动化测试方法采用的主要模型为事件流模型EFG中的结点表示事件，有向边表示事件之间发生的先后关系，测试覆盖准则根据相邻结点序列的长度制定；依据测试覆盖准则，在事件流图上遍历生成测试用例基于EFG的GUI测试方法存在如下不足： (1) 基于EFG的测试覆盖准则，仅考虑具有特定长度的相邻事件序列覆盖，忽略了事件对应的事件处理 函数中代码结构的覆盖以及事件处理函数之间数据依赖关系的覆盖，导致生成的测试用例的代码结构覆盖率不高，致使生成的测试用例可能无法覆盖事件处理函数中的某些代码结构，如果在这些代码结构中存在错误，则生成的测试用例无法探测 (2) 随着测试覆盖准则中要求的相邻事件序列长度的增加，生成的测试用例规模呈指数级增长产生上述两个不足的原因是：EFG模型只关注事件以及事件之间的交互，而未关注事件对应的事件处理函数的代码结构以及事件处理函数之间的数据依赖关系。事件处理函数响应用户GUI操作并完成软件预定义功 能，事件处理函数以及事件处理函数之间的关系实现是否与规约一致，是GUI测试的重点因此，针对上述两个不足，从分析与利用事件处理函数的角度出发，一种基于事件处理函数的 GUI测试模型——事件处理函数图(even