软件验证与图相似度在学生作业自动评估中的应用
人工智能
2012-07-02 v1
摘要
本文提倡在学生程序的自动评估中引入软件验证和控制流图相似度测量。我们提出了一种新的评分框架，将这两种方法结合所得的结果与自动化测试的结果相融合，从而提高了自动评分的质量和精度。这两种方法还有助于提供易于理解的反馈，帮助学生提高程序质量。我们还展示了相应的工具，这些工具是公开可用的开源软件。这些工具基于 LLVM 低级中间代码表示，因此可应用于多种编程语言。对所提出的评分框架的实验评估是在用 C 语言编写的大学学生程序语料库上进行的。实验结果表明，自动生成的分数与人工确定的分数高度相关，这表明所提出的工具可以在学习和评分中找到实际应用。
引用
@article{arxiv.1206.7064,
title = {Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments},
author = {Milena Vujosevic-Janicic and Mladen Nikolic and Dusan Tosic and Viktor Kuncak},
journal= {arXiv preprint arXiv:1206.7064},
year = {2012}
}