STIMULUS

End-to-End MBSE 및 테스트 자동화 솔루션

End-to-End MBSE란 무엇인가요?

기존의 MBSE는 요구사항이 일반 텍스트로 캡처되는 SysML 사용에 중점을 두는 경우가 많습니다. 따라서 검증이나 시뮬레이션이 수반되지 않습니다. 일반 텍스트로 되어 있기 때문에 모든 테스트 케이스마다 기능 요구사항 수동으로 생성해야 합니다.

STIMULUS는 모델링에 기능 요구 사항까지 포함하도록 확장하여 새로운 패러다임을 제시합니다. 시스템 동작의 100%를 캡처할 수 있으므로 새로운 테스트 자동화의 가능성이 발현됩니다. 테스트 시나리오를 캡처할 수 있으며, STIMULUS 제약 조건 솔버가 이를 사용하여 사용자가 원하는 입력 조합을 생성합니다. 이러한 테스트 벡터는 사양을 유도하는 데 사용될 뿐만 아니라 이후 코드를 유도하는 데도 사용됩니다. STIMULUS는 코드 응답을 관찰하고 요구사항에 정의된 동작과 비교하여 기능 테스트를 완전히 자동화합니다. 통합 시점에는 HIL 테스트 환경에서 생성된 로그 파일을 분석하고, 테스터가 요구사항의 위반을 자동으로 감지할 수 있는 요구사항과 통합 시스템 동작을 비교합니다.

기능 테스트 자동화

코드는 STIMULUS에 의해 자동으로 생성되는 테스트 벡터로 유도되고, 출력은 Stimulus를 통해 관찰되며, 요구사항에 따라 입력 및 출력 간 예상 관계와 비교합니다. 엄청난 수의 테스트가 자동으로 생성되고 실행될 수 있으며, STIMULUS가 요구사항의 범위를 추적합니다.

기능 요구사항 시뮬레이션 및 검증

STIMULUS를 통해 시스템 설계자는 SysML 모델의 사용을 확장하여 처음으로 시뮬레이션 및 검증 가능한 기능 요구사항도 포함할 수 있습니다. 요구사항 누락, 충돌 및 오류와 같은 많은 오류를 조기에 감지하고 수정할 수 있습니다. 개발팀은 명확하고 완전하며 검증된 요구사항을 받음으로써 훨씬 더 효과적으로 작업을 수행할 수 있습니다.

검증팀은 기능 요구사항에서 각 기능 테스트 사례를 수동으로 도출할 필요가 없습니다. STIMULUS를 사용하면 코드를 테스트하거나 요구사항을 기준으로 시스템을 테스트하는 작업이 100% 자동화되어 막대한 ROI를 창출합니다. 매우 적은 노력으로 훨씬 더 많은 테스트가 생성되고 수행됩니다.

Hardware-in-the-Loop 테스트

STIMULUS는 로그 파일 테스트 환경이 생성하는 로그 파일 테스트 환경을 자동으로 분석하여 통합 시스템의 테스트를 지원합니다. 파일에는 테스트 중에 발생한 입출력이 포함되어 있으며, STIMULUS는 요구사항과 비교하여 요구사항의 위반이 있는 경우 이를 자동으로 감지합니다.

STIMULUS 및 CATIA Magic

STIMULUS는 SysML에서 포착하기 어려운 세부적인 동작까지 모델의 사용 범위를 확장합니다. SysML 아키텍처(및 관련 신호)를 STIMULUS로 가져와 상세 동작을 캡처, 시뮬레이션 및 검증할 수 있기 때문에 CATIA Magic과 STIMULUS 간의 디지털 연속성이 보장됩니다.