13、面向Ada 95程序中带标签对象切片的新方法

面向Ada 95程序中带标签对象切片的新方法

1. 引言

程序切片是一种有效的技术，能将关注点聚焦到程序的相关部分。程序切片由Weiser首次提出，程序的切片包含那些可能直接或间接影响给定程序点所计算变量的语句。程序点s和变量集V，用 表示，被称为切片准则。程序切片在程序理解、测试、调试、维护和复杂度测量等软件工程活动中得到了广泛应用。

Ada是一种并发的面向对象编程语言，旨在支持构建长期运行、高度可靠的软件系统。它提供了定义相关类型、对象和操作包的功能，类型可以扩展以支持可重用、适应性强的软件组件库的构建。操作可以通过传统的顺序控制结构实现为子程序，也可以作为包含并发线程同步功能的入口实现。本文主要关注Ada 95程序中带标签对象的切片。

目前已经有多种对面向对象程序进行切片的方法，大多数基于系统依赖图（SDG）的扩展。然而，这些方法存在一些局限性，如无法区分同一类实例化的不同对象的数据成员，导致切片结果可能不准确。本文提出了一种新的表示面向对象Ada 95程序的方法，与现有的基于SDG的方法不同。新的程序依赖图（PDG）由子程序和包的PDG集合组成，每个PDG是独立的图，基于这些PDG，我们开发了一种高效的算法来对Ada 95中的带标签对象进行切片。

2. 使用SDG进行切片

系统依赖图（SDG）由一组程序依赖图（PDG）组成，每个PDG表示一个子程序。PDG将子程序表示为一个图，其中节点是语句或谓词表达式，边表示控制依赖或数据依赖。对于两个语句s1和s2，如果s1的执行影响s2的执行，则s2控制依赖于s1；如果s1定义了一个变量，而s2使用了它，则s2数据依赖于s1。每个子程序依赖图包含表示过程入口和出口的入口节点和出口节点。

<