모델 기반 테스트
소프트웨어의 설계 모델(명세)로부터 테스트 케이스를 자동으로 생성하고, 실제 구현체가 모델의 동작과 일치하는지 검증하는 기법이다. 명세와 코드 사이의 정밀한 연결을 보장하여 LLM이 생성한 코드의 신뢰성을 기계적으로 확인하는 데 사용된다.