요구사항과 비교하여 시스템 테스트

테스트 벡터 및 테스트 오라클을 자동으로 생성

테스트 중인 시스템 가져오기

테스트 중인 시스템의 코드를 코드 생성 도구(Simulink, Scade, ControlBuild 등)에서 완전히 생성하거나 STIMULUS에서 C 코드를 포함하도록 부분적으로 생성된 FMI 부품으로 쉽게 가져올 수 있습니다. 통합 시 CSV 로그 파일을 가져와 실제 시스템에 대한 사후 해석을 수행할 수도 있습니다.

테스트 사례 작성

여러 가지 사용 사례를 정의하여 시스템을 테스트할 수 있으며, STIMULUS는 테스트 캠페인의 기능적 범위를 극대화하기 위해 각 사용 사례에 대해 수많은 테스트 벡터를 자동으로 생성합니다. 사양 위반을 감지하고 보고하는 테스트 관찰자로서 요구사항을 쉽게 재사용할 수 있습니다.

테스트 캠페인 실행

테스트 캠페인은 사용 사례에서 생성된 수많은 테스트 벡터의 실행을 자동화하며, STIMULUS는 요구사항 위반 및 범위에 대한 종합 지표를 보고합니다. 요구사항 위반을 해석할 수 있는 시뮬레이션 환경에서 실패한 각 테스트를 다시 실행할 수 있습니다.

Requirement-In-The-Loop 검증

코드가 개발되면 STIMULUS는 해당 코드가 시스템 요구사항을 준수하는지 자동으로 확인할 수 있습니다. 블록 다이어그램을 사용하여, 요구사항이 테스트 관찰자로 전환되며 테스트 중인 시스템을 표준 FMI 프로토콜을 통해 DLL로 가져올 수 있는 테스트 환경을 구축할 수 있습니다. 그런 다음 수많은 테스트 벡터를 생성하고 실행할 수 있으며, STIMULUS는 테스트 중인 시스템의 동작이 사양에 맞는지 자동으로 확인합니다. 또한 테스트 캠페인 동안 STIMULUS는 요구사항의 기능적 범위에 대한 종합 지표를 계산하고 보고합니다.

STIMULUS 실제 사용 사례

아래 그림은 테스트 캠페인이 실행된 STIMULUS 스크린샷을 보여줍니다. 오른쪽 위 창은 통과한 테스트와 실패한 테스트에 대한 간략한 개요를 제공하는 반면, 아래쪽 창은 실패한 테스트에 대한 정확한 지표를 제공하며 사용자가 표준 시뮬레이션 환경에서 실패한 테스트를 다시 실행할 수 있도록 합니다.