SW 개발도구
제품문의
 |
|
 |
개요
- Simulink/Stateflow 모델 기반 Verification & Validation 자동화 솔루션
- Simulink/Stateflow Model을 기반으로 테스트 자동화 지원 (Test Suite 자동 생성/실행)
- 실행 후 Assertion, Runtime Error를 효과적으로 검출
- MBD (Model Based Development) 환경에서의 Model Coverage Test 수행
(Condition, Decision, MC/DC, Subsystem, State, Transition Action 등)
주요 이점
- Simulink/Stateflow 모델에 대한 검증 자동화
- 모델 분석을 통한 Test suite 자동 생성 지원
- Validation을 위한 요구사항 기반 테스팅
- 테스트 데이터의 실행에 대한 시뮬레이션 자동화
- 모델에 대한 Debugging & Revision
- 테스트 결과 분석에 대한 Report 자동생성
- Regresstion Testing 자동화
- 테스트 실행간 모델 트래킹에 의한 Coverage 분석
- Decision, Condition, MC/DC
- Branch, Subsystem, State, Transition Action 등
- 모델 테스팅에 따른 입출력 값을 저장해 소스 코드검증을 위한 Test suite로 재사용
주요 Test 항목
- 모델의 Verification & Validation 자동화
- Unit/System Testing
- 다양한 Coverage 분석
- S-function/Custom code에 대한 분석
- 다양한 형식의 테스트 데이터 입출력 지원
- .m, .mat, .txt, .csv 파일 형식
- 모델이 아닌 표준 C 코드에 대한 검증
- C 코드로부터 Test suite 자동 생성 및 실행을 통한 Runtime error 검출
지원 환경
- 지원 운영체제 : Windows XP/Vista/7
- MATLAB Simulink, Stateflow 설치 필요 (R13, R14, R2006a, R2007a, R2008a, R2008, R2009a, R2009b, R2010a versions 지원)
- C 언어 지원
주요 고객
- 자동차
- 국방/기타
