概要
- 「あるプログラムにおける、ある値を求めるために影響を与えている処理部分」を、部分プログラムとして抽出する技術である。
- プログラムスライシングによって抽出された部分プログラムをスライスと呼ぶ。
- 静的解析と動的解析に分かれる。
- 静的（スタティック）：どんな入力に対しても正常に動作するように抽出する→可能性があるところを漏らさず抽出する。
- 動的（ダイナミック）：ある入力に対して正常に動作するように抽出する→確実に必要になる最低限のところだけを抽出する。
- Mark Weiserによって考案された。
外部
最終更新：2009年06月11日 17:05
