Reactive Systems
Reactis
10년
주장비
분석
데이터 처리장비 > 장비소프트웨어 > 달리 분류되지 않는 장비소프트웨어
2019-04-30
88,000,000원
기관의뢰 직접사용
이동형
시간별
10,600원
정적 모델 분석 S/W는 차량 제어 시스템 및 소프트웨어 설계를 위해 사용하는 모델 검증에 대하여, 모델 시뮬레이션을 통한 테스트 스위트 자동생성과 커버리지 분석을 통해 설계 및 해석이 가능한 소프트웨어 임
① 모델 호환 : 차량용 제어 시스템, 소프트웨어 설계, 개발에서 사용하는 모델에 대한 다양한 확장자(mdl, slx를 포함)에 대해 검증
② 테스트 스위트 생성 : 모델의 시뮬레이션 검증을 위해 최상위 모델의 Import 값과 모델 Export 값을 분석하고, 모델 블록과 흐름이 가지는 경계값, 조건, 상태 등을 분석하여 테스트 스위트를 자동으로 생성할 수 있는 기능
③ 상태전이모델 통합 검증 : 다양한 형태의 통합 모델을 검증하기 위해 개발된 모델에 대해서 분석이 가능해야 하며, 통합된 모델에서도 구분 가능한 형태로 제시하여 통합하여 검증