学位论文 > 优秀研究生学位论文题录展示

结合动态测试与静态分析的编程题自动评分方法研究

作　者: 赫伽宁
导　师: 苏小红
学　校: 哈尔滨工业大学
专　业: 计算机科学与技术
关键词: 自动评分 动态测试 静态分析 ACM Online Judge
分类号: TP311.52
类　型: 硕士论文
年　份: 2008年
下　载: 80次
引　用: 0次
阅　读: 论文下载
 

内容摘要


程序设计语言考试中的自动化试卷评分技术因其涉及多方面的理论知识已经成为一项非常有意义的研究课题,但目前该领域,实用性好而且功能健全的系统很少。在基于程序理解和语义分析的编程题自动评分模型中,用对完整源程序的静态分析和语义等价的转换的方法,将学生程序和作为标准答案的模板程序转化为系统依赖图,通过标准化处理,消除程序中语义等价的表达式的形式多样化,计算它们的语义相似度,应用评分策略给出学生程序的得分。已有的编程题自动评分模型评分的准确性和正确性高度依赖于模板库中题目模板程序集的完备性,而做到模板程序集的完备性十分困难。本文在原有的编程题自动评分模型的基础上,引入动态测试评分方法,将两者有效结合到一起,提出了结合静态分析和动态测试评分方法的编程题自动评分模型以完善原有的评分模型。本文对ACM Online Judge动态测试评分方法的核心进行改进,去除多余的限制,改变其评分策略,使其能够合理地与静态分析评分方法进行结合,并且更适合于普通学生上机考试;将基于静态分析和基于动态测试两种不同的编程题评分方法有效的结合,基于新的评分策略,提出了结合静态分析和动态测的编程题自动评分模型;利用改进的基于语义相似度的评分方法和动态测试评分方法的结合,提出避免冗余的模板提取方法,从学生提交的程序中为静态分析评分提取新模板程序;基于改进模型重新设计和实现了“C语言考试系统”,并对其进行了测试和实际应用的验证。基于完善后的编程题自动评分模型的“C语言考试系统”已经在哈尔滨工业大学2008年春季学期的C语言考试实际使用,取得了良好的应用效果,经过对考试结果的分析验证,证明了本文所提出模型的正确性和系统的有效性。

全文目录


摘要  4-5
Abstract  5-9
第1章 绪论  9-14
  1.1 课题背景和研究意义  9
  1.2 编程题自动评分在国内外的研究现状及分析  9-12
    1.2.1 国外研究综述  10-11
    1.2.2 国内研究综述  11-12
  1.3 本文的主要研究内容和章节安排  12-14
第2章 结合静态分析和动态测试的编程题评分方法研究  14-22
  2.1 基于静态分析的编程题评分方法  14-16
    2.1.1 基于程序理解的编程题自动评分方法  14-15
    2.1.2 基于语义相似度的编程题自动评分方法  15-16
  2.2 基于动态测试的编程题评分方法  16-18
    2.2.1 基于动态测试编程题评分方法的基本思想  17
    2.2.2 ACM Online Judge系统  17-18
    2.2.3 基于动态测试的编程题自动评分方法的特点  18
  2.3 静态分析评分方法和动态测试评分方法的对比分析  18-19
  2.4 结合静态分析和动态测试的改进评分方法及模型  19-21
  2.5 本章小结  21-22
第3章 模型实现的关键技术  22-43
  3.1 基于静态分析编程题评分的关键技术  22-23
  3.2 基于动态测试编程题评分的关键技术  23-32
    3.2.1 基于动态测试编程题评分的基本流程  23-24
    3.2.2 评分任务传输协议  24-25
    3.2.3 题目配置信息定义  25-26
    3.2.4 学生程序的编译  26-28
    3.2.5 学生程序的测试和评分  28-32
  3.3 改进的结合静态分析与动态测试的评分策略  32-33
  3.4 新模板程序的提取方法  33-42
    3.4.1 准模板标定  34
    3.4.2 避免冗余的模板提取过程  34-42
  3.5 本章小结  42-43
第4章 系统实现及测试分析  43-57
  4.1 系统总体设计与实现  43-48
    4.1.1 系统的体系结构  43-44
    4.1.2 动态测试服务器  44-48
  4.2 测试方案设计与系统模拟测试结果及分析  48-53
    4.2.1 动态测试评分系统原型测试及性能分析  48-51
    4.2.2 结合静态分析和动态测试评分系统模拟测试  51-53
  4.3 系统实际应用测试结果与分析  53-56
    4.3.1 应用环境及规模  53-54
    4.3.2 实际应用结果  54-56
  4.4 本章小结  56-57
结论  57-58
参考文献  58-63
致谢  63

相似论文

  1. 日本小学音乐科教材分析研究,G623.71
  2. 预成型焊片润湿性动态测试方法研究,TN206
  3. 基于多粒度依赖关系图的变更影响分析方法研究,TP311.53
  4. 永磁接触器设计及静动态特性分析,TM572.1
  5. 基于多样化对象所有权的软件可信性质研究,TP311.52
  6. 基于Asp.Net.Ajax技术的在线考试系统研究与实现,TP311.52
  7. 微小型机床的结构参数优化及动态特性分析,TG502.31
  8. 方滑枕变形处理及补偿的研究,TG548
  9. PC200路缘石滑模机关键技术研究,U415.5
  10. 齿轮箱壳体的静力和振动阻尼研究,TH113
  11. 天线转台轴承齿轮系统有限元建模与分析,TH132.41
  12. 新型铝锭码垛机械手动静态性能分析与优化,TP241
  13. 主观编程题实时考评系统的技术研究与实现,TP311.52
  14. “计算机应用基础”课程考试系统的设计与开发,TP311.52
  15. 单元测试方法及其在某制纸工厂作业管理系统中的应用研究,TP311.52
  16. 基于A-S模型的企业所得税逃税影响因素及治理对策研究,F812.42
  17. 双机架可逆冷轧机的静态特性和动态特性分析,TG333
  18. 网络安全协议的模型检测分析及验证系统,TP393.08
  19. 恶意代码检测及其行为分析,TP393.08
  20. 可信计算平台动态测试系统的设计与实现,TP311.53
  21. 通信网络管理系统测试方法与技术研究,TP311.52

中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com