プログラムスライシング

プログラムスライシングは、データフローと制御フローを分析することによりプログラムを自動的に分解する方法です。プログラムの動作のサブセットから始めて、スライシングはそのプログラムを、その動作を引き続き生成する最小の形に減少させます。減少されたプログラムは、``スライス''と呼ばれ、指定された動作のサブセットの範囲内で元のプログラムを正確に表現することが保証された独立したプログラムです。スライスのいくつかの特性が示されます。特に、ステートメント最小スライスの発見は一般に解決不可能ですが、データフロー解析を使用することで近似スライスを見つけるには十分です。潜在的な応用には、デバッグやスライスの並列処理のための自動スライシングツールが含まれます。