계약 기반 클래스의 상태 기계 자동 생성 기법

클래스의 동적 모델은 클래스의 행위를 이해하고, 클래스가 의도한 행위를 정상적으로 수행하고 있는 지를 판단하는데 유용하다. 하지만 클래스의 동적 모델을 생성하는 작업은 많은 시간과 비용이 소모된다. 본 연구에서는 계약 기반의 클래스를 이용하여 클래스의 동적 모델을 자동으로 생성하는 기법을 제안한다.