유지보수의 종류 중 소프트웨어 검사 단계에서 밝혀지지 않은 모든 잠재적인 오류를 수정하기 위한 보수형태로서 오류의 진단과 수정이 포함되는 것은?