도메인 특화 모델링으로 이끄는 자동 테스트 생성

초록

본 논문은 테스트 모델을 구축하는 언어 전문가와 시스템 도메인에 정통한 도메인 전문가가 협업할 수 있도록, Java 기반의 풀 프로그래밍 환경에 가벼운 모델링 요소를 제공하는 프레임워크를 제안한다. 이 프레임워크로 만든 모델을 자동으로 도메인‑특화 모델링 언어(Domain‑Specific Modeling Language, DSML)로 변환해 도메인 전문가가 친숙한 개념으로 테스트 생성 범위를 제한·지시할 수 있게 함으로써, 전체 모델 커버리지 테스트, 선택적 부분 커버리지 테스트, 그리고 수동 정의 테스트를 효율적으로 지원한다.

상세 분석

이 연구는 모델 기반 테스트(MBT) 분야에서 흔히 발생하는 ‘언어 장벽’ 문제를 실용적인 방법으로 해결한다는 점에서 의미가 크다. 기존 MBT 도구들은 주로 DSL(Domain‑Specific Language) 기반 모델링을 요구하지만, DSL 설계와 유지보수에 필요한 전문 지식이 부족한 경우가 많다. 논문은 이러한 한계를 극복하기 위해 두 가지 역할을 명확히 구분한다. 첫 번째는 언어 전문가로, Java와 같은 범용 프로그래밍 언어 위에 경량화된 모델링 요소(예: 상태, 전이, 가드, 액션)를 삽입해 테스트 모델을 구현한다. 이 접근법은 기존 IDE, 디버거, 정적 분석 도구 등을 그대로 활용할 수 있게 하여 학습 비용을 최소화한다. 두 번째는 도메인 전문가로, 자동으로 생성된 DSML을 통해 도메인 용어(예: “주문 생성”, “재고 감소”)로 테스트 시나리오를 제한하거나 구체화한다. DSML은 모델의 메타데이터를 추출해 템플릿 형태로 제공되며, 도메인 전문가가 별도 코딩 없이도 테스트 범위를 지정할 수 있다.

프레임워크의 핵심 메커니즘은 모델‑투‑DSML 변환 파이프라인이다. 모델링 요소에 부여된 어노테이션과 메서드 시그니처를 분석해 도메인 개념을 자동 추출하고, 이를 기반으로 DSL 문법과 구문 검증 규칙을 생성한다. 이렇게 생성된 DSL은 텍스트 기반이면서도 Eclipse와 같은 환경에 플러그인 형태로 통합돼, 도메인 전문가가 GUI 혹은 간단한 스크립트로 테스트 제약조건을 정의할 수 있게 한다.

테스트 생성 단계에서는 두 가지 전략이 병행된다. ① 전면 커버리지: 모델 전체를 탐색해 가능한 모든 전이 조합을 테스트 케이스로 변환한다. ② 제한 기반 생성: 도메인 전문가가 DSL로 지정한 조건(예: 특정 상태만 포함, 특정 전이 순서 제한 등)에 따라 탐색 공간을 축소한다. 또한, 사용자는 DSL 스크립트에 직접 테스트 시나리오를 삽입해 수동 정의 테스트를 만들 수 있다.

실험 결과는 세 가지 관점에서 긍정적이다. 첫째, 언어 전문가가 기존 Java 코드베이스에 모델링 요소만 추가함으로써 모델 작성 시간이 30 % 이상 단축되었다. 둘째, 도메인 전문가가 DSL을 사용해 테스트 범위를 지정했을 때, 불필요한 테스트 케이스가 평균 45 % 감소했으며, 결함 탐지율은 유지되었다. 셋째, 전체 파이프라인이 자동화돼 CI/CD 파이프라인에 쉽게 통합될 수 있었으며, 테스트 실행 후 자동 리포트 생성까지 원스톱으로 제공되었다.

이러한 설계는 확장성과 유지보수성을 동시에 확보한다. 새로운 도메인 개념이 추가되면 언어 전문가가 기존 Java 모델에 어노테이션만 추가하면 되고, DSML은 자동으로 업데이트된다. 또한, 프레임워크가 제공하는 추상화 레이어는 모델과 테스트 생성 로직을 명확히 분리해, 각각을 독립적으로 진화시킬 수 있게 한다.

하지만 몇 가지 한계도 존재한다. DSL 자동 생성 과정이 모델 어노테이션에 크게 의존하기 때문에, 어노테이션 설계가 부실하면 DSL 품질이 저하될 위험이 있다. 또한, Java 기반 모델링이 비전문가에게는 여전히 진입 장벽이 될 수 있어, 향후 시각적 모델링 툴과의 연계가 필요하다. 마지막으로, 대규모 시스템에서 전면 커버리지를 수행할 경우 상태 폭발(state explosion) 문제가 완전히 해결되지 않아, 추가적인 탐색 최적화 기법이 요구된다.

종합하면, 이 논문은 프로그래밍 언어와 도메인 특화 모델링을 결합함으로써 MBT의 실무 적용성을 크게 향상시킨다. 언어 전문가와 도메인 전문가 간의 역할 분담을 명확히 하고, 자동화된 DSL 생성 및 테스트 제약 지정 메커니즘을 제공함으로써, 테스트 설계 비용을 절감하고 품질을 유지·향상시키는 실용적인 프레임워크를 제시한다.