今泉 貴史

Cプログラム用のリファクタリングツールなどの実装にはCプログラムの正確な解析が必要となる．しかし，C前処理系(CPP)のため，Cプログラムの正確な解析は著しく困難になっている．Cプログラムの正確な解析には，CPPの処理前後のマッピング情報が必須である．従来は既存のCPP(例：Cpplib)を拡張して，このCPPマッピング情報を得ていた．しかしこの手法はCPPの実装に強く依存するため，保守や移植のコストが大きいという問題があった．<BR>この問題を解決するために，我々は新しい追跡子方式を提案する．追跡子方式ではCプログラムにXML風の追跡子を自動的に埋め込み，既存のCPPをそのまま手を加えずに前処理に用いて，最後に結果中の追跡子を解析してCPPマッピング情報を得る．このため追跡子方式には低い保守・移植コストと高い適用性という，従来方式には無い大きな利点がある．我々は追跡子方式を用いたCPP解析器のプロトタイプであるTBCppAの実装に成功した．また，TBCppAをgcc-4.1.1(約63万行)などのソースコードに実験的に適用した．この予備評価に限るが，移植性の高い方法でCPPマッピング情報を得る方式として，機能と性能の両面で追跡子方式は有用という結果を得た．

UMLはオブジェクト指向ソフトウェア開発において，システムの分析・設計に用いられるモデリング言語である．UMLでは複数の異なるダイアグラムを用いて，システムを様々な側面から記述しモデル化を行う．UMLの各ダイアグラムは互いに関連する部分を持つため，個々のダイアグラムは完全に独立してはいない．このため，ダイアグラム間で記述内容に不整合が生じる可能性がある．通常，ソフトウェア開発においてモデリング作業は複数人で行われるため，ダイアグラムを矛盾無く記述し，その状態を保つことは重要な問題となる．本研究では，ダイアグラム間の対応を定義し，その定義に基づいた検査手順を示すことで整合性検査の支援を実現する．ダイアグラム間で関連する部分を明確にすることで，容易に検査を行うことを可能とする．

本研究では多層構造リポジトリをもったバージョン管理手法を提案する。多層構造のリポジトリを用いて、開発の際に現れるバージョンを開発の段階における意味に対応させ分離を行ない、プロジェクトの開発者全体に公開されるべきバージョンと、個人のみが知っていれば良いバージョンなどが、リポジトリに混在する状況を防ぐ。また、分離を行った各リポジトリ層を連携させ、変更の通知、変更の衝突への対策などをとることで、共同開発を円滑に進めるための環境を整える。

Ordered attribute grammars (OAGs for short) are a useful class of attribute grammars (AGs). For some attribute grammars, even though they are not circular, OAG circularity test reports that they are not ordered and fails to generate attribute evaluators because some approximation introduces circularities (called type 3 circularities in this paper). First we discuss that it is sometimes difficult for programmers to eliminate type 3 circularities by hand. Second, to reduce this difficulty, we propose a new AG class called OAG that produces less type 3 circularities than OAG while preserving the positive characteristic of OAG. OAG uses a global dependency graph GDS that provides a new approximation algorithm. We obtained good results with our experimental implementation of OAG. It is shown that OAG is different from the existing GAG and Eli/Liga systems. Finally, two combinations of Eli/Liga and OAG are provided.

It is recognized as necessary to have a software development environment that can simultaneously store software products and maintain their detailed relationships. There exists the cut &amp paste model based on attribute grammars, which is effective in maintaining consistency among software products and in automatically maintaining the derived values. This model has a problem however, namely the description of the dynamical aspect of the software development environment is difficult. From such a viewpoint, an object-oriented attribute grammar type computation model OOAG has been proposed, which introduces the concept of the message passing into attribute grammars. The OOAG is defined with an extension and reorganization in regard to the dynamical description functions. Then, the problem in the cut &amp past model are discussed. As an example of the problems, it is pointed out that description is difficult for the case where the point of referral by the user and the point of modification are different. Such a situation is described by OOAG, demonstrating that OOAG can remedy the problem in the cut &amp paste model.