Semantic configuration management model using a path dependence flow graph
✍ Scribed by Kuniaki Naoi; Naohisa Takahashi
- Publisher
- John Wiley and Sons
- Year
- 1999
- Tongue
- English
- Weight
- 181 KB
- Volume
- 30
- Category
- Article
- ISSN
- 0882-1666
No coin nor oath required. For personal study only.
✦ Synopsis
If a program is not executed as expected, we say that a semantic error has occurred in the program. As is well known, semantic errors sometimes appear in a program because the modification intention was not correctly reflected in the new configuration. In order to avoid as many semantic errors as possible, as well as to efficiently locate errors, the authors are developing a semantic configuration management (SCM) model that is capable of efficiently performing various analyses of programs in a unified framework. Previously, the following techniques have been proposed in the SCM model: an analysis technique for detecting infeasible paths (IFPs) from the program, and an analysis technique for generating various kinds of slices in a unified framework. This paper proposes a technique for accurately computing program slices using the IFPs in the SCM model. Next, it proposes a technique for improving the accuracy of detecting semantic errors during merging of several modifications by using accurate program slices. ln addition, new applications are proposed for the various slices.