一种面向数组C程序的静态评分方法

舒新峰; 何孝敏; 郭芳瑶

首页> 中文期刊> 《西安邮电大学学报》 >一种面向数组C程序的静态评分方法

一种面向数组C程序的静态评分方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

为解决现有自动评测方法对使用数组C程序评分结果过于粗糙的问题,提出一种面向数组C程序的静态评分方法。对程序进行预处理,通过标准化算法消除程序语句表达的多样性,引入程序语句依赖图准确表达程序的语法结构和语句依赖关系,并通过程序语句依赖图匹配划分结点,利用区间运算和表达式等价识别的方法对误判结点修正。最后,根据相似结点个数所占比例计算程序分值。实验结果表明,与现有的C程序自动评分方法相比,该评分方法能明显提升程序评分的准确性。

著录项

来源
《西安邮电大学学报》 |2021年第4期|P.60-64|共5页
作者
舒新峰; 何孝敏; 郭芳瑶;
展开▼
作者单位

西安邮电大学计算机学院陕西西安710121;

西安邮电大学计算机学院陕西西安710121;

西安邮电大学计算机学院陕西西安710121;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.1-4;
关键词
数组C程序; 静态评分方法; 程序语句依赖图; 区间运算;

相似文献

中文文献
外文文献
专利

1. 面向语句分值的C程序静态评分方法 [J] . 舒新峰 ,贾敬霞 ,何孝敏 . 计算机工程与设计 . 2021,第005期
2. 一种过程内及过程间数组越界故障的静态检测方法 [J] . 董娜 ,宫云战 ,金大海 . 计算机研究与发展 . 2010,第S1期
3. 一种C程序断言的全自动静态验证方法 [J] . 易晓东 ,杨学军 . 计算机科学 . 2006,第009期
4. 一种面向句子的汉英口语翻译自动评分方法 [J] . 李心广 ,陈帅 ,龙晓岚 . 中文信息学报 . 2021,第007期
5. 一种面向对象的PLC程序设计方法 [J] . 张崇明 ,汪春梅 ,周毅 . 计算机工程与应用 . 2007,第021期
6. 一种过程间数组越界静态检测方法 [C] . Nie Minhui ,聂敏慧 ,Jin Dahai . 第七届中国测试学术会议 . 2012
7. 基于CEGAR的C程序数组越界检测 [A] . 曹瑞龙 . 2015

一种面向数组C程序的静态评分方法

摘要

著录项

相似文献

相关主题

期刊订阅