-
题名基于线性路径匹配的C程序评分方法
被引量：2
- 1
-
-
作者
舒新峰
何孝敏
贾敬霞
付稳稳
王振宇
-
机构
西安邮电大学计算机学院
-
出处
《西安邮电大学学报》
2020年第3期88-91,共4页
-
基金
陕西省重点研发计划项目(2020GY-210)
西安邮电大学创新基金项目(CXJJLI201018)。
-
文摘
针对现有C程序评测方法评分结果过于粗糙的问题,提出一种基于线性路径匹配的C程序评分方法。将待判定程序转化为语义等价的标准形式,引入程序语句依赖图(program statement dependency graph,PSDG)准确表达语句在控制和数据上的依赖关系,根据变量类型及赋值表达式匹配消除变量名的多样性,依据语句依赖关系将PSDG划分为线性路径集合,通过计算待判定程序和答案程序线性路径相似度给出成绩。实验结果表明,该方法能够在准确描述程序语句依赖关系的基础上提高评分准确率。
-
关键词
线性路径
程序评分
语义等价
程序语句依赖图
依赖关系
-
Keywords
static score
program scoring
semantic equivalence
program statement dependency graph
dependency relationship
-
分类号
TP311.1-4
[自动化与计算机技术—计算机软件与理论]
G642
[文化科学—高等教育学]
-
-
题名一种面向数组C程序的静态评分方法
- 2
-
-
作者
舒新峰
何孝敏
郭芳瑶
-
机构
西安邮电大学计算机学院
-
出处
《西安邮电大学学报》
2021年第4期60-64,共5页
-
基金
陕西省重点研发计划项目(2020GY-210)
陕西高等教育教学改革研究项目(19BY091)。
-
文摘
为解决现有自动评测方法对使用数组C程序评分结果过于粗糙的问题,提出一种面向数组C程序的静态评分方法。对程序进行预处理,通过标准化算法消除程序语句表达的多样性,引入程序语句依赖图准确表达程序的语法结构和语句依赖关系,并通过程序语句依赖图匹配划分结点,利用区间运算和表达式等价识别的方法对误判结点修正。最后,根据相似结点个数所占比例计算程序分值。实验结果表明,与现有的C程序自动评分方法相比,该评分方法能明显提升程序评分的准确性。
-
关键词
数组C程序
静态评分方法
程序语句依赖图
区间运算
-
Keywords
C programs with arrays
static scoring
program statement dependency graph
interval calculation
-
分类号
TP311.1-4
[自动化与计算机技术—计算机软件与理论]
G642
[文化科学—高等教育学]
-
