슈어소프트 솔루션
테스트 하네스 생성, 테스트 시뮬레이션, 결과 비교, 커버리지 측정 등 모델 동적 검증 프로세스를 지원하는 모델 규칙 검사 자동화 도구
엑셀 형태의 테스트 케이스 편집기 제공
드래그를 통한 편리한 자동 채우기 지원
시그널 데이터 일괄 변경 기능 제공
Decision, Condition, MC/DC, Lookup Table 등 총 13종 커버리지 측정
측정된 커버리지를 모델에 시각화하여 제공
모델과 연동되는 커버리지 다이얼로그를 통한 커버리지 정보 제공
표준 모델링 규칙 자동 검사, 간편한 위배 탐색 및 수정, 모델 품질 지표 등 모델 정적 검증 프로세스를 지원하는 도구
656개의 업계 표준 모델링 규칙 지원을 통해 SW 품질 향상 지원
모델의 위배 위치 추적이 편리한 위배 탐색 창 제공
원 클릭으로 쉽고 빠르게 자동 수정 가능