본문바로가기

TOOL

model verifier

모델 동적 검증 도구

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)
  • 01 모델과 오토 코드의 일치성 확보
  • 02 테스트 자동화 환경 구축
  • 03 테스트 케이스 편집 및 관리 기능
  • 04 요구사항에 따른 테스트 케이스 관리
  • 05 사용자 중심의 인터페이스 제공