キーワード : プログラムスライス


アセンブラプログラミング演習におけるチャンクとプログラムスライスに基づく答案プログラム分析システム
立岩 佑一郎 吉田 裕一 山本 大介 高橋 直久 
誌名:   電子情報通信学会論文誌 D
発行日: 2013/06/01
Vol. J96-D  No. 6 ; pp. 1513-1525
論文種別:  論文
専門分野: 教育工学
キーワード: 
アセンブラプログラミングプログラムスライスチャンクデバッグ支援
 あらまし | 本文:PDF(960.2KB)

スライス計算効率化のためのプログラム依存グラフの節点集約法
大畑 文明 横森 励士 西松 顯 井上 克郎 
誌名:   電子情報通信学会論文誌 D
発行日: 2001/07/01
Vol. J84-D1  No. 7 ; pp. 1021-1029
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
プログラムスライスプログラム依存グラフ効率精度
 あらまし | 本文:PDF(634.1KB)

フォールト位置特定におけるプログラムスライスの実験的評価
西松 顯 西江 圭介 楠本 真二 井上 克郎 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/11/25
Vol. J82-D1  No. 11 ; pp. 1336-1344
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
プログラムスライスデバッグフォールト位置特定実験的評価
 あらまし | 本文:PDF(782.5KB)

保守プロセスに対するプログラムスライスの実験的評価
西松 顯 楠本 真二 井上 克郎 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/08/25
Vol. J82-D1  No. 8 ; pp. 1121-1123
論文種別:  レター
専門分野: 
キーワード: 
プログラムスライス保守プロセスプログラム理解
 あらまし | 本文:PDF(63.6KB)

プログラム依存グラフの効率的な更新手法
高田 智規 佐藤 慎一 井上 克郎 
誌名:   電子情報通信学会論文誌 D
発行日: 1998/03/25
Vol. J81-D1  No. 3 ; pp. 253-260
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
プログラム依存グラフ更新プログラムスライスデバッグ支援
 あらまし | 本文:PDF(553.9KB)

経路依存フローグラフのデータフロー計算に基づくプログラムスライス作成法
直井 邦彰 高橋 直久 
誌名:   電子情報通信学会論文誌 D
発行日: 1996/11/25
Vol. J79-D1  No. 11 ; pp. 954-965
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
プログラム解析依存グラフプログラムスライス手続き型プログラムデータフロー型計算モデル
 あらまし | 本文:PDF(860KB)

FIND:デバッグ自動化支援システム
下村 隆夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1996/07/25
Vol. J79-D1  No. 7 ; pp. 446-456
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
アルゴリズミックデバッギングプログラムスライスフォールト手続き型言語分割検証
 あらまし | 本文:PDF(674.1KB)

経路依存フローグラフを用いたプログラムスライシング
直井 邦彰 高橋 直久 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/07/25
Vol. J78-D1  No. 7 ; pp. 607-621
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
プログラム解析依存グラフプログラムスライス手続き型プログラムデータフロー型計算モデル
 あらまし | 本文:PDF(1020.4KB)