49:30
비디오 길이: 49:30
Simulink 모델과 C/C++ 코드에 대한 매스웍스의 정형 검증 툴 소개
시물레이션같은 동적 분석을 통한 검증은 기능적 요구 사항에 대한 확인에 필수적입니다. 하지만 디자인 에러를 확인하거나 기능적 요구 사항에 맞는지에 대한 디자인의 검증, 그리고 모델 커버리지 분석을 위한 테스트 케이스 생성에 대한 부분과 C/C++과 Ada 소스 코드에 대한 런타임 에러가 없음을 증명하는 것등은 동적 분석만으로는 어렵습니다. 본 세션에서는 알고리즘 설계 검증을 시물레이션을 하기전인 초기 단계부터 할 수 있는 Simulink Design Verifier와 소스 코드에 대한 정적분석 툴로서 Formal method를 사용하는 Polyspace의 활용에 대한 내용을 소개합니다.
녹화된 날짜: 2012년 6월 20일
웹사이트 선택
번역된 콘텐츠를 보고 지역별 이벤트와 혜택을 살펴보려면 웹사이트를 선택하십시오. 현재 계신 지역에 따라 다음 웹사이트를 권장합니다:
또한 다음 목록에서 웹사이트를 선택하실 수도 있습니다.
사이트 성능 최적화 방법
최고의 사이트 성능을 위해 중국 사이트(중국어 또는 영어)를 선택하십시오. 현재 계신 지역에서는 다른 국가의 MathWorks 사이트 방문이 최적화되지 않았습니다.
미주
- América Latina (Español)
- Canada (English)
- United States (English)
유럽
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
아시아 태평양
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)