Applying Multiple Program Graphs to Modify Specifications

Takahiro NAKANISHI  Motoshi SAEKI  

IEICE TRANSACTIONS on Information and Systems   Vol.E83-D   No.4   pp.669-678
Publication Date: 2000/04/25
Online ISSN: 
Print ISSN: 0916-8532
Type of Manuscript: Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: Theory and Methodology
program graph,  software maintenance,  software evolution,  reverse engineering,  

Full Text: PDF>>
Buy this Article

In a software maintenance phase, since quality assurance engineers frequently only change source codes, the consistency between the source codes and their specification documents cannot be kept. In this paper we propose a supporting technique for changing specification documents automatically so that the specifications can be consistent with the source codes. In our technique, we represent a program with multiple graphs and we consider the changes on programs as the modification of the graphs. The modification of the graphs is formalized with a sequence of the operation on the graphs. We design the rules of how to relate the operations on program graphs to the operations on graphs that represent specification documents. By applying these rules, we can detect what modification and which parts of the specification document should be made to maintain the consistency between the specification and the program, when the program is modified.