| 講演名 | 1993/9/21 経路依存フローグラフを用いたプログラム・スライシング 直井 邦彰, 高橋 直久, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本稿では,一般化したデータフロー計算モデルで先に提案した経路依存フローグラフ(PDFG)を並列実行させることにより,各種スライスを統一的なフレームワークで求める手法を提案する.本稿では,まず,静的, 動的,逆方向/順方向,実行可/クロージャと呼ぶ3つの属性により,一般化した形式でスライスを表現する.次に,スライス作成のために,各属性に対してPDFGのノードの実行規則を与える.更に,3つの属性のとる値の組合せとして定義される8通りのスライスに対して,これらの実行規則を用いた計算法を与える.PDFGでは,データ,経路,制御の依存関係がアークとして表現されているため,ノードの実行規則を入れ換えることにより,各種スライスの検出が可能となっている. |
| 抄録(英) | This paper presents a unified framework for detecting various kinds of program slices.Here,the path dependence flow graph(PDFG) presented earlier is interpreted in parallel based on a generalized dataflow computing model.This paper defines eight kinds of slices as combinations of three binary-value attributes, and three execution rules corresponding to these attributes.All slice calculations can be attained by executing PDFG nodes with execution rules corresponding to slice attributes.This is because the data,path and control dependencies of a program are represented as arcs in PDFG. |
| キーワード(和) | プログラム解析 / データフロー型計算モデル / 依存グラフ / 手続き型プログラム / 並列実行 / プログラム・スライス |
| キーワード(英) | program analysis / dataflow computation model / dependence graph / imperative program / parallel execution / program slice |
| 資料番号 | SS93-25 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 1993/9/21(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 経路依存フローグラフを用いたプログラム・スライシング |
| サブタイトル（和） | |
| タイトル（英） | Program Slicing using a path dependence flow graph |
| サブタイトル（和） | |
| キーワード(1)（和/英） | プログラム解析 / program analysis |
| キーワード(2)（和/英） | データフロー型計算モデル / dataflow computation model |
| キーワード(3)（和/英） | 依存グラフ / dependence graph |
| キーワード(4)（和/英） | 手続き型プログラム / imperative program |
| キーワード(5)（和/英） | 並列実行 / parallel execution |
| キーワード(6)（和/英） | プログラム・スライス / program slice |
| 第 1 著者 氏名（和/英） | 直井 邦彰 / Kuniaki Naoi |
| 第 1 著者 所属（和/英） | NTTソフトウェア研究所 NTT Software Laboratories |
| 第 2 著者 氏名（和/英） | 高橋 直久 / Naohisa Takahashi |
| 第 2 著者 所属（和/英） | NTTソフトウェア研究所 NTT Software Laboratories |
| 発表年月日 | 1993/9/21 |
| 資料番号 | SS93-25 |
| 巻番号（vol） | vol.93 |
| 号番号（no） | 244 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |