WEKO3
アイテム
手続き間情報の解析と整理のツールAUDIEについて
https://ipsj.ixsq.nii.ac.jp/records/16193
https://ipsj.ixsq.nii.ac.jp/records/16193d914d730-1a59-455e-a152-5ebc386f5edc
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
|
|
Copyright (c) 1982 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1982-01-15 | |||||||
| タイトル | ||||||||
| タイトル | 手続き間情報の解析と整理のツールAUDIEについて | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | A Tool for Analyzing and Documenting Interprocedural Information Including Execution Counts | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 九州大学工学部情報工学科 | ||||||||
| 著者所属 | ||||||||
| 九州大学工学部情報工学科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Computer Science and Communication Engineering, Kyushu University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Computer Science and Communication Engineering, Kyushu University | ||||||||
| 著者名 |
牛島, 和夫
田町, 典子
× 牛島, 和夫 田町, 典子
|
|||||||
| 著者名(英) |
Ushijima, Kazuo
Tamachi, Noriko
× Ushijima, Kazuo Tamachi, Noriko
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | プログラムは読んで理解しやすいことが重要である.しかしソースプログラム自身がわかりやすく書かれていても 手続き間関係あるいは処理対象となるデータの役割を大域的な視野で把握することは容易でない.プログラムが大きくなるとこれらの関係がますます複雑になるため 何らかの支援ツールが必要となる.既存の静的解析ツールは出力結果が大量になりがちで必ずしも利用しやすいとはいえない場合が多いので 必要な情報が探しやすいよう整理されていることが求められる.また動的解析結果を静的解析結果に加えて出力することによりさらに有効な情報を得ることが期待できる.以上の考察に基づき手続き間情報の解析と整理のツールAUDIEを作成した.AUDIEはFORTRANプログラムを静的に解析してその情報を蓄積し さらに手元にある実行回数計数ツールFORDAPによる動的解析情報を組み合わせ 整理して提示する.このシステムは1980年12月から九大大型計算機センターで一般の使用に供している.本論文ではまずAUDIEの機能を概説し その実現とAUDIEの作成するプログラムデータベースについて述べ AUDIEの使用例を通じてその効用を説明する.なおAUDIEは他環境への移し換えを考慮してPortabIe FORTRANで記述している. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116647 | |||||||
| 書誌情報 |
情報処理学会論文誌 巻 23, 号 1, p. 81-87, 発行日 1982-01-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7764 | |||||||