使用Simulink设计验证万博1manbetx
일정보기및등록교육과정세부정보
1일일은은은simul万博1manbetxink Design verifier™를를설계검증및테스트하고하고,필요필요필요요구사항사항을만족하는지하는지확인확인하는방법을합니다합니다
본과정주요은같습니다같습니다。
- 일반적설계오류검출디버깅디버깅
- 모델커버리지검증
- 자동테스트을통한누락확인확인
- 요구사항검증을위한증명증명
- 효율적분석을위한처리처리
第1天的第1天
검증워크플로이해
客观的:simulink设计验证者万博1manbetx로로로을간단분석을수행하는방법배웁니다배웁니다배웁니다배웁니다배웁니다。
- 정형검증방법소개
- 万博1manbetxSimulink设计验证者워크플로살펴보기
- 모델준비및보장
- 분석옵션구성
- 결과생성
설계오류감지
客观的:설계오류사용모델을검증방법배웁니다배웁니다배웁니다。
- 설계오류유형소개
- 설계오류감지
- 결과분석및보고
- 설계오류수정
- 파라미터테이블사용
테스트자동생성
客观的:커버리지유형하고테스트생성사용누락된커버리지를완성하는방법을알아봅니다알아봅니다。
- 커버리지유형이해
- 모델커버리지측정
- 자동테스트생성커버리지증가
- 결과분석및보고
- 사용자지정조건목적적용
속성증명
客观的:속성에을화하고증명을하여설계가사항을충족충족하는지검증하는하는방법배웁니다배웁니다배웁니다。
- 요구사항정형화
- 요구사항증명
- 잘못된요구디버깅
- 타이밍연산자사용
모델복잡도관리
客观的:모델복잡도를하고분석성능향상기법을배웁니다배웁니다。
- 모델복잡도의식별
- 블록대체구현
- 비선형성처리
- 룩업테이블복잡도관리
- 카운터와타이머활용