SURESOFT Solution

슈어소프트 솔루션

scroll

home arrow_forward_ios 사업영역 arrow_forward_ios 모델 검증 솔루션

모델 검증 솔루션

Model Verifier Model Inspector

MV@3x.png

테스트 하네스 생성, 테스트 시뮬레이션, 결과 비교, 커버리지 측정 등 모델 동적 검증 프로세스를 지원하는 모델 규칙 검사 자동화 도구

Verifier 이미지

쉬운 테스트 케이스 편집

엑셀 형태의 테스트 케이스 편집기 제공

드래그를 통한 편리한 자동 채우기 지원

시그널 데이터 일괄 변경 기능 제공

Verifier 이미지

모델 커버리지 측정

Decision, Condition, MC/DC, Lookup Table 등 총 13종 커버리지 측정

측정된 커버리지를 모델에 시각화하여 제공

모델과 연동되는 커버리지 다이얼로그를 통한 커버리지 정보 제공

브로셔 다운로드file_download

MI@3x.png

표준 모델링 규칙 자동 검사, 간편한 위배 탐색 및 수정, 모델 품질 지표 등 모델 정적 검증 프로세스를 지원하는 도구

Inspector 이미지

최다 규칙 검사 지원

656개의 업계 표준 모델링 규칙 지원을 통해 SW 품질 향상 지원

Inspector 이미지

위배 탐색 및 자동 수정

모델의 위배 위치 추적이 편리한 위배 탐색 창 제공

원 클릭으로 쉽고 빠르게 자동 수정 가능

브로셔 다운로드file_download