利用动态切片方法评价C语言程序
Using Dynamic Slice Method To Assess C-language Program作者机构:赣南师范大学数学与计算机科学学院江西赣州341000
出 版 物:《电脑知识与技术》 (Computer Knowledge and Technology)
年 卷 期:2017年第13卷第11期
页 面:278-281页
学科分类:08[工学] 0812[工学-计算机科学与技术(可授工学、理学学位)] 081202[工学-计算机软件与理论]
基 金:2015年赣南师范学院教学改革研究课题资助(项目编号:60)
摘 要:针对C语言程序的评价问题,给出了执行点和执行历史相关概念的描述,讨论了执行点之间的关系,给出了关于单变量和执行点的动态切片的定义,在此基础上,给出了关于输入输出变量集和执行历史的动态切片的计算公式以及相应的程序评分方法,并通过一个实例给出了计算过程。