Program slicing とは

コンピュータプログラミングにおいて、プログラムスライシングは、プログラムスライスの集合の計算であり、プログラムスライスは、あるスライス基準と呼ばれる、ある点で値に影響を及ぼす可能性がある。プログラムのスライスをデバッグに使用すると、エラーの原因を簡単に見つけることができます。スライシングの他のアプリケーションには、ソフトウェアのメンテナンス、最適化、プログラム分析、情報フロー制御などがあります。
スライシング技術はMark Weiserの元来の定義以来急速に発展してきました。最初は、スライシングは静的であり、すなわち、ソースコード以外の情報なしにソースコードに適用された。 Bogdan KorelとJanusz Laskiは動的スライスを導入しました。このスライスはプログラムの特定の実行(特定の実行トレース用)で動作します。スライシングの他の形態、例えばパススライシングが存在する。