Simulink/Stateflow 모델 기반 Verification & Validation 자동화 솔루션

Reactis

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 언어 지원
제 품문 의
top