STIMULUS

엔드-투-엔드 요구사항 기반 검증 솔루션

사양 단계에서 STIMULUS를 통해 시스템 설계자는 요구사항을 시뮬레이션하고, 설계가 시작되기 전에 모호하거나 부정확하거나 누락되거나 충돌하는 요구사항을 감지함으로써 안전이 중요한 임베디드 시스템의 검증에 필요한 고품질 사양을 생성할 수 있습니다.

개발 팀은 요구사항을 재정의하고 코드를 재작성하고 다시 디버깅하는 데 걸리는 시간을 단축함으로써 양질의 결과를 얻는 데 필요한 개발 반복 횟수를 줄일 수 있습니다.

자세한 내용 읽기

검증 단계에서 STIMULUS를 통해 테스트 엔지니어가 테스트 벡터와 테스트 목표를 자동으로 생성하고 임베디드 코드가 사양에 맞는지를 확인할 수도 있습니다.

테스트 팀은 더 이상 요구사항에서 수동으로 추출한 테스트 사례를 작성하거나 유지하지 않습니다. 대신, 팀은 시스템 설계자가 수행한 작업을 재사용하여 매우 유연한 테스트 캠페인을 구축함으로써 효과적이고 민첩한 방법을 채택할 수 있습니다.

자세한 내용 읽기

주요 이점

  • 조기 요구사항 검증 달성
  • 엔지니어 간에 명확하고 관찰 가능한 요구사항 공유
  • 테스트 캠페인의 기능 범위 극대화
  • 비용이 많이 드는 개발 프로세스 반복 감소

주요 기능

  • 읽을 수 있는 공식 언어로 텍스트 요구사항 표현
  • 상태 기계 및 시스템 아키텍처 모델링
  • 지정된 시스템에서 가능한 실행 관찰
  • 수많은 테스트 사례 자동 생성

이 동영상은 사양 단계 동안의 기능 요구사항 조기 검증부터 시스템 기능 테스트를 자동화하기 위한 테스트 벡터 및 테스트 관찰자의 자동 생성까지 STIMULUS에서 RIL(Requirements-In-the-Loop) 시뮬레이션을 통해 모델 기반 시스템 엔지니어링을 획기적으로 개선하는 방법을 설명합니다.