파일 입출력 precondition, postcondition 추가