随着计算机技术在辅助教学中的飞速发展,计算机自动评判技术越来越引起人们的关注。当今的评判系统中对客观题的评判技术近乎完善,但对主观题的评判技术仍处于研究探索完善阶段。虽然目前已有一些程序评判系统也投入使用,但绝大多只是对程序的输出结果进行评判,并没从程序理解语义分析等角度考虑学生编写的程序,致使学生错误的程序得不到相应的分数。本文针对当前编程题自动评判系统中的不足,设计了一种对编程题能够实现自动评判的模型。模型中根据学生程序的可执行性采用动态和静态相结合的评判方式。在动态评判过程中,本文使用代码执行可信度计算函数方法,对学生程序的输出可信度进行计算并给出相应的分数;在静态评判过程中,本文从程序理解角度出发,以系统依赖图作为程序的中间表示形式,根据系统依赖图中控制依赖关系对程序进行分块加权,从而实现在程序结构上的评判。同时,结合语义相似度等价转换技术,对程序进行规范化处理。使用类二叉语法树描述程序中的表达式,并通过定义类二叉语法树的构造规则来消除表达式结构的多样化。另外,还通过对表达式结构的比较完成程序变量的归一化处理。最后将该模型运用到实际编程题自动评判中进行实验,通过获得的实验数据表明,此方法能够对学生程序进行自动评判,并有较强的实用价值。