[論文レビュー] Representing Code History with Development Environment Events

Martín Dias, Damien Cassou+1 more|arXiv (Cornell University)|Sep 17, 2013

Software Engineering Research参考文献 8被引用数 13

ひとこと要約

本論文では、低レベルのテキストベースの ChangeSets ではなく、リファクタリング、メソッド追加、クラス名変更などの意味的イベントのシーケンスとしてコード履歴を捉えるプロトタイプシステム Epicea を提案する。豊富なメタデータ（タイムスタンプ、著者、トリガー）を用いて変更をモデル化することで、意図に配慮した微細なバージョニングが可能となり、Smalltalk 環境におけるコード共有、レビュー、自動リファクタリングの質が向上する。

ABSTRACT

Modern development environments handle information about the intent of the programmer: for example, they use abstract syntax trees for providing high-level code manipulation such as refactorings; nevertheless, they do not keep track of this information in a way that would simplify code sharing and change understanding. In most Smalltalk systems, source code modifications are immediately registered in a transaction log often called a ChangeSet. Such mechanism has proven reliability, but it has several limitations. In this paper we analyse such limitations and describe scenarios and requirements for tracking fine-grained code history with a semantic representation. We present Epicea, an early prototype implementation. We want to enrich code sharing with extra information from the IDE, which will help understanding the intention of the changes and let a new generation of tools act in consequence.

研究の動機と目的

• 低レベルのテキスト変更しか記録しない従来の ChangeSets の限界に対処すること。Smalltalk における変更履歴に意味的文脈を欠如させている。
• リファクタリング やメソッド名変更といった高水準のプログラミング意図を記録することで、コード共有と変更の理解を向上させること。
• 構文的差異ではなく意味的意図に基づいてコード変更に応答するツールの実現を可能にすること。
• 中間状態の回復と開発履歴を細かくナビゲートすることを可能にすること。
• インタラクティブ開発環境における次世代の共同的・探索的プログラミングツールの基盤を築くこと。

提案手法

• 各コード変更をクラス作成、メソッド変更、リファクタリングなどの第一級イベントとしてモデル化する意味的イベントモデルを設計する。
• 各ログエントリにタイムスタンプ、著者、およびトリガーイベントへの参照を含めるログ構造を実装し、変更の因果関係を追跡可能にする。
• 変更の時点でのコードユニット（クラス、メソッド）のスナップショットを保持するために Ring 定義を使用し、整合性と再現性を確保する。
• ログ（イベント履歴）とシステム状態（イメージ）を分離することで、過去の状態の独立したナビゲーションと回復を可能にする。
• NewChangeSystem の変更版を用いて Pharo Smalltalk にモデルを統合し、ブラウザインターフェースを通じてログを公開する。
• アンドゥ、リドゥ、リファクタリングなどの複雑な操作を、適切な依存関係追跡を伴う原子的で元に戻せるイベントとしてモデル化する。

実験結果

リサーチクエスチョン

• RQ1 開発環境イベントをどのようにモデル化すれば、低レベルのテキスト編集を超えたコード変更の背後にある意味的意図を保持できるか？
• RQ2 インタラクティブ環境における微細で意図に配慮したコード履歴をサポートするバージョニングシステムに必要な要件は何か？
• RQ3 意味的イベントを用いたログベースのシステムは、従来の ChangeSets と比較して、コード共有、レビュー、自動リファクタリングの面で改善をもたらすか？
• RQ4 ライブ開発環境において、中間状態と変更間の因果関係をどのように保持・回復できるか？
• RQ5 このようなシステムは、探索優先プログラミング（例：探索的プログラミング）を含む、新たな形の共同的・探索的プログラミングをどの程度可能にするか？

主な発見

• Epicea は、クラス名変更やリファクタリングといった高水準のプログラミング活動を第一級イベントとして効果的に捉え、コード変更の意味的理解を可能にした。
• 本システムは、イベントログと現在のイメージ状態を分離することで、中間状態の回復と開発履歴の独立したナビゲーションを可能にした。
• 著者、タイムスタンプ、トリガーイベントなどのメタデータをイベントに付与することで、Epicea は因果関係の追跡が可能になり、意味的正確性を持つアンドゥ・リドゥなどの操作を支援した。
• プロトタイプは、意味的イベントログが、パッケージ読み込みによって複数のメソッド追加が発生するような複雑なワークフローを、構造的かつ解析可能な形で表現できることを示した。
• Epicea の設計は、将来的なツールングに適しており、たとえばライブラリのアップデートを意味的変更通知を通じてクライアントに自動的に反映させる API 移行の自動化が可能になる。
• 従来の ChangeSets と比較して、Epicea のモデルは変更の解釈における曖昧性を低減し、レビューおよび共同作業におけるコード履歴の明確さを向上させた。