基于静态分析的Java单元测试教学反馈系统

来源 :南京大学 | 被引量 : 0次 | 上传用户:stefanie456
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试是软件开发周期中的一个重要过程,而白盒测试是软件测试教育中的一个重要课题,通常使用逻辑覆盖作为衡量白盒测试或单元测试的标准。但目前软件测试教学中,针对覆盖的单元测试难以组织练习和考试,难以评估测试用例,需要耗费大量的助教人力。为了解决该问题,本文实现了一个基于静态分析的Java单元测试教学反馈系统。本系统包含:Web端的管理平台,用于组织班级和考试;Eclipse考试插件,用于在Eclipse客户端中下载考题并编写测试用例;程序分析和自动化评估模块,用于实现对测试用例的自动化评估,将覆盖率结果显示在Eclipse控制台中,并对所有学生的测试用例结果进行汇总统计,最终将量化结果展现在Web端。本文利用程序控制流分析和代码插桩技术,依托Soot框架,完成了对源程序的静态分析并收集测试用例的执行路径。利用程序控制流图生成各覆盖指标的测试需求路径,再通过与测试用例执行路径的比较,计算得出各指标的覆盖率,从而实现了对测试用例的自动化评估。本文实现的教学反馈系统经历了一年的使用,被证明是合理的有效的。学生能够方便地进行覆盖测试的练习,根据反馈结果不断提高编写测试用例的能力。教师能够轻松地组织考试,根据反馈结果比较班级和考题的差异,并做针对性的课堂讲解。同时,本系统节省了大量助教人力,是更高效的Java单元测试练习和考试的解决方案。
其他文献
本文以高等师范类院校舞蹈专业课程的设置研究为切入点,以重庆市师范大学音乐学院舞蹈系为研究对象,综合运用教育学、社会学、文献学与田野调查相结合的方法。通过对各类具有
<正>目的:观察盆腔消癥灵灌肠治疗盆腔炎性包块的疗效。方法:对确诊为盆腔炎性包块,中医辨证为湿热下注者。采用随机方法分为两组。治疗组(103例)灌肠盆腔消癥灵,对照组(52例
会议
随着我国篮球运动的快速发展,大学生篮球联赛CUBA与大学生男篮超级联赛CUBS影响力的不断扩大,市场化运作正逐步渗入高校篮球比赛,湖南省高校篮球市场化也有了一定的发展。本
根据教育经济学理论,教育结构与经济结构是相互影响的,一方面,经济结构决定教育结构,即经济发展为教育供应物质基础,制约着教育的发展速度、规模、内容与结构;另一方面教育发
高校是培养社会主义合格建设者和可靠接班人的重要阵地,也是引领社会主义先进文化的排头兵。近年来,我国的高校扩招政策使得更多的青年学生有了继续深造的宝贵机会。我们的校
在经济全球化、价值多元化和信息网络化的时代背景下,实现中华民族伟大复兴的中国梦归根结底要靠多层次、多规格、多类型的人才。师范大学生兼具成长成才和未来教书育人的双
本文以我国高等师范院校(简称高师)声乐教材为研究对象,依历史进程梳理学堂乐歌至今的高师声乐教材发展以及曲目的发展变化,论述我国高师声乐教学的发展。将学堂乐歌时期至今
武夷山,为福建省第一名山。是人们向往的旅游胜地,还以盛产岩茶闻名于世。山中沿峰近岩,修筑梯园,培植茶树,岩岩有茶,非岩不茶,这是武夷茶区的特色,也是武夷岩茶的由来。岩
心理健康教育是思想政治教育整体工作中的重要组成部分,而近年来新生的“心理委员”制度,是对新时期高校心理健康教育工作体系的重要补充。通过10余年来众多研究者对“心理委
民族音乐学,于上世纪六十年代开始,在梅里亚姆著名的论断“文化中的音乐”观下,彻底改变了西欧传统的以研究音乐本体为目标的状态,自此文化脉络中的音乐研究成了民族音乐学的