関数呼び出し履歴を利用したプログラムスライス抽出技法の提案と実現

地平, 稔; 西松, 顯; 楠本, 真二 他

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 1998, 98(86), 9-15

Number of Access:520（2025-09-04 14:41 Counts）

Identifier to cite or link to this item: https://hdl.handle.net/11094/26688

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
itr98_86_9 pdf None 505 KB 55 2014.01.31  

Item Information

Output File Export EndNote Basic Export Mendeley

Title
関数呼び出し履歴を利用したプログラムスライス抽出技法の提案と実現
Program Slicing Technique Using Function Call History
カンスウ　ヨビダシ　リレキ　ヲ　リヨウ　シタ　プログラム　スライス　チュウシュツ　ギホウ　ノ　テイアン　ト　ジツゲン
Creator
CreatorName
地平, 稔 ; ジヒラ, ミノル ; Jihira, Minoru
CreatorName
西松, 顯 ; ニシマツ, アキラ ; Nishimatsu, Akira
NRID
1000030234438 1000030234438
researchmap permalink
read0013799 read0013799
Scopus Author ID
7102741360 7102741360
CreatorName
楠本, 真二 ; クスモト, シンジ ; Kusumoto, Shinji
NRID
1000020168438 1000020168438
CreatorName
井上, 克郎 ; イノウエ, カツロウ ; Inoue, Katsuro
Subject
プログラムスライス
プログラム依存グラフ
関数呼び出し履歴
Program Slice
Program Dependence Graph
Function Call History
Abstract
本研究では, プログラムを実行して得られる動的な情報を静的スライスに組み合せることで, 動的スライスよりも小さな時間的・空間的コストで静的スライスの一部を抽出する技法を提案する.この技法では, 動的な情報として実行された関数呼出し文の履歴情報を利用し, プログラム中から実行されなかった文の特定を行ない, 実行されなかった文をプログラム依存グラフ(Program Dependence Graph)上から除いてスライスを計算する.この技法を用いることで, 既存の動的情報を用いるよりも小さなコストで, 静的スライスよりも小さなスライスが得られる.
In this paper, we propose a new program slice, called CH Slice(Call-History restriction Slice), by combining static slice with the dynamic information obtained from the program excution. At first, we translate the program (source code) into program dependence graph(called PDG). Next, we execute the program and then preserve the function call history(CH) during the program execution, Finally, we compute CH slice with PDG and CH, as specifying the non-executed statement. Consequently, CH Slice is smaller and more precise than dynamic slice. The cost of construction of CH Slice is the same as static slice.
Publisher
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
Source Title
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
Volume (Issue)
98(86)
Page
9-15
Date of Issued
1998-05-29
Language
Japanese
Handle URL
https://hdl.handle.net/11094/26688
NCID
AN10013287
Access Rights
open access
CopyRight
Copyright © 1998 IEICE
本文データはCiNiiから複製したものである
oaire:version
Version of Record
Category
学術雑誌論文 Journal Article