TOOL
모델 동적 검증 도구
Needs
Mission Critical 도메인은 안전성 및 신뢰성 인증 필요
- 테스트를 통해 구조적인 커버리지 목표를 달성해야 함
- 모델과 코드의 일치성 테스트 필요
Solution by MODEL VERIFIER
테스트 케이스 자동 생성
- 시스템 또는 서브시스템 단위의 테스트 케이스 자동 생성
- 데이터 타입, 최솟값, 최댓값, 분기에 관여하는 상수를 분석하여 생성
- 모델에서 참조하는 변수 값을 자동으로 추출하여 Parameter 데이터로 생성하여 테스트시 적용
쉬운 테스트 케이스 편집
- 도구 내 엑셀 형태의 편집기 지원, 타입 및 허용오차 설정 지원
- 테스트 케이스 복사/붙여넣기 지원
- 시그널 템플릿 지원 - 쉬운 테스트 케이스 편집을 위하여 7가지 시그널 템플릿(Sine, Pulse, Triangle, Square 등)을 지원
MIL, SIL, Back-to-back 테스트
- MIL, SIL, Back-to-back 테스트 자동 수행 - 기댓값 비교, MIL, SIL 시뮬레이션 뿐만 아니라, 모델과 코드의 일치성 검증을 위한 Back-to-back 테스트 지원
- 테스트 결과 시각화 - 시그널 그래프와 Time Step별 비교 결과를 제공하여 쉽게 결과 확인
모델 커버리지 측정
- Decision, Condition, MC/DC, Lookup Table 등 총 13종 커버리지 측정
- 측정 커버리지를 시각화하여 표시하고 상세 커버리지를 제공
테스트 케이스 재활용
- 실차 데이터 가져오기 - mdf 형식의 실차데이터를 분석하여 쉽게 테스트 케이스 생성
- 테스트 케이스 결과 가져오기 - 이전 테스트 케이스 결과를 활용하여 테스트 케이스를 생성(Regression Test 지원)
- 테스트 케이스 공유 - 엑셀 형태의 테스트 케이스이므로 공유가 쉬움
요구사항에 따른 테스트 케이스 그룹
- 모델에 적용된 요구사항 수집
- 테스트 케이스와 요구사항 간의 추적 지원
Why MODEL VERIFIER
- 차별점 (Differentiation)
-
Responsibility
· 국내 유일의 모델 동적 검증 도구
-
Performance
· 타사 대비 최대 2배 빠른 분석 속도 및 테스트 케이스 생성
-
Convenience
· 엑셀 형식의 편리한 테스트 케이스 편집기
-
Customizing
· 고객사 자체 보고서 구현 (별도협의)
- 강점 (Strength)
-
도구품질
· 도구와 모델의 편리한 연동
· 핵심 커버리지 측정
-
도구 연동
· 실차 데이터 가져오기 지원
· 모델 데이터 자동 추출
-
도구한글화
· 테스트 결과 이해도 향상
· 도구 이해도 향상
-
유연성
· 16년 개발 및 공급 경험
· 고객 요구사항에 대한 빠른 대처
- 기대효과 (Benefit)
-
-
모델과 오토 코드의 일치성 확보
-
테스트 자동화 환경 구축
-
테스트 케이스 편집 및 관리 기능
-
요구사항에 따른 테스트 케이스 관리
-
사용자 중심의 인터페이스 제공
-
