SW 개발도구

  • SW개발도구
  • Reactis
제품문의

개요

  • 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 언어 지원

    주요 고객

    • 자동차

      자동차 로고

    • 국방/기타

      국방/기타 로고