Main Content

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

인덱스 신호가 있는 블록의 데이터 유형 확인

검사 ID: mathworks.hism.hisl_0022

설명

이 검사는 정수 또는 열거형 이외의 데이터 유형을 갖고 인덱스 값 범위 내에 있는 인덱스 신호가 있는 블록을 식별합니다.

이 검사는 Simulink의 다음 대상 구성요소에 적용됩니다.

이 검사를 통해 인덱싱을 위한 다음 데이터 유형이 허용됩니다.

  • int8

  • uint8

  • int16

  • uint16

  • int32

  • uint32

  • int64

  • uint64

  • enum(이전의 데이터 유형 상태와 기본 유형이 동일함)

참고

인덱스 벡터의 최대 크기는 int32바이트를 초과할 수 없습니다. 자세한 내용은 Maximum Size Limits of Simulink Models을 참조하세요.

이 확인은 Stateflow의 다음 대상 구성 요소에 적용됩니다.

  • 상태 및 전환

다중 포트 스위치에 대해 다음과 같은 경우를 고려할 수 있습니다.

  1. 'Default Case의 데이터 포트'는 '마지막 데이터 포트'로 설정되고, '데이터 포트 순서'는 '0부터 시작하여 연속'으로 설정됩니다. 검사를 위해 예상되는 최대 데이터 포트 수는 "DATATYPE_MAX+2"이고 데이터 유형은 인덱스 신호입니다.

  2. 'Default Case의 데이터 포트'는 '마지막 데이터 포트'로 설정되고, '데이터 포트 순서'는 '1부터 시작하여 연속'으로 설정됩니다. 검사를 위해 예상되는 최대 데이터 포트 수는 "DATATYPE_MAX+1"이고 데이터 유형은 인덱스 신호입니다.

  3. 'Default Case의 데이터 포트'는 '추가 데이터 포트'로 설정되고, '데이터 포트 순서'는 '0부터 시작하여 연속'으로 설정됩니다. 검사를 위해 예상되는 최대 데이터 포트 수는 "DATATYPE_MAX+1"이고 데이터 유형은 인덱스 신호입니다.

  4. 'Default Case의 데이터 포트'는 '추가 데이터 포트'로 설정되고, '데이터 포트 순서'는 '1부터 시작하여 연속'으로 설정됩니다. 검사를 위해 예상되는 최대 데이터 포트 수는 "DATATYPE_MAX"이고 데이터 유형은 인덱스 신호입니다.

Simulink® Check™로 구매 가능합니다.

매개변수화 확인

Model Advisor 구성 편집기를 사용하여 분석에 확장자가 .m인 파일을 포함하도록 이 검사를 구성할 수 있습니다. 이 기능을 활성화하려면 입력 파라미터 섹션에서 모델에서 참조된 외부 .m 파일 검사를 선택합니다.

결과 및 권장 조치

상태권장 조치
모델에 있는 하나 이상의 Simulink 블록에는 정수 또는 열거형 이외의 데이터 유형을 갖는 인덱스 신호가 있습니다.블록 인덱스 신호의 데이터 유형을 인덱스 값의 범위를 포함하는 정수 또는 열거형 데이터 유형으로 변경합니다.
하나 이상의 MATLAB 함수 블록에 부적절한 데이터 유형의 인덱스 변수가 있습니다.인덱스 변수의 데이터 유형을 인덱스 값의 범위를 포함하는 정수 또는 열거형 데이터 유형으로 변경합니다.
모델에 있는 하나 이상의 Stateflow 차트에는 정수 또는 열거형 이외의 데이터 유형을 가진 인덱스 변수가 있습니다.블록의 인덱스 신호의 데이터 유형을 인덱스 값의 범위를 포괄하는 정수 또는 열거형 데이터 유형으로 변경합니다.

참고

어떤 경우에는 검사를 통해 인덱스 신호의 데이터 유형을 확인하지 못할 수도 있습니다. 이러한 사례는 정보로 표시됩니다.

기능 및 제한 사항

  • 이 검사는 대화 상자 세트 색인을 지원하지 않습니다.

  • 마스크된 하위 시스템의 콘텐츠를 분석합니다. 기본적으로 입력 매개변수 Look under masks그래픽로 설정됩니다.

  • 라이브러리에 연결된 블록의 내용을 분석합니다. 기본적으로 입력 매개변수 Follow links켜기로 설정됩니다.

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

  • 벡터에 정수 또는 열거형 데이터 유형이 포함된 경우에도 벡터 인덱싱에 플래그를 지정합니다.

참조: