WEKO3
アイテム
レガシーアセンブリープログラム理解支援のためのプログラム分析計算と可視化設計について
https://ipsj.ixsq.nii.ac.jp/records/13410
https://ipsj.ixsq.nii.ac.jp/records/1341035d50f34-444f-4653-b394-e3ef845aa223
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 1997 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | Journal(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 1997-05-15 | |||||||
タイトル | ||||||||
タイトル | レガシーアセンブリープログラム理解支援のためのプログラム分析計算と可視化設計について | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | On Design of Program Analysis and Visualization for Legacy Assembly Program Understanding | |||||||
言語 | ||||||||
言語 | jpn | |||||||
キーワード | ||||||||
主題Scheme | Other | |||||||
主題 | 論文 | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
資源タイプ | journal article | |||||||
その他タイトル | ||||||||
その他のタイトル | ソフトウェア工学 | |||||||
著者所属 | ||||||||
金沢工業大学人間・情報・経営系 | ||||||||
著者所属 | ||||||||
金沢工業大学人間・情報・経営系 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Human Information, Management and Computer Engineering, Kanazawa Institute of Technology | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Human Information, Management and Computer Engineering, Kanazawa Institute of Technology | ||||||||
著者名 |
秋山, 義博
× 秋山, 義博
|
|||||||
著者名(英) |
Yoshihiro, Akiyama
× Yoshihiro, Akiyama
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | レガシーソフトウェア保守が存続する限り,プログラム理解とそのためのブログラム設計情報(プログラム構造やコントロールフロー情報等)を抽出する作業が続く.しかし,これは,簡単ではなく,中でも,大規模で複雑なアセンブリープログラムが最もハードな問題を与えている.この論文では,そのようなプログラムの理解問題を取り上げ,(1)プログラム理解の目的,(2)プログラム理解プロセス,(3)プログラム情報の解析的記述法とプログラム分析・可視化アプローチ,(4)プロトタイプツールの概略と評価実験結果の順に述べる.特に,プログラム情報を解析的(形式的)記述する方法と実行時間軸と条件判断軸を座標系とする空間で制御フローを表す方法を提案し,これにより,正確な分析アルゴリズム設計を実現でき,表示出力も理解しやすくできることを示す.実際に,以上に基づいて,プロトタイプ:ソフトウェアマイクロスコープ(SMS)を作成し,約数千行の大規模複雑プログラムに対して実験を行い,自動的に基本的な構造情報を突き止め表示できることを確認した.また,プログラム分析から理解までに要する操作量を,プログラムエディタ利用の場合に比べて?10?3のオーダーで減ずることが分かった. | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | Legacy Software Maintenance demands never-ending program understanding.The task has become difficult because the information of program structure and behaviors is sometimes not visible to human eyes.Such situation may be resulted maximized in the case of large complex legacy assembly code.After defining the objective of the program understanding task,this paper describes first a general model of the program understanding processes which may vary from programs to programs.Then,a new description method that uses a bracket notation is introduced to formulate assembly program information.The bracket notation is also used to describe the program analysis computation(algorithm)so that how all program information needed for easier program understanding is derived or transformed is identified and specified accurately.To present easily-understandable flow graphs,compared to currently proposed versions,a new way of drawing program graphs is proposed by introducing a spacetime metric(axises)for the node layouting.A prototype called Software MicroScope(SMS)was developed based on these ideas and experimented to complex assembly programs of a few thousand lines.The evaluation has shown 1)automated analysis and visualization of program information,and 2)decreased workload of the program understanding by order of縲鰀10-3.The automated and accurate analysis of program information and the metric bsed software flow visualization were the keys for the improvement. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN00116647 | |||||||
書誌情報 |
情報処理学会論文誌 巻 38, 号 5, p. 1026-1039, 発行日 1997-05-15 |
|||||||
ISSN | ||||||||
収録物識別子タイプ | ISSN | |||||||
収録物識別子 | 1882-7764 |