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

Check array indices (배열 인덱스 검사)

검사 ID: mathworks.jmaab_v6.mp_0046

지침: mp_0046: 배열 인덱스 기술 방법

설명

배열 인덱스를 계산하는 데 표현식이 사용되는지 확인합니다.

다음과 같은 경우는 허용됩니다.

  • 콜론 연산자 :를 사용합니다.

  • end 키워드로 표현되는 배열의 마지막 요소에 대해 수행되는 덧셈 또는 뺄셈.

이 검사는 다음 타깃 컴포넌트의 배열 인덱스에 적용됩니다.

  • Simulink®에 있는 MATLAB® Function 블록.

  • Stateflow® 차트에 있는 MATLAB 함수.

  • Stateflow MATLAB 차트에 있는 상태, 천이 및 진리표.

  • 모델에서 참조하는 외부 MATLAB 파일.

이 검사에는 Simulink Check™ 라이선스가 필요합니다.

파라미터화 검사

JMAAB 모델링 지침은 하위 ID를 하나만 제공하기 때문에 이 검사에는 하위 검사가 포함되지 않습니다.

참고로, JMAAB 모델링 표준 기관에서 사용하도록 권장하는 지침 하위 ID는 다음과 같습니다.

  • JMAAB — a

모델에서 참조하는 외부 .m 파일 확인을 선택하여 모델에서 참조하는 .m 파일을 분석에 포함합니다. 해당 체크박스는 기본적으로 선택되어 있습니다.

결과 및 권장 조치

상태권장 조치
하나 이상의 배열 인덱스가 표현식을 사용하여 계산됩니다.콜론 연산자를 사용하거나 end를 더하거나 빼는 것 외의 표현식을 사용하지 않도록 배열 인덱스를 다시 작성하세요.

기능 및 제한 사항

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

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

  • 라이브러리 모델에서 실행됩니다.

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