[論文レビュー] Collecting Graphical Abstract Views of Mercury Program Executions

Erwan Jahier|arXiv (Cornell University)|Oct 1, 2000

Software Engineering Research被引用数 2

ひとこと要約

この論文では、Mercuryのトレースシステムに基づいて構築された高水準なオペレータ、Collectを提示する。これにより、開発者はわずか数行のコードで、証明木、制御フローダイアグラム、ダイナミックコールグラフなどのグラフィカルな抽象化を生成し、ソフトウェア可視化ツールのフロントエンドとして利用できる。このアプローチは、トレーサを備えた任意の言語に移植可能である。

ABSTRACT

A program execution monitor is a program that collects and abstracts information about program executions. The operator is a high level, general purpose primitive which lets users implement their own monitors. Collect is built on top of the Mercury trace. In previous work, we have demonstrated how this operator can be used to efficiently collect various kinds of statistics about Mercury program executions. In this article we further demonstrate the expressive power and effectiveness of by providing more monitor examples. In particular, we show how to implement monitors that generate graphical abstractions of program executions such as proof trees, control flow graphs and dynamic call graphs. We show how those abstractions can be easily modified and adapted, since those monitors only require several dozens of lines of code. Those abstractions are intended to serve as front-ends of software visualization tools. Although is currently implemented on top of the Mercury trace, none of its underlying concepts depend of Mercury and it can be implemented on top of any tracer for any programming language.

研究の動機と目的

• Mercuryプログラムの実行を監視・可視化するための柔軟で高水準なメカニズムを提供すること。
• Collectオペレータを用いることで、最小限のコードでプログラム動作の複雑なグラフィカルな抽象化を生成できることを示すこと。
• 実行トレースを人間が読みやすい図に抽象化することで、ソフトウェア可視化ツールのフロントエンドの作成を可能にすること。
• 基礎的な概念がMercuryに依存しないことから、トレーシング機能を備えた任意の言語へも適用可能であることを示すこと。

提案手法

• Collectオペレータは、Mercuryトレースからの実行データを抽出・構造化するカスタムモニタを定義する汎用プリミティブとして使用される。
• モニタは、証明木や制御フローダイアグラムなどの特定のグラフィカルな抽象化を生成するために、数行のコードで実装される。
• このアプローチは、実行時の詳細をキャプチャするMercuryのトレースシステムを活用し、それを構造化された視覚的表現に変換する。
• グラフィカルな抽象化は、実行トレース内のコールパターン、制御フロー、論理的依存関係を分析することで生成される。
• 拡張性が高く、さまざまな分析ニーズに応じて視覚的表現を簡単に変更・適応可能である。
• 設計は概念的に言語に依存せず、トレーサインタフェースのみに依存するため、他の言語への移植が可能である。

実験結果

リサーチクエスチョン

• RQ1 Collectのような高水準オペレータを用いることで、最小限のコードでプログラム実行の意味のあるグラフィカルな抽象化を生成できるか？
• RQ2 Collectは、制御フロー や論理的証明といった複雑なプログラム動作を視覚的に表現するのにどの程度効果的か？
• RQ3 同じ監視インfraストラクチャが、コールグラフ や証明木といった多様な視覚化形式をサポートできるか？
• RQ4 このアプローチはMercuryにとどまらず、トレーシング機能を備えた他のプログラミング言語へ一般化可能か？
• RQ5 要件の変更に伴って、生成された視覚化はどの程度保守可能で適応可能か？

主な発見

• Collectを用いることで、わずか数行のコードで証明木、制御フローダイアグラム、ダイナミックコールグラフといった複雑なグラフィカルな抽象化を生成できる。
• 生成された視覚化は、ソフトウェア可視化ツールのフロントエンドとして効果的であり、プログラムの理解を向上させる。
• このアプローチは非常に適応可能で、さまざまな分析ニーズに応じて抽象化を簡単に変更できる。
• Collectのコアな概念はMercuryに依存せず、互換性のあるトレーサを備えた任意の言語に適用可能である。
• この方法は、軽量でドメイン特化されたモニタが、効果的に実行データを抽出・構造化して視覚化に適した形式に変換できることを示している。