【摘 要】
：
针对现有C程序评测方法评分结果过于粗糙的问题,提出一种基于线性路径匹配的C程序评分方法。将待判定程序转化为语义等价的标准形式,引入程序语句依赖图(program statement d
【基金项目】
：
陕西省重点研发计划项目(2020GY-210),西安邮电大学创新基金项目(CXJJLI201018)
论文部分内容阅读
针对现有C程序评测方法评分结果过于粗糙的问题,提出一种基于线性路径匹配的C程序评分方法。将待判定程序转化为语义等价的标准形式,引入程序语句依赖图(program statement dependency graph,PSDG)准确表达语句在控制和数据上的依赖关系,根据变量类型及赋值表达式匹配消除变量名的多样性,依据语句依赖关系将PSDG划分为线性路径集合,通过计算待判定程序和答案程序线性路径相似度给出成绩。实验结果表明,该方法能够在准确描述程序语句依赖关系的基础上提高评分准确率。
其他文献
法国人浪漫吗？我觉得,不浪漫。至少,与中国人想象中的浪漫,南辕北辙。上个世纪90年代,我经常去法国出＂长差＂,就是到法国和合作者一起工作几个月,然后回国,第二年再去。这几个月
用自行研制的祛泻壮元袋外治虚寒性腹泻60例,治愈率63.3%,总有效率98.3%,与补脾益肠丸对照组30例比较有显著差异(P＜0.05,P＜0.01),明显优于补脾益肠丸.祛泻壮元袋对虚寒性腹泻病
目的:观察银杏内酯(Ginkgolides,Gin)对皮层神经元氧化应激损伤的保护作用,并探讨其机制.方法:取孕13d～15d的小鼠胚胎,对其大脑皮质神经元进行原代分离培养,利用MTT比色法检测
提出一种采用双极工艺,适用于-55~125℃的带隙基准电压电源设计方案。在经典Brokaw带隙结构的基础上,核心电路部分采用共源共栅电流镜方案,以降低三极管基极电流对电流匹配及
创新型企业与创新型企业家在社会主义市场经济条件下涌现的所有制前提,是区分生产资料的权益归集体所有同时归集体使用的集体化,与生产资料的权益归个人所有同时归集体使用的
不少人希望央视的纪录频道能带来中国纪录片的春天,或者至少是春天的萌芽。而与此同时,负责吹这场春风的央视内部,纪录频道主管台长已然换了三个,原来要在春节当日开播的《当
采用磁控溅射技术在石英衬底上制备氧化镓(Ga2O3)薄膜,研究溅射过程中不同氩氧比对薄膜晶体结构、表面形貌、粗糙度、拉曼光谱以及紫外探测性能等的影响。利用X射线衍射仪、
铁打的吏员流水的官员,官员三年一转任,五年一换届,他们是流官;而吏员大多数是坐官,要提拔也是在本地区提拔,他们即使不生于斯,也往往长于斯,要老于斯的。对地方的熟悉,自然
画家与我住在同一片小区,他的画廊又开在附近,所以我们常能见面。画家矮墩墩的,还算结实,没有肚腩,秃顶,一把大胡子,好像头发都长到下巴去了。以前看过一篇文章说，卡斯特罗年
1935年日本宣布在伪满撤销“治外法权’，并与伪满洲国两次签订了有关“条约”和“协定”。日本这一“举动”，欺骗了当时的世界舆论，至今仍有其蒙蔽性。本文以史实为依据，剖析了日