Hegel: 속성 기반 테스팅을 언어 가리지 않고 쓸 수 있게 해주는 새로운 프로토콜

테스트를 "예시"가 아니라 "규칙"으로 작성한다면?

우리가 보통 테스트 코드를 작성할 때는 특정 입력에 대해 특정 출력이 나오는지 확인하죠. 예를 들어 "add(2, 3)은 5를 반환해야 한다" 이런 식으로요. 이걸 예시 기반 테스팅(example-based testing)이라고 하는데, 이 방식의 한계는 개발자가 생각해낸 케이스만 테스트한다는 거예요. 놓치는 엣지 케이스가 생길 수밖에 없죠.

속성 기반 테스팅(Property-Based Testing, 줄여서 PBT)은 접근 방식이 달라요. 이게 뭐냐면, 특정 예시 대신 "항상 참이어야 하는 규칙(속성)"을 정의하고, 테스트 프레임워크가 수백~수천 개의 랜덤 입력을 자동으로 생성해서 그 규칙이 깨지는 케이스를 찾아주는 거예요. 예를 들어 "리스트를 정렬한 뒤 뒤집으면, 역순으로 정렬한 것과 같아야 한다"처럼 말이죠. 프레임워크가 알아서 다양한 리스트를 만들어서 테스트하니까, 개발자가 미처 생각하지 못한 버그를 잡아낼 확률이 높아져요.

이 분야에서 가장 유명한 도구가 Haskell의 QuickCheck인데요, 이 개념이 너무 강력하다 보니 다른 언어에서도 비슷한 라이브러리들이 많이 나왔어요. Python의 Hypothesis, Java의 jqwik, JavaScript의 fast-check 같은 것들이요. 그런데 문제는 이 라이브러리들이 각각 독자적으로 발전하다 보니, 언어마다 사용법도 다르고 기능 수준도 제각각이라는 거예요.

Hegel이 해결하려는 문제

Hegel은 바로 이 파편화 문제를 해결하려는 프로젝트예요. "범용 속성 기반 테스팅 프로토콜"이라고 스스로를 소개하는데, 핵심 아이디어는 PBT의 공통 동작(랜덤 데이터 생성, 축소(shrinking), 테스트 실행 등)을 언어에 독립적인 프로토콜로 정의하고, 각 언어에서 이 프로토콜을 구현하는 라이브러리를 제공하는 거예요.

여기서 "축소(shrinking)"라는 개념이 나오는데, 이게 PBT에서 정말 중요한 부분이에요. 쉽게 설명하면 이래요. 랜덤 테스트에서 실패하는 케이스를 찾았다고 해봐요. 근데 그 실패 입력이 길이 1000짜리 배열이라면 디버깅하기 어렵잖아요. 축소는 이 실패 케이스를 "여전히 실패하는 가장 작은 입력"으로 자동으로 줄여주는 과정이에요. 길이 1000짜리 배열에서 시작했지만, 알고 보면 특정 원소 3개만 있어도 실패한다는 걸 자동으로 찾아주는 거죠. 이게 있고 없고의 차이가 엄청나요.

Hegel은 이런 축소 전략이나 데이터 생성 방식을 프로토콜 수준에서 통일하려고 해요. 그래서 한 언어에서 PBT를 배우면 다른 언어에서도 거의 같은 방식으로 쓸 수 있게 되는 거예요. 폴리글랏(여러 언어를 쓰는) 환경에서 일하는 개발자에게 특히 매력적이죠.

기존 PBT 도구들과 비교하면?

현재 PBT 생태계에서 가장 성숙한 도구는 Python의 Hypothesis예요. Hypothesis는 단순히 랜덤 데이터를 생성하는 것을 넘어서, 데이터베이스에 실패 케이스를 저장하고, 상태 기반 테스팅(stateful testing)도 지원하고, 커버리지 가이드 퍼징까지 할 수 있거든요. 상태 기반 테스팅이란 API 호출 순서에 따라 발생하는 버그를 찾는 건데, 예를 들어 "생성 → 수정 → 삭제 → 수정" 같은 시퀀스에서 터지는 버그를 자동으로 탐색하는 거예요.

Hegel이 이런 성숙한 도구들의 기능 수준을 바로 따라잡긴 어려울 수 있지만, 프로토콜을 통일한다는 접근 자체가 가치 있어요. 마치 LSP(Language Server Protocol)가 에디터와 언어 서버 사이의 통신을 표준화해서 "모든 에디터에서 모든 언어를" 지원할 수 있게 한 것처럼, Hegel은 PBT 세계에서 비슷한 역할을 하려는 거예요.

한국 개발자에게 주는 시사점

솔직히 한국 개발 현장에서 PBT를 적극적으로 쓰는 팀은 아직 많지 않아요. 대부분 JUnit이나 pytest에서 예시 기반 테스트를 작성하는 수준이죠. 하지만 PBT는 특히 다음과 같은 상황에서 강력해요. 데이터 직렬화/역직렬화(JSON 파싱 등), 알고리즘 로직, API 상태 관리, 동시성 코드처럼 엣지 케이스가 많은 영역에서요.

당장 Hegel을 프로덕션에 도입하기보다는, PBT라는 개념 자체를 익혀두는 게 가치 있어요. 이미 쓰고 있는 언어에 맞는 PBT 라이브러리(Python이면 Hypothesis, JS/TS면 fast-check, Kotlin/Java면 jqwik)로 먼저 시작해보고, Hegel이 더 성숙해지면 전환을 고려해 보는 것도 좋은 전략이에요.