Runtime Verification
런타임 검증
수정된 산출물에서 발생한 관찰 결과를 Acceptance Criteria와 대조하고 제어에 필요한 Feedback으로 바꾸는 과정입니다. Artifact State, Runtime Behavior, Evaluation Signal, External Response를 입력으로 받아 Criterion Status, Failure Diagnosis, Revision Guidance를 산출합니다. 실패 위치와 원인을 수정 가능한 단위에 연결할 때 다음 Action을 좁힐 수 있습니다.
