Simulink Design Verifier

설계 오류를 식별하고, 요구 사항 준수를 증명하고 테스트를 생성하기

Simulink Design Verifier™는 Formal method를 사용하여 모델에 숨겨진 설계 오류를 식별합니다. Simulink Design Verifier는 모델에서 정수 오버플로, 데드 로직, 배열 액세스 위반 및 0으로 나누기를 일으킬 수 있는블록을 탐지합니다. Simulink Design Verifier는 설계가 기능적 요구 사항을 충족하는지 Formal method로 검증할 수 있습니다. 각각의 설계 오류 또는 요구 사항 위반에 대한 디버깅용 시뮬레이션 테스트 케이스를 생성합니다.

Simulink Design Verifier는 기존의 요구 사항 기반 테스트 케이스를 확장하기 위해 모델 커버리지와 사용자 지정 objective를 만족하기 위한 테스트 케이스를 생성합니다. 이러한 테스트 케이스를 활용하여 Condition, Decision, MCDC 및 사용자 지정 커버리지 Objective들을 만족하는 모델을 만들 수 있습니다. 커버리지 목표 외에도 사용자 지정 테스트 목표를 정하여 요구 사항 기반 테스트 objective 를 자동으로 생성할 수 있습니다.

IEC Certification Kit(ISO 61508과 IEC 26262 지원) 및 DO Qualification Kit(DO-178 지원)를 통해 업계 표준을 지원합니다.

설계 오류 탐지

런타임 오류, 진단 오류 및 데드 로직을 포함하여 시뮬레이션 전에 모델의 설계 오류를 발견합니다.

런타임 오류와 진단 오류

시뮬레이션을 실행하기 전에 정수 오버플로, 0으로 나누기, 배열 범위를 벗어남, 비정규 값 및 부동 소수점 오류는 물론 데이터 유효성 오류를 포함하여 런타임 오류와 모델링 오류를 탐지할 수 있습니다. 

데드 로직

시뮬레이션과 생성된 코드의 실행 중에 동작되지 않는 객체를 모델에서 찾습니다.

모델에서 데드 로직 보기.

테스트 케이스 생성

구조와 기능적 커버리지 목표를 달성하기 위해 동적 시뮬레이션용 테스트 케이스를 생성합니다.

커버리지를 늘확장하기한 테스트 케이스

불완전한 모델 커버리지를 위해 수동으로 만든 기존 테스트 케이스를 확장합니다.

요구 사항 기반 테스트 케이스

모델의 시스템 요구사항으로부터 테스트 케이스를 생성합니다.

C/C++ 코드용 테스트 케이스

StateflowSimulink에서 호출되거나 생성된 코드의 커버리지를 향상시키기 위해 테스트 케이스를 생성합니다.

C 코드를 호출하는 모델용 테스트 생성하기.

요구 사항 기반 검증

MATLAB, Simulink 및 Stateflow를 사용하여 표현된 정형 요구 사항을 검증할 수 있습니다.

안전 요구 사항

MATLAB®, Simulink 및 Stateflow를 사용하여 정형화 된 안전 요구 사항에 따라 설계가 동작하는지 검증합니다.

Simulink를 사용하여 요구 사항을 표현합니다.

Variant Model 의 간소화

Variant Reducer를 사용하여 유효한 구성의 서브셋용 축소 모델을 생성합니다.

배포를 위해 모델 간소화하기

Master Variant 모델을 완벽히 검증한 후 Variant Reducer를 사용하여 유효한 구성의 서브셋의 축소된 모델을 생성합니다. 모든 관련 파일과 variable dependency도 감소합니다. 축소된 아티팩트는 별도의 폴더에 패키징되어 있어 고객과 파트너사와 쉽게 배포하고 공유할 수 있습니다.

축소 모델 만들기.

최신 기능

설계 오류 정당화

반복 워크플로 분석 후에 설계오류 검사를 위한 필터 및 정당화  규칙 만들기

Data Store Memory 액세스 위반 탐지

모델을 분석하여 쓰기 전에 읽기, 읽기 후에 쓰기, 쓰기 후에 쓰기와 같은 데이터 저장소 메모리 오류 탐지

사용자 지정 코드 지원

모델 및 Stateflow 차트에서 C/C++ 사용자 지정 코드의 설계 오류 탐지

 팀 기반 워크플로를 위한 분석 시간 단축

반복 워크플로의 모델 표현을 여러 팀이 공유하여 재사용

파라미터 워크플로의 테스트 확장

수동 작성 테스트 케이스를 확장할 때 여러 분석 실행에 걸쳐 파라미터 제약 사항 수정

Complex형 지원

Complex 데이터형을 갖는 모델에 대해 테스트 케이스 분석 및 생성

이러한 기능 및 해당 함수에 대한 세부 정보는 릴리스 정보를 참조하십시오.

무료 평가판 받기

30일 동안 사용해 보세요.

다운로드

구매하기

제품별 가격을 확인하세요.

학생이세요?

학생용 MATLAB 및 Simulink를 확인하세요.

자세히 보기