자료 흐름 분석에 기반을 둔 프로그램 SLICNIG에 관한 연구

프로그램 Slicing은 프로그램의 데이타 플로우와 콘트롤 플로우를 분석함으로서 자동적으로 프로그램을 Decomposing하는 방법이다. 감축된 프로그램을 “Slice”라 하고 이것은 특정한 변수가 포함된 문장들을 추출하여 그 변수의 실행 상태를 알 수 있다. 본 논문에서는 자료 흐름 분석을 이용해 디버깅, 테스팅, 유지 보수 등 유용성을 제공하는 Slicing 방법에 관하여 연구 하였다.