명세 기반 테스트로 요구사항을 검증하는 설계 기법

요구사항이 테스트 케이스를 결정하게 만들기

명세 기반 테스트(Specification-based Testing)는 프로그램 내부 구조를 보지 않고 요구사항 명세서를 근거로 테스트 케이스를 고르는 기능적 테스트 기법이다. 입력 데이터와 기대 결과를 중심에 두는 블랙박스·데이터 주도(Data Driven) 접근이며, 코드 커버리지 대신 요구사항·규칙·조합·흐름 커버리지를 관리한다.

이 방식에서는 입력과 출력뿐 아니라 업무 규칙, 상태 전이, 인터페이스 제약, 데이터 사전도 테스트 설계의 재료가 된다. 테스트 데이터 세트를 분리해 바인딩하면 재사용과 자동화에도 유리하다.

요구사항 단위로 테스트 목적과 케이스를 연결하면 추적성 메트릭을 관리할 수 있다. 변경이 발생했을 때 영향 범위를 빠르게 찾는 데도 이 연결이 사용된다.

명세를 케이스와 오라클로 바꾸는 흐름

테스트 설계의 입력은 요구사항 명세서, 규칙·제약 조건, 인터페이스 명세, 데이터 사전이다. 이를 분석해 기법을 매핑하고, 모델링·분할·경계를 도출한 뒤 조합과 우선순위를 결정한다. 이어 테스트 데이터와 오라클을 설계하고 자동화 스크립트로 옮긴다.

산출물은 테스트 케이스 목록, 테스트 데이터 세트, 자동화 스크립트, 커버리지·결함 리포트로 이어진다. 결함과 커버리지 결과는 다시 설계에 반영한다.

⤢✕

입력 도메인과 규칙의 성격에 맞춘 기법 선택

등가분할(Equivalence Partitioning)은 입력 도메인을 유효·무효 같은 동등 클래스나 파티션으로 나눈다. 각 파티션에서 대표값을 1개 이상 선택해 적은 케이스로 커버리지를 확보하는 방식이다.

경계값 분석(Boundary Value Analysis)은 최소·최대처럼 경계 주변에 결함이 집중된다는 경험 법칙을 활용한다. 경계값, 경계±1, 바로 안과 밖의 값을 선택해 off-by-one 오류와 범위 오류를 찾는다.

결정테이블 테스트(Decision Table Testing)는 조건과 행동을 열거한 뒤 규칙 집합으로 조합해 검증한다. 규칙 축소, 불가능 조합 마스킹, 우선순위 규칙 명시로 실용적인 규모를 유지한다.

원인-결과 그래프 테스트(Cause-Effect Graphing)는 논리 조건의 의존성과 결과를 그래프로 모델링하고 결정테이블로 변환한다. 복잡한 Boolean 규칙, 상호 배제·동시 조건, 제약 전파를 검증할 때 적합하다.

CRUD 매트릭스 테스트(CRUD Matrix)는 엔터티·리소스와 Create/Read/Update/Delete 조작을 매핑해 수명주기를 확인한다. API, 데이터 서비스, ETL 경로에서 권한·무결성·감사 추적을 검증하는 데 쓰인다.

Pairwise 테스트(Pairwise, All-pairs)는 매개변수 간 2-way 조합을 최소 케이스로 포괄한다. 제약 조건을 처리하고 가중치·우선순위를 적용할 수 있으며, 고차 조합으로 확장할 수도 있다.

유스케이스 테스트(Use Case Testing)는 정상·대안·예외 시나리오의 흐름을 검증한다. 사전 조건, 트리거, 액터와 시스템의 상호작용, 후조건을 테스트 케이스로 구체화한다.

블랙박스·데이터 주도, 동등분할, 경계값, 의사결정테이블, 상호조합(Pairwise), 유스케이스에 원인-결과 그래프와 CRUD 매트릭스를 함께 적용할 수 있다.

기법별 운영 특성

기법	효율성(테스트 수 대비 커버리지)	확장성(입력 차원 증가 시)	일관성(규칙 반영 정도)	안정성(재현·회귀 용이)	운영 편의(도구/자동화)
등가분할	높음	높음	중간	높음	높음
경계값 분석	높음	높음	중간	높음	높음
결정테이블	중간	중간	높음	높음	중간
원인-결과 그래프	중간	중간	매우 높음	높음	중간
CRUD 매트릭스	중간	높음	중간	매우 높음	높음
Pairwise	매우 높음	매우 높음	중간	높음	매우 높음
유스케이스	중간	중간	중간	중간	중간

효율성은 케이스 수 대비 요구사항·규칙·조합 커버리지 비율을 뜻한다. 확장성은 차원과 도메인이 늘어날 때의 케이스 증가율, 일관성은 규칙 충실도, 안정성은 회귀와 재현성, 운영 편의는 도구 지원과 자동화 용이성 관점에서 판단한다.

규칙, 데이터 수명주기, 조합이 복잡한 곳에서의 적용

금융 이체 한도와 수수료 규칙은 결정테이블과 경계값 분석을 함께 적용할 수 있다. 일·월 한도, 고객 등급, 채널 특성 조건을 규칙 기반으로 검증하는 경우다.

전자상거래 쿠폰·프로모션 엔진에서는 원인-결과 그래프를 결정테이블로 변환해 복잡한 조건을 다룬다. 중복 할인, 상호 배제, 우선순위 규칙에서 논리 결함을 조기에 찾는 데 사용된다.

API 기반 마이크로서비스의 데이터 일관성은 CRUD 매트릭스와 유스케이스 테스트를 결합해 검증할 수 있다. 수명주기, 권한, 감사 로그와 함께 Read-your-writes, 소프트 삭제, 부분 업데이트 패턴을 확인한다.

구성 파라미터가 많은 제품은 Pairwise로 2-way 조합을 줄이고, 고위험 파라미터에는 가중 조합을 적용한다. 제약 조건 모델링은 비현실적인 조합과 불필요한 실행을 제거하는 데 쓰인다.

커버리지와 실행 비용에 미치는 영향

명세 기반 설계를 적용하면 무작위·감각적 선정 대비 3060% 케이스 절감 가능성이 있으며, 조합 축소 효율로 빌드 당 실행 시간을 2550% 단축할 수 있다.

경계·규칙·조합 결함의 검출력이 높아지면 운영 유출 결함을 20~40% 줄일 수 있고, 복잡 규칙 영역에서 논리 결함을 일찍 발견해 재작업 비용을 낮출 수 있다. 요구사항·규칙·조합 커버리지는 90% 이상을 목표로 설정하고 관리할 수 있으며, 변경 영향 범위를 자동 산출해 회귀 범위를 최적화할 수 있다.

수치 범위는 업계 일반 보고 및 도입 사례 기반의 보수적 추정이며, 조직 성숙도·도구·도메인 복잡도에 따라 변동 가능하다.

명세 품질을 먼저 확보한 뒤 문제 성격에 맞는 기법을 매핑하고, 모델과 데이터 관리 자동화, 커버리지 기반 품질 게이트를 차례로 정착시키는 방식이 적합하다. 초기에는 등가분할·경계값·결정테이블을 표준화하고, 도메인 특성에 따라 Pairwise·원인-결과·CRUD·유스케이스로 확장할 수 있다.