Key points are not available for this paper at this time.
이 논문은 테스트 프로세스를 향상시키기 위해 Z 명세의 형식 분석을 다룹니다. 입력 도메인의 파티션과 유한 상태 자동 모델의 상태를 추출할 수 있는 형태로 명세를 재작성하는 알고리즘이 제시됩니다. 이전의 결과로 테스트 케이스를 추출할 수 있고, 후자의 결과를 바탕으로 테스트 프로세스를 제어하기 위한 자동화된 시스템을 구축할 수 있습니다. © 1997 John Wiley & Sons, Ltd.
로버트 M. 히어론스 (Sat,)는 이 문제를 연구했습니다.