요구 검증과 양방향 추적성

핵심 요약

‘올바르게 작성되었는가’와 ‘올바른 요구인가’는 구분할 필요가 있다. 형식·일관성·검증 가능성을 확인하는 품질 검토와, 실제 업무 필요·의도·가치를 이해관계자에게 확인하는 활동을 함께 수행한다. 승인 전에 상위 목표와 출처, 하위 모델·인터페이스·시험의 연결을 검토하면 누락된 요구와 근거 없는 과잉 구현을 찾을 수 있다.

학습 목표

• 요구 확인과 품질 검증의 질문·책임·결과를 구분한다.
• 요구 품질 특성을 사례에 적용한다.
• 정방향·역방향 추적과 양방향 추적성의 목적을 설명한다.
• 형식적 서명과 실질적 승인, 추적성 존재와 추적성 품질을 구분한다.

1. 확인과 검증의 구분

1.1 정보 요구 사항 확인

분석·상세화한 요구가 이해관계자의 실제 업무 필요와 의도를 올바르게 반영하는지 검토하고 합의하는 활동이다. 사용자 시나리오, 사례, 프로토타입, 워크스루 등을 통해 ‘이 요구가 맞는가’, ‘예외와 우선순위에 동의하는가’를 확인한다.

1.2 품질 검증

요구 집합과 문서가 정해진 기준에 맞게 작성되었는지 체계적으로 점검한다. ‘빠짐없이, 모순 없이, 한 가지 의미로, 구현·시험 가능한가’를 본다. 공식 가이드의 후속 ‘정보 요구 사항 검증’ 범위와 연결되며, 이 단원에서는 확인과 양방향 추적성을 중심으로 구분한다.

1.3 용어 주의

실무 표준과 방법론에 따라 verification과 validation의 번역·배치가 달라질 수 있다. 시험에서는 제시된 정의와 문맥을 우선하되, 다음 두 질문을 구분하면 함정을 피할 수 있다.

• 작성 품질 질문: 요구가 명확·일관·검증 가능하게 기술되었는가?
• 업무 적합성 질문: 이 요구가 실제 이해관계자의 필요와 목적에 맞는가?

2. 요구 품질 검토 기준

품질 기준을 체크박스로만 표시하지 않고 결함 위치, 영향, 수정 책임과 재검토 결과를 남긴다.

3. 양방향 추적성

[경영 목표/규정/업무 필요]
              ↓ 정방향
        [정보 요구 사항]
          ↓       ↓
 [데이터 모델] [인터페이스/기능]
          ↓       ↓
        [구현·시험·수용 결과]
              ↑ 역방향

• 정방향 추적: 상위 요구가 하위 설계·구현·시험에서 빠짐없이 실현되는지 확인한다.
• 역방향 추적: 하위 산출물이 어떤 요구와 근거에서 비롯되었는지 확인하여 과잉 구현을 찾는다.
• 양방향 추적성: 두 방향을 모두 유지하여 완전성, 변경 영향, 범위 통제를 지원한다.

링크가 존재하기만 하면 충분하지 않다. 관계 유형, 대상 버전, 유효 상태, 책임자와 최신성을 확인해야 한다. 하나의 요구가 여러 모델·시험에 연결되거나 여러 상위 근거에서 파생될 수 있다.

4. 확인·승인 흐름과 사례

1. 검토 대상 요구 집합과 적용 버전을 고정한다.
2. 품질 기준에 따라 동료·전문가 검토를 수행한다.
3. 이해관계자와 업무 시나리오·예외·우선순위·수용 기준을 확인한다.
4. 상위 근거와 하위 산출물의 양방향 연결을 검토한다.
5. 결함·미결·조건부 승인 사항을 수정 또는 기록한다.
6. 승인권자가 승인·조건부 승인·반려를 결정한다.
7. 승인 버전을 기준선으로 설정하고 후속 변경을 통제한다.

사례: 데이터 모델에 ‘고객 선호 채널’ 속성이 있으나 관련 요구와 사용 업무가 없다. 역방향 추적에서 근거 없는 설계인지, 누락된 요구인지 확인한다. 반대로 요구 R-24가 어떤 모델·시험에도 연결되지 않으면 정방향 추적에서 미반영 가능성을 조사한다.

5. 비교와 구분

시험 판단 포인트

• 요구 확인은 업무 필요의 적합성, 품질 검증은 명확성·일관성·검증 가능성 등을 묻는다.
• 정방향 추적은 요구의 하위 반영, 역방향 추적은 하위 산출물의 상위 근거를 확인한다.
• 양방향 추적성은 누락·과잉 구현과 변경 영향 분석을 지원한다.
• 추적 링크는 대상 버전·관계 의미·상태·최신성을 검증해야 한다.
• 승인은 미결과 조건을 이해한 권한자의 결정이며 단순 서명과 같지 않다.

자주 틀리는 부분

• verification·validation 번역만 외워 문맥상 질문을 놓치지 않는다.
• 추적 링크가 하나라도 있으면 요구가 완전히 실현되었다고 판단하지 않는다.
• 모델에 존재하지만 요구 근거가 없는 요소를 자동으로 삭제하지 않고 누락 요구 가능성도 조사한다.
• 조건부 승인과 완전 승인을 같은 상태로 처리하지 않는다.