[論文レビュー] DUCT: an interactive define-use chain navigation tool for relative debugging

Aaron Searle, John Gough+1 more|arXiv (Cornell University)|Jan 1, 2003

Parallel Computing and Optimization Techniques被引用数 3

ひとこと要約

DUCT は、.NET プログラムの複数バージョンにわたる定義-使用チェーンの効率的ナビゲーションを可能にするインタラクティブなツールであり、Microsoft Intermediate Language (MSIL) を活用している。相対的デバッグを支援する。MSIL レベルで動作するため、ソースコードの変更なしに多様な .NET 言語を透明に処理でき、バージョン管理されたソフトウェアの進化におけるトレーサビリティを著しく向上させる。

ABSTRACT

This paper describes an interactive tool that facilitates following define-use chains in large codes. The motivation for the work is to support relative debugging, where it is necessary to iteratively refine a set of asser-tions between different versions of a program. DUCT is novel because it exploits the Microsoft Intermediate Language (MSIL) that underpins the .NET Framework. Accordingly, it works on a wide range of programming languages without any modification. The paper describes the design and implementation of DUCT, and then illustrates its use with a small case study.

研究の動機と目的

• 相対的デバッグ中に、大規模なプログラムの複数バージョンにわたるデータフローのトレースという課題に対処すること。
• 複雑で進化を続けるコードベースにおいて、定義-使用チェーンを手動で追跡する認知的および機械的負荷を軽減すること。
• データ依存関係のインタラクティブナビゲーションを提供することで、プログラムのバージョン間での効率的なデバッグを実現すること。
• .NET エコシステムにおけるクロス言語デバッグを支援するために、言語固有の構文や意味論を抽象化すること。

提案手法

• ツールは、言語に依存しない静的解析を可能にするために、Microsoft Intermediate Language (MSIL) レベルでプログラムを分析する。
• MSIL 指令と制御フローグラフを静的に解析することで、定義-使用チェーンを構築する。
• 開発者が複数のバージョンにわたって定義から使用へのデータフローをトレースできる、インタラクティブなインターフェースを提供する。
• 異なるプログラムバージョンの MSIL 表記をアラインメントすることで、バージョン比較を支援する。
• コードの変更に伴いチェーンを効率的に更新できる、インクリメンタル解析を統合する。
• .NET ランタイムの一貫した中間表現を活用することで、C# や VB.NET などの異なる .NET 言語との互換性を保証する。

実験結果

リサーチクエスチョン

• RQ1 複数バージョンのプログラムにわたる定義-使用チェーンを、相対的デバッグを支援するために効果的にナビゲートする方法は何か？
• RQ2 MSIL を共通の抽象化として用いることで、どの程度クロス言語およびクロスバージョンデバッグのサポートが可能になるか？
• RQ3 定義-使用チェーンのインタラクティブナビゲーションは、進化を続けるコードベースにおけるデータフローの変更を特定・理解するために必要な作業負荷を軽減できるか？
• RQ4 プログラムのサイズおよびバージョン数の増加に伴い、ツールのパフォーマンスはどのようにスケーリングするか？

主な発見

• DUCT は、MSIL を統一された分析ターゲットとして用いることで、複数のプログラムバージョンにわたる定義-使用チェーンのインタラクティブナビゲーションを可能にしている。
• ツールは、言語固有のインストルメンテーションやパーサーを必要とせず、多様な .NET 言語間での相対的デバッグをサポートしている。
• MSIL レベルで動作するため、異なるバージョンを解析する際のソースコードの再パースを回避できる。
• 事例研究では、バージョン間でのデータフローの変更をトレースするために要する時間と作業負荷が DUCT によって短縮されたことが示された。
• ツールの設計により、コードの進化に伴い定義-使用チェーンをインクリメンタルに更新できるため、スケーラビリティが向上した。
• アプローチにより、データフローの進化を可視化することで、開発者は意味的回帰を効率的に特定・デバッグできるようになった。