《程序切片技术相关研究概述》2000字.docxVIP

PAGE2

程序切片技术相关研究概述

目录

TOC\o1-3\h\u31550程序切片技术相关研究概述 1

26111.1.1程序切片技术定义 1

181471.1.2控制流图 2

218491.1.3程序依赖图 3

63601.1.4系统依赖图 4

31701.1.5基于系统依赖图的程序切片 5

由于不仅需要预测这个程序是否存在缺陷，还要定位到具体缺陷的位置，而在程序文件或函数级别进行缺陷预测时，由于这些级别的粒度太粗（一个程序或函数可能有很多行代码），从而确定其缺陷的位置比较困难。因此需要一个更细的粒度来进行预测，而非一个程序或一个函数作为一个基本单元，即需要对源代码进行切片处理。本文采用程序切片的方法来构建包含语义信息的代码语句。

程序切片技术定义

程序切片技术由M.WeiseREF_Re\r\h[49]在1979年提出，程序切片技术是根据程序数据流或控制流信息来对程序进行分解的一种技术。程序切片技术一般也被认为是一种程序句子抽取技术，它抽取与给定标准相关的句子。目前，程序切片已经成为一种重要的程序理解方法，广泛应用于软件维护、程序测试、分析和优化等方面。

依据切片分析方法的不同，程序切片主要分为静态程序切片和动态程序切片，动态程序切片是根据程序每个单个动态轨迹计算的，即为一组输入