For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
Applying Multiple Program Graphs to Modify Specifications
Takahiro NAKANISHI Motoshi SAEKI
IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/04/25
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>>
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.