MBD 모델 동적 검증 솔루션, Reactis로 테스트 케이스 자동 생성하기

포스팅 3줄 요약 MBD 개발에서 모델이 복잡해질수록 수작업 테스트는 한계에 부딪히며 예상치 못한 결함을 놓치기 쉽습니다. Reactis는 테스트 케이스 생성부터 실행, 요구사항 검증까지 전 과정을 자동화하여 모델의 숨은 오류를 찾아냅니다.

개발 초기 단계에서 런타임 및 논리 오류를 제거함으로써 소프트웨어 품질을 높이고 수정 비용을 획기적으로 절감할 수 있습니다. MBD 개발의 품질, 결국 모델 검증에서 결정됩니다 최근 자동차나 가전 등 임베디드 소프트웨어 개발 현장에서 MBD(Model-Based Design, 모델 기반 설계) 방식은 이제 거스를 수 없는 흐름이 되었습니다.

모델 기반 설계란 복잡한 시스템을 글로 쓰는 대신 시각적인 도식이나 수식으로 표현하여 설계하는 방식을 말합니다. 하지만 모델의 덩치가 커질수록 고민도 깊어집니다.

우리가 만든 이 모델이 설계 요구사항을 정말 한 치의 오차 없이 만족하는지 확신하기 어려워지기 때문입니다. 보통은 사람이 직접 테스트 시나리오를 짜...