2.2 전통적 소프트웨어 엔지니어링에서의 오라클 분류 체계
- 2.2 전통적 소프트웨어 엔지니어링에서의 오라클 분류 체계
- 2.2.1 참 오라클(True Oracle): 모든 입력에 대해 완벽한 정답을 제공하는 이상적 모델
- 2.2.2 휴리스틱 오라클(Heuristic Oracle): 통계적 근사치와 경험적 법칙에 기반한 검증
- 2.2.3 일관성 오라클(Consistency Oracle): 동일 입력에 대한 이전 실행 결과와의 비교
- 2.2.4 모델 기반 오라클(Model-based Oracle): 상태 전이 다이어그램 및 수학적 모델 활용
- 2.2.5 파생 오라클(Derived Oracle): 기존 시스템이나 대체 알고리즘의 결과를 정답으로 간주
- 2.2.6 암시적 오라클(Implicit Oracle): 시스템 붕괴(Crash), 무응답 등 비정상 종료 감지