객체지향 프레임웍의 가변부위에 대한 상호작용 테스트의 명세 및 추출