Applying Multiple Program Graphs to Modify Specifications(Special Issue on Knowledge-Based Software Engineering)

スポンサーリンク

概要

• 論文の詳細を見る

• 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.

• 社団法人電子情報通信学会の論文
• 2000-04-25

著者

• Nakanishi Takahiro

  The Authors Are With The Department Of Computer Science Tokyo Institute Of Technology:presently With

• Saeki Motoshi

  The Authors Are With The Department Of Computer Science Tokyo Institute Of Technology

関連論文

• Specifying Software Architectures Based on Coloured Petri Nets(Special Issue on Knowledge-Based Software Engineering)
• Applying Multiple Program Graphs to Modify Specifications(Special Issue on Knowledge-Based Software Engineering)
• Method Integration with Formal Description Techniques(Special Issue on Knowledge-Based Software Engineering)

スポンサーリンク