소프트웨어 및 하드웨어 시스템에 결함이 있습니다.결함을 감지하는 중요한 기술 중 하나는 테스트입니다.모델 기반 개발이 확산되면서 모델도 테스트에 중요해졌습니다.모델 기반 테스트에서 테스트 모델은 테스트 스위트 (반)를 자동으로 생성하는 데 사용됩니다.모델 기반 테스트 기술은 몇 년이되었지만 여전히 개선의 여지가 있습니다.예를 들어, 대부분의 상용 모델링 도구는 선형 주문 유형에 대한 적절한 테스트 지원을 제공하지 않습니다.적용 범위 기준은 테스트 스위트의 결함 감지 능력을 측정하는 수단으로 사용됩니다.ParTeG의 접근 방식은 제어 흐름 기반 적용 범위 기준 (예 : MC / DC)과 경계 기반 적용 범위 기준 (예 : 다차원)의 만족도를 결합하는 것입니다.이 접근 방식은 모델 조건에서 입력 파티션 경계의 자동 생성에 중점을 둡니다.또한 출력 파티션을 상태 파티션을 통한 입력 파티션과 추상 경로의 교차 곱으로 변환하는 것으로 이해할 수 있습니다....