一种基于klee工具的学生c程序测试数据自动生成方法.docxVIP

PAGE2

一种基于KLEE工具的学生C程序测试数据自动生成方法

摘要：在程序设计类课程的教学过程中，大量的编程实践是提升学生编程能力的重要环节。目前，为了加强学生实践并减轻教师逐一检查学生代码正确性的工作量，各大高校普遍采用在线编程测试环境对学生提交的代码进行自动化测试。这种在线编程测试环境需要为每个任务提供测试用例，然后测试每个学生的程序，并反馈测试结果。现有系统主要采用基于人工分析的方法生成测试用例，即人工对编程任务和正确代码进行分析，以便于给出尽可能覆盖所有分支和边界的测试用例。本文采用基于动态符号执行的程序分析方法，针对学生C程序自动化的生成测试用例。该方法首先需要