고객 니즈
-
모델과 코드 간 일치성 검증 필요
모델 기반 개발에서 설계-구현 간
불일치 발생 가능 -
구조적 커버리지 확보 요구 증가
MC/DC 등 커버리지 기준 충족 필요
-
테스트 케이스 설계 및 실행 공수 증가
수작업 테스트 설계 및 반복 수행 비효율
-
요구사항 기반 검증 및 추적성 필요
테스트와 요구사항 간 연결 및 검증 필요
핵심 기능
-
테스트 케이스 자동 생성
- 입력 조건 및 제약 기반으로 모델 테스트 케이스를 자동 생성
-
다양한 테스트 모드 지원
- 모델과 코드 간 일치성 검증을 위한 다양한 테스트 환경 자동 수행
-
모델 커버리지 측정 및 분석
- Decision, MC/DC 등 12종 커버리지 측정으로 테스트 완전성 확보
-
테스트 결과 시각화 및 자동 판정
- 입력/출력 시그널 그래프 및 기대값 비교로 결과를 직관적으로 확인
도입 효과
-
모델 검증 자동화 및 공수 절감
테스트 케이스 생성 및 실행 자동화
-
커버리지 기반 품질 확보
정량적 기준으로 모델 검증 수행
-
모델–코드 일치성 확보
Back-to-Back 테스트로 신뢰성 향상
-
요구사항 기반 검증 체계 구축
테스트와 요구사항 간 추적성 확보
적용 사례
-
Case오트론 변속 제어기 모델 검증 사례 (자동차)
- 대상
- 차량 변속 제어기 모델
- 상황
- 모델 기반 개발 시 신뢰성 검증 필요
- 도구적용
- 테스트 케이스 생성 및 커버리지 기반 검증 수행
- 결과
- 모델 신뢰성 확보 및 인증 기준 충족
-
Case친환경차 HIL 테스트 케이스 개선 사례
- 대상
- HIL 테스트 케이스
- 상황
- 테스트 커버리지 부족 및 검증 미흡
- 도구적용
- 기존 테스트 데이터를 기반으로 모델 검증 및 커버리지 분석
- 결과
- 미검증 기능 식별 및 테스트 케이스 보완
지원 범위 및 환경
| OS 환경 | Windows 7 이상 |
|---|---|
| 지원 모델 | Simulink 2011b 이상
TargetLink 3.3 이상 Embedded Coder |
| 지원 언어 | 한국어, 영어 |
| 하드웨어 요구사항 | CPU: Dual Core 2GHz 이상
RAM: 2GB 이상 Storage: 1.5GB 이상 |
