利用动态切片的方法评价C语言程序.docVIP

利用动态切片的方法评价C语言程序 　　摘要：针对C语言程序的评价问题，给出了执行点和执行历史相关概念的描述，讨论了执行点之间的关系，给出了关于单变量和执行点的动态切片的定义，在此基础上，给出了关于输入输出变量集和执行历史的动态切片的计算公式以及相应的程序评分方法，并通过一个实例给出了计算过程。 　　关键词：C语言；动态切片；执行点；执行历史 　　中图分类号：TP312 文献标识码：A 文章编号：1009-3044（2017）31-0278-04 　　Using Dynamic Slice Method To Assess C-language Program 　　YAN Ping 　　（Dept.of Math and Computer Science，Gannan Normal University， Ganzhou 341000，China） 　　Abstract： Aiming at the assessing problem of C-language Program， the description of some concepts relating with execution point and executing history is giving， the relation between execution points is discussin