이 페이지는 기계 번역을 사용하여 번역되었습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.

Check Stateflow debugging options (Stateflow 디버그 옵션 검사)

검사 ID: mathworks.hism.hisf_0011

Stateflow^® 디버깅 설정을 확인하세요.

설명

다음 디버깅 설정을 확인하세요.

• 오버플로 시 래핑

• 시뮬레이션 범위 검사

• 순환 감지

• 과소 지정

• 과다 지정

Simulink^® Check™와 함께 사용 가능합니다.

이 검사에는 Stateflow 라이선스가 필요합니다.

결과 및 권장 조치

상태	권장 조치
다음 중 하나: 오버플로 시 래핑가 오류로 설정되지 않았습니다. 시뮬레이션 범위 검사가 오류로 설정되지 않았습니다. 진리표의 파라미터 과소 지정가 오류로 설정되지 않았습니다. 진리표의 파라미터 과다 지정가 오류로 설정되지 않았습니다.	구성 파라미터 대화 상자에서 다음을 설정합니다. 오버플로 시 래핑를 오류로 설정하거나, 파라미터 IntegerOverflowMsg 를 오류로 설정합니다. 시뮬레이션 범위 검사 오류로 설정하거나, 파라미터 SignalRangeChecking 를 오류로 설정합니다. 과소 지정 설정 오류에게. 과다 지정 설정 오류에게.
Stateflow 차트 내부에서 순환 감지는 지워집니다.	모델 창에서 디버그> 진단 > 순환 동작 감지를 선택하세요

기능 및 제한 사항

• 블록과 차트를 제외할 수 있습니다.

• 마스크 처리된 서브시스템의 내용을 분석합니다. 기본적으로 입력 파라미터 마스크 내부 탐색는 모두로 설정됩니다.

• 라이브러리에 연결된 블록의 콘텐츠를 분석합니다. 기본적으로 입력 파라미터 Follow links는 on로 설정됩니다.

조치 결과

수정를 클릭하면 지정된 디버깅 옵션이 선택됩니다.

참고 항목

• hisf_0011: Stateflow 디버그 설정