Simulink/Stateflow 모델 검증을 자동화한 솔루션
Simulink/Stateflow 모델 동적 검증 솔루션
Reactis는 Simulink·Stateflow 모델에서 테스트 케이스를 자동으로 생성·실행해, 런타임 오류와 요구사항 위반을 찾아내고 커버리지까지 측정합니다. 검증 과정을 자동화함으로써 개발 단계에서 결함을 조기에 발견하고, 모델 품질을 촘촘하게 확보할 수 있습니다.
Simulink/Stateflow 모델을 기반으로 테스트를 자동화합니다. Test Suite를 자동으로 생성하고 실행합니다.
테스트 실행 후 Assertion과 Runtime Error를 효과적으로 검출합니다.
MBD(Model Based Development) 환경에서 Model Coverage Test를 수행합니다.
Condition, Decision, MC/DC, Subsystem, State, Transition Action 등 다양한 커버리지 기준을 지원합니다.
테스트 자동화로 모델 품질을 검증하는 솔루션
Simulink 모델에서 종합적인 테스트 케이스를 자동으로 생성합니다.
Simulink 모델의 시뮬레이션 환경을 제공합니다. Reactis로 생성된 테스트를 실행하고 커버리지와 데이터 값을 시각화하며, 오류가 발견되면 역실행 기능으로 원인을 추적합니다.
모델이 충족해야 할 요구사항을 설정하고 위반 여부를 자동으로 검색합니다. 위반이 감지되면 문제를 진단·디버깅할 수 있도록 실행 가능한 테스트를 제공합니다.
| Reactis for Simulink | Reactis for EML Plugin | Reactis for C Plugin | Reactis Model Inspector | Reactis for C | |
|---|---|---|---|---|---|
| Reactis for Simulink | Windows 10/11, Ubuntu Linux 22.04 LTS | ||||
| Software Dependencies | Requires MATLAB®, Simulink®, and Stateflow® from MathWorks. (Supported versions: R2015b-R2025b) | Requires Reactis for Simulink | Requires Reactis for Simulink | None | None |
| RAM | 1024MB (more recommended) | 512MB (more recommended) | |||
| Disk Space | 240MB | 60MB | 110MB | ||
| Other | Ethernet card | ||||
Test Suite를 생성하고, 요구사항 기반 테스트를 시뮬레이션으로 자동화합니다. Debugging & Revision, Report 작성 등 Regression Testing까지 자동화합니다.
다양한 설정 및 조건을 비교하며 커버리지를 분석합니다. Decision, Condition, MC/DC, Branch, Subsystem, State, Transition Action 등 다양한 기준을 지원합니다.
모델 테스트에서 나온 입출력 값을 저장해, 소스 코드 검증을 위한 Test Suite로 재사용합니다.
MDS테크는 Reactis의 국내 공급과 기술지원을 제공하며, MBD 검증 환경 구축을 지원합니다.
