Program Slice 생성 모형에 관한 연구 ( A Study on the Program Slicing Model )