Simulink Design Verifier

새로운 내용

새로운 제품의 기능에 대해 알아보십시오.


2017a의 일부인 Version 3.3에는 다음과 같은 향상된 기능이 포함되어 있습니다.

  • 활동 기반 타임 슬라이싱: 시뮬레이션을 위한 모델 슬라이서 하이라이팅 시 상태 활동 타이밍 효과의 시각화
  • 버스 요소 포트 지원: 버스 요소 포트가 포함된 모델의 설계 오류 감지, 테스트 생성 및 속성 확인
  • 증분 테스트 케이스 생성: Test Manager에서 추가적인 테스트 케이스를 생성하여 적용 범위 확장
  • 분석 시작 시간 단축: 호환성 검사 후 분석 계속 수행

자세한 내용은 Release Notes를 참조하십시오.

2016b의 일부인 Version 3.2 에는 다음과 같은 향상된 기능이 포함되어 있습니다.

  • Stateflow의 모델 슬라이서: 지정된 시뮬레이션 기간 동안 활성 스테이트 및 트랜지션 표시
  • 모델 슬라이서: Simulink 테스트를 통해 생성된 테스트 하네스의 예기치 않은 동작 표시
  • MCDC 테스트 생성: 직접 연결된 Simulink 논리 블록 네트워크의 MCDC 적용 범위에서 테스트 생성
  • 추가적인 테스트 생성: 테스트 하네스에서 모델 객체의 커버리지 범위를 늘리기 위한 테스트 생성
  • 실행되지 않는 로직을 탐색: 근사값을 사용하지 않고 실행되지 않는 로직을 정확하게 탐색

자세한 내용은 Release Notes를 참조하십시오.

2016a의 일부인 Version 3.1 에는 다음과 같은 향상된 기능이 포함되어 있습니다.

  • 테스트 생성: C/C++ S-Functions에 대한 테스트를 자동으로 생성합니다.
  • Variant Reducer: 활성화된 변형 구성(variant configuration)을 바탕으로 조각화된 모델(sliced model)을 생성합니다.
  • 오버플로 감지: 비표준 워드 길이를 갖는 고정소수점 데이터 타입에 대한 오버플로 오류를 자동으로 검색합니다.
  • Simulink Function: Simulink Function을 포함한 모델에 대한 검증(Verification)을 수행합니다.
  • 보고서 생성: PDF 형식으로 분석 보고서를 생성합니다.

자세한 내용은 Release Notes를 참조하십시오.

Release 2015aSP1의 일부인 Version 2.8.1 에는 버그 수정이 포함되어 있습니다.

자세한 내용은 Release Notes를 참조하십시오.

2015b의 일부인 Version 3.0 에는 다음과 같은 향상된 기능이 포함되어 있습니다.

  • C S-function 분석
  • 모델 슬라이서(Model Slicer) API
  • 버스 요소에 대해 지정된 최소 및 최대 범위 분석
  • 설계 오류 감지를 위한 모델 어드바이저 검사
  • Test Generation Advisor 개선
  • Simulink Test에서 테스트 입력을 생성하고 테스트 케이스로 내보내기

자세한 내용은 Release Notes를 참조하십시오.

Release 2015a의 일부인 Version 2.8 에는 버그 수정이 포함되어 있습니다.

자세한 내용은 Release Notes를 참조하십시오.