커버리지 목표를 먼저 정하고 시나리오 기반 검증과 형식 검증을 병행하는 결
메모리 컨트롤러 검증 수업에서 기능 검증 없이 연결만 확인했다가 실제 읽기·쓰기 시나리오에서 오류가 나는 경우를 배웠습니다. 기능적 정확성은 트랜잭션 시나리오로 검증해야 한다는 걸 알았습니다. 실습에서 읽기·쓰기·갱신 시나리오를 각각 테스트 케이스로 작성하고 경계 조건을 포함했습니다.
형식 검증으로는 프로토콜 규칙 위반을 찾고, 시나리오 검증으로는 데이터 무결성을 확인합니다. 커버리지 목표를 100% 기능 커버리지로 설정하고 미달 항목은 추가 케이스로 보강했습니다. 팀 프로젝트에서 이 방식으로 검증 커버리지를 달성하면서 타이밍 위반 외 기능 버그 없이 통합을 완료했습니다. 지금도 컨트롤러 검증은 커버리지 목표 설정이 먼저입니다.