《表1 切片程序举例：基于程序切片技术的云计算软件安全模型研究》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于程序切片技术的云计算软件安全模型研究》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

通常在软件测试、软件调试、软件复用、代码重构等任务中需要减少程序的大小，或者将较大的程序分解为较小的组件。程序切片是一种可行的方法，可以将任务焦点聚焦在程序特定的子组件上，通过对特定语句的删除简化原程序。表1为切片程序举例，其中，源程序a表示一个计算n的和运算以及乘法运算的示例程序，程序b表示对a程序相对于criteria（program，mule）准则的一个切片。可以看出，与乘法无关的语句被删除了。根据文献[4]和文献[5]提出的定义，程序切片的概念是基于语句的删除。根据切片准则的变化，一些新的切片概念被提出，如静态切片、动态切片、后向切片和前向切片，应对不同的应用程序切片需要可以采用不同的切片概念。