ar_0001: 파일 이름에 사용 가능한 문자 | 파일 이름 검사 | mathworks.jmaab.ar_0001 |
| ar_0002: 폴더 이름에 사용 가능한 문자 | 폴더 이름 검사 | mathworks.jmaab_v6.ar_0002 |
| db_0032: 신호 선 연결 | 신호 선 연결 검사 | mathworks.jmaab_v6.db_0032 |
| db_0042: Inport 블록 및 Outport 블록 사용 | Inport 블록 및 Outport 블록의 위치 검사 | mathworks.jmaab.db_0042 |
| db_0043: 모델 글꼴 및 글꼴 크기 | 모델 글꼴 설정 검사 | mathworks.jmaab.db_0043 |
| db_0081: 연결되지 않은 신호 및 블록 | 연결되지 않은 신호 선 및 블록 검사 | mathworks.jmaab.db_0081 |
| db_0097: 신호 및 버스에 대한 레이블 위치 | 신호 레이블의 위치 검사 | mathworks.jmaab_v6.db_0097 |
| db_0110: 블록 파라미터 | 블록에서 조정 가능형 파라미터 사용 검사 | mathworks.maab.db_0110 |
| db_0112: 인덱스 사용 | 인덱싱 모드 검사 | mathworks.jmaab.db_0112 |
db_0123: Stateflow 포트 이름 | Stateflow 포트 및 연결된 신호의 이름 검사 | mathworks.maab.db_0123 |
| db_0125: Stateflow 로컬 데이터 | Stateflow 데이터의 정의 검사 | mathworks.jmaab_v6.db_0125 |
| db_0126: Stateflow 이벤트 정의 | Stateflow 이벤트의 정의 검사 | mathworks.jmaab.db_0126 |
| db_0127: Stateflow 블록 내 MATLAB 명령에 대한 제한 사항 | Stateflow 차트에 MATLAB 표현식이 있는지 검사 | mathworks.jmaab_v6.db_0127 |
| db_0129: Stateflow 천이 모양 | Stateflow 천이 모양 검사 | mathworks.jmaab_v6.db_0129 |
| db_0132: 플로우 차트의 천이 | Stateflow 플로우 차트의 천이 검사 | mathworks.jmaab.db_0132 |
| db_0137: 상태 머신의 상태 | 상태 머신의 상태 검사 | mathworks.jmaab.db_0137 |
db_0140: 블록 파라미터의 표시 | 블록 파라미터 표시 검사 | mathworks.maab.db_0140 |
| db_0141: Simulink 모델의 신호 흐름 | 모델의 신호 흐름 검사 | mathworks.maab.db_0141 |
| db_0142: 블록 이름의 위치 | 블록 이름이 블록 아래에 표시되는지 검사 | mathworks.maab.db_0142 |
| db_0143: 모델 계층 구조에 사용 가능한 블록 유형 | 기본 블록과 서브시스템의 혼합 사용이 있는지 검사 | mathworks.maab.db_0143 |
| db_0144: 서브시스템 사용 | 검사를 수행할 수 없음 |
| db_0146: 조건부 서브시스템의 블록 레이아웃 | 조건부 블록 및 이터레이터 블록의 위치 검사 | mathworks.jmaab.db_0146 |
hd_0001: 허용되지 않는 Simulink 싱크 | 허용되지 않는 싱크 블록이 있는지 검사 | mathworks.maab.hd_0001 |
| jc_0008: 신호 이름 정의 | 신호 레이블의 정의 검사 | mathworks.jmaab.jc_0008 |
| jc_0009: 신호 이름 전파 | 신호 이름 전파 검사 | mathworks.jmaab_v6.jc_0009 |
| jc_0011: 부울 데이터형에 대한 최적화 파라미터 | 논리형 신호를 double형 대신 부울 데이터로 구현 검사 | mathworks.maab.jc_0011 |
jc_0021: 모델 진단 설정 | 모델 진단 파라미터 검사 | mathworks.maab.jc_0021 |
| jc_0061: 블록 이름의 표시 | 블록 이름의 표시 특성 검사 | mathworks.maab.jc_0061 |
| jc_0081: Inport 블록 및 Outport 블록 아이콘 표시 | 포트 블록 표시 검사 | mathworks.maab.jc_0081 |
| jc_0110: 블록 방향 | 블록 방향 검사 | mathworks.jmaab.jc_0110 |
| jc_0121: 덧셈 및 뺄셈 블록 사용 | Sum 블록 사용 검사 | mathworks.jmaab.jc_0121 |
| jc_0131: Relational Operator 블록 사용 | Relational Operator 블록 사용 검사 | mathworks.maab.jc_0131 |
| jc_0141: Switch 블록 사용 | Switch 블록 사용 검사 | mathworks.maab.jc_0141 |
| jc_0161: Data Store Memory 블록 정의 | Data Store Memory 블록 사용 검사 | mathworks.jmaab.jc_0161 |
| jc_0171: 구조적 서브시스템 간 연결 명료화 | 구조적 서브시스템 간 연결 검사 | mathworks.jmaab.jc_0171 |
| jc_0201: 서브시스템 이름에 사용 가능한 문자 | 서브시스템 이름 검사 | mathworks.jmaab.jc_0201 |
| jc_0211: Inport 블록 및 Outport 블록에 사용 가능한 문자 | 포트 블록 이름 검사 | mathworks.jmaab.jc_0211 |
| jc_0222: 신호 및 버스 이름에 사용 가능한 문자 | 신호 이름 및 버스 이름에 사용 가능한 문자 검사 | mathworks.jmaab.jc_0222 |
| jc_0231: 블록 이름에 사용 가능한 문자 | 블록 이름에 사용된 문자 검사 | mathworks.jmaab.jc_0231 |
| jc_0232: 파라미터 이름에 사용 가능한 문자 | 파라미터 이름에 사용 가능한 문자 검사 | mathworks.jmaab_v6.jc_0232 |
| jc_0241: 모델 파일 이름의 길이 제한 | 모델 파일 이름의 길이 검사 | mathworks.jmaab.jc_0241 |
| jc_0242: 폴더 이름의 길이 제한 | 모델 경로의 각 수준에서 폴더 이름의 길이 검사 | mathworks.jmaab.jc_0242 |
| jc_0243: 서브시스템 이름의 길이 제한 | 서브시스템 이름의 길이 검사 | mathworks.jmaab.jc_0243 |
| jc_0244: Inport 및 Outport 이름의 길이 제한 | Inport 및 Outport 이름의 길이 검사 | mathworks.jmaab.jc_0244 |
| jc_0245: 신호 및 버스 이름의 길이 제한 | 신호 및 버스 이름의 길이 검사 | mathworks.jmaab.jc_0245 |
| jc_0246: 파라미터 이름의 길이 제한 | 파라미터 이름의 길이 검사 | mathworks.jmaab.jc_0246 |
| jc_0247: 블록 이름의 길이 제한 | 블록 이름의 길이 검사 | mathworks.jmaab.jc_0247 |
| jc_0281: 트리거 신호 이름 | 트리거 신호 이름 검사 | mathworks.jmaab.jc_0281 |
| jc_0451: 부호 없는 정수에서 단항 마이너스 사용 | Stateflow 차트에서 단항 마이너스 연산 사용 검사 | mathworks.jmaab.jc_0451 |
| jc_0481: Stateflow에서 부동소수점 숫자에 엄격한 등식 비교 사용 | Stateflow 차트에서 부동소수점 표현식 사용 검사 | mathworks.jmaab_v6.jc_0481 |
| jc_0491: Stateflow 데이터의 재사용 | 검사를 수행할 수 없음 |
| jc_0501: 상태 블록의 항목 형식 | Stateflow 차트에서 상태 블록의 항목 형식 검사 | mathworks.jmaab.jc_0501 |
| jc_0511: 그래픽 함수의 반환 값 | Stateflow 그래픽 함수의 반환 값 할당 검사 | mathworks.maab.jc_0511 |
| jc_0531: 디폴트 천이 | Stateflow 차트에서 디폴트 천이 배치 검사 | mathworks.jmaab.jc_0531 |
| jc_0602: 모델 요소 이름의 일관성 | 모델 요소 이름의 일관성 검사 | mathworks.jmaab.jc_0602 |
| jc_0603: 모델 설명 | 모델 설명 검사 | mathworks.jmaab.jc_0603 |
| jc_0604: 블록 그림자 사용 | 모델에서 블록이 음영 처리되었는지 검사 | mathworks.jmaab.jc_0604 |
| jc_0610: 곱셈 블록 및 나눗셈 블록의 연산자 순서 | Product 블록의 연산자 순서 검사 | mathworks.jmaab.jc_0610 |
| jc_0611: 곱셈 블록 및 나눗셈 블록의 입력 부호 | Product 블록에서 입력 신호의 부호 검사 | mathworks.jmaab.jc_0611 |
| jc_0621: Logical Operator 블록 사용 | Logical Operator 블록의 아이콘 형태 검사 | mathworks.jmaab.jc_0621 |
| jc_0622: Fcn 블록 사용 | Fcn 블록 표현식에 괄호가 있는지 검사 | mathworks.jmaab.jc_0622 |
| jc_0623: 연속시간 Delay 블록 및 이산시간 Delay 블록의 사용 | Memory 및 Unit Delay 블록 사용 검사 | mathworks.jmaab.jc_0623 |
| jc_0624: Tapped Delay 블록/Delay 블록의 사용 | 종속 연결 Unit Delay 블록이 있는지 검사 | mathworks.jmaab.jc_0624 |
| jc_0626: Lookup Table 블록 사용 | Lookup Table 사용 검사 | mathworks.jmaab.jc_0626 |
| jc_0627: Discrete-Time Integrator 블록의 사용 | Discrete-Time Integrator 블록 사용 검사 | mathworks.jmaab_v6.jc_0627 |
| jc_0628: Saturation 블록 사용 | Saturation 블록 사용 검사 | mathworks.jmaab.jc_0628 |
| jc_0630: Multiport Switch 블록 사용 | Multiport Switch 블록의 데이터 포트 설정 검사 | mathworks.jmaab_v6.jc_0630 |
| jc_0640: 조건부 서브시스템의 Outport 블록에 대한 초기값 설정 | 조건부 서브시스템의 정의되지 않은 초기 출력 검사 | mathworks.jmaab.jc_0640 |
| jc_0641: 샘플 시간 설정 | 샘플 시간 설정 검사 | mathworks.jmaab.jc_0641 |
| jc_0642: 정수 반올림 모드 설정 | 부호 있는 정수 나눗셈의 반올림 모드 검사 | mathworks.jmaab.jc_0642 |
| jc_0643: 고정소수점 설정 | 0이 아닌 편향이 있는 고정소수점 데이터형 사용 검사 | mathworks.jmaab.jc_0643 |
| jc_0644: 유형 설정 | 데이터 객체별 유형 설정 검사 | mathworks.jmaab_v6.jc_0644 |
| jc_0645: 보정을 위한 파라미터 정의 | 조정 가능 블록 파라미터가 명명된 상수로 정의되어 있는지 검사 | mathworks.jmaab.jc_0645 |
| jc_0650: 전환 함수를 사용하는 블록 입력/출력 데이터형 | Switch 블록의 입력 데이터형과 출력 데이터형 검사 | mathworks.jmaab.jc_0650 |
| jc_0651: 유형 변환 구현 | 연산 블록의 출력 데이터형 검사 | mathworks.jmaab_v6.jc_0651 |
| jc_0653: 피드백 루프 내 Delay 블록 레이아웃 | 서브시스템 사이의 대수 루프를 방지하기 위한 검사 | mathworks.jmaab.jc_0653 |
| jc_0655: Stateflow에서 논리값 비교가 허용되지 않음 | 논리형 신호에 대한 허용되지 않는 비교 연산 검사 | mathworks.jmaab.jc_0655 |
| jc_0656: Conditional Control 블록 사용 | Switch Case 블록 및 If 블록에서 default/else case 검사 | mathworks.jmaab.jc_0656 |
| jc_0657: 조건부 제어 흐름 블록 및 Merge 블록을 기반으로 출력 값 유지 | 검사를 수행할 수 없음 |
| jc_0659: Merge 블록에 대한 신호 선 입력의 사용 제한 | Merge 블록 사용 검사 | mathworks.jmaab.jc_0659 |
| jc_0700: Stateflow 블록의 미사용 데이터 | Stateflow Chart에 미사용 데이터가 있는지 검사 | mathworks.jmaab.jc_0700 |
| jc_0701: 첫 번째 인덱스에 사용 가능한 번호 | 첫 번째 인덱스에 사용 가능한 번호 검사 | mathworks.jmaab.jc_0701 |
| jc_0702: 명명된 Stateflow 파라미터 및 상수 사용 | Stateflow에서의 숫자형 리터럴 사용 검사 | mathworks.jmaab.jc_0702 |
| jc_0711: Stateflow 내 나눗셈 | 검사를 수행할 수 없음 |
| jc_0712: 디폴트 천이 경로에 대한 실행 시간 | 디폴트 천이 경로에 대한 실행 시간 검사 | mathworks.jmaab.jc_0712 |
| jc_0721: 병렬 상태의 사용 | 병렬 상태의 사용 검사 | mathworks.jmaab.jc_0721 |
| jc_0722: 병렬 상태의 로컬 데이터 정의 | 병렬 상태의 데이터 범위 검사 | mathworks.jmaab.jc_0722 |
| jc_0723: 외부 상태에서 자식 상태로의 직접 천이 허용되지 않음 | 외부 상태로의 천이 사용 검사 | mathworks.jmaab.jc_0723 |
| jc_0730: Stateflow 블록의 고유한 상태 이름 | 상태 이름의 고유성 검사 | mathworks.jmaab.jc_0730 |
| jc_0731: 상태 이름 형식 | 상태 이름 사용 검사 | mathworks.jmaab.jc_0731 |
| jc_0732: 상태 이름, 데이터 이름 및 이벤트 이름 간 차이 | Stateflow 상태 이름, 데이터 이름 및 이벤트 이름의 고유성 검사 | mathworks.jmaab.jc_0732 |
| jc_0733: 상태 동작 유형 순서 | 상태 동작 유형 순서 검사 | mathworks.jmaab.jc_0733 |
| jc_0734: 상태 동작 유형 수 | 동작 유형이 반복되는지 검사 | mathworks.jmaab.jc_0734 |
| jc_0736: Stateflow 블록의 균일한 들여쓰기 | Stateflow 상태의 코드 들여쓰기 검사 | mathworks.jmaab.jc_0736 |
| jc_0738: Stateflow 주석 사용 | Stateflow 주석의 사용 검사 | mathworks.jmaab.jc_0738 |
| jc_0740: Exit 상태 동작 사용에 대한 제한 사항 | 모델에 상태 동작 유형 'exit'가 사용되었는지 검사 | mathworks.jmaab.jc_0740 |
| jc_0741: 상태 차트 천이 조건에 사용되는 데이터 업데이트 시점 | 상태 천이 조건에 사용된 변수에 대한 업데이트 검사 | mathworks.jmaab_v6.jc_0741 |
| jc_0751: 상태 천이에서 역추적 방지 | 상태 천이에 예기치 않은 역추적이 있는지 검사 | mathworks.jmaab.jc_0751 |
| jc_0752: 천이 레이블의 조건 동작 | Stateflow 천이의 괄호 사용 검사 | mathworks.jmaab.jc_0752 |
| jc_0753: Stateflow의 조건 동작 및 천이 동작 | Stateflow의 조건 동작 및 천이 동작 검사 | mathworks.jmaab_v6.jc_0753 |
| jc_0760: 내부 천이의 시작점 | Stateflow 내부 천이의 시작점 검사 | mathworks.jmaab.jc_0760 |
| jc_0762: 상태 동작과 플로우 차트의 결합 금지 | 허용되지 않는 상태 동작 및 플로우 차트의 결합 검사 | mathworks.jmaab.jc_0762 |
| jc_0763: 다중 내부 천이 사용 | Stateflow 상태에서의 내부 천이 사용 검사 | mathworks.jmaab.jc_0763 |
| jc_0770: 천이 레이블의 위치 | 천이에서 레이블 문자열의 위치 검사 | mathworks.jmaab_v6.jc_0770 |
| jc_0771: 천이 레이블 내 주석 위치 | 천이 레이블 내 주석 위치 검사 | mathworks.jmaab.jc_0771 |
| jc_0772: 천이 라인의 실행 순서 및 천이 조건 | Stateflow 천이의 천이 조건 사용 검사 | mathworks.jmaab.jc_0772 |
| jc_0773: 플로우 차트의 비조건부 천이 | 플로우 차트에서의 비조건부 천이 사용 검사 | mathworks.jmaab.jc_0773 |
| jc_0774: 통과형 천이에 대한 주석 | 비조건부 천이에 주석이 있는지 검사 | mathworks.jmaab.jc_0774 |
| jc_0775: 플로우 차트의 종단 연결점 | Stateflow의 종단 연결점 검사 | mathworks.jmaab.jc_0775 |
| jc_0790: Chart 블록의 동작 언어 | Stateflow 차트 동작 언어 검사 | mathworks.jmaab.jc_0790 |
| jc_0791: 중복된 데이터 이름 정의 | Simulink 데이터 이름의 중복 검사 | mathworks.jmaab.jc_0791 |
| jc_0792: 미사용 데이터 | Simulink 모델에서 미사용 데이터 검사 | mathworks.jmaab.jc_0792 |
| jc_0794: Simulink의 나눗셈 | Simulink에 0으로 나누기가 있는지 검사 | mathworks.jmaab.jc_0794 |
| jc_0795: Stateflow 데이터 이름에 사용 가능한 문자 | Stateflow 데이터 이름에 사용 가능한 문자 검사 | mathworks.jmaab.jc_0795 |
| jc_0796: Stateflow 데이터 이름의 길이 제한 | Stateflow 데이터 이름의 길이 검사 | mathworks.jmaab.jc_0796 |
| jc_0797: 연결되지 않은 천이/상태/연결점 | Stateflow Chart에 연결되지 않은 객체가 있는지 검사 | mathworks.jmaab.jc_0797 |
| jc_0800: Simulink에서 부동소수점 유형 비교 | Simulink에서 부동 소수점 유형 비교 확인 | mathworks.jmaab.jc_0800 |
| jc_0801: /* 및 */ 주석 기호의 사용이 허용되지 않음 | C 스타일 주석 기호가 사용되는지 검사 | mathworks.jmaab.jc_0801 |
| jc_0802: Stateflow에서 허용되지 않는 묵시적 형변환 사용 | Stateflow에 묵시적 형변환이 있는지 검사 | mathworks.jmaab.jc_0802 |
| jc_0803: 라이브러리 함수에 값 전달 | 검사를 수행할 수 없음 |
| jc_0804: 그래픽 함수에 재귀적 호출 사용이 허용되지 않음 | Stateflow에서 그래픽 함수 사용 검사 | mathworks.jmaab.jc_0804 |
| jc_0805: 수치 연산 블록에 대한 입력 | 검사가 존재하지 않음 |
| jc_0806: 올바르지 않은 계산 결과 감지 | 올바르지 않은 계산 결과에 대한 진단 설정 검사 | mathworks.jmaab.jc_0806 |
| jc_0900: 데이터형 정의에 사용할 수 있는 문자 | 버스 및 열거형 데이터형 이름 검사 | mathworks.jmaab_v6.jc_0900 |
| jc_0901: 버스 및 열거형 데이터형 이름의 길이 제한 | 버스 및 열거형 데이터형 이름 길이 검사 | mathworks.jmaab_v6.jc_0901 |
| jc_0902: 천이 선의 화살표 머리 크기 | 전환선의 화살촉 크기 확인 | mathworks.jmaab_v6.jc_0902 |
| jc_0903: 블록과 신호 선의 겹침 또는 교차 금지 | Check for prohibited overlapping or intersecting blocks and signal lines | mathworks.jmaab_v6.jc_0903 |
| jc_0904: 상태 및 천이 선의 중첩/교차 금지 | Check for prohibited overlapping of states and transition lines in Stateflow charts | mathworks.jmaab_v6.jc_0904 |
| jc_0905: 함수에서 데이터 이름에 사용할 수 있는 문자 | MATLAB Function에서 데이터 이름 검사 | mathworks.jmaab_v6.jc_0905 |
| jc_0906: MATLAB Function의 데이터 이름 길이 제한 | MATLAB Function의 데이터 이름 길이 검사 | mathworks.jmaab_v6.jc_0906 |
| jc_0907: 연결점의 크기 | 연결점 크기 확인 | mathworks.jmaab_v6.jc_0907 |
| jm_0002: 블록 크기 조정 | 검사가 존재하지 않음 |
| jm_0011: Stateflow에서 포인터 사용 | Stateflow 차트에 포인터가 있는지 검사 | mathworks.maab.jm_0011 |
| jm_0012: 이벤트 및 브로드캐스트 이벤트의 사용 제한 사항 | Stateflow 차트에서의 이벤트 사용 검사 | mathworks.jmaab_v6.jm_0012 |
| mp_0007: 실행 명령문 설명 방법 | 실행 명령문의 설명 검사 | mathworks.jmaab_v6.mp_0007 |
| mp_0008: 괄호 형식 | 함수 또는 변수의 이름과 왼쪽 괄호 기호 사이에 공백이 있는지 검사 | mathworks.jmaab_v6.mp_0008 |
| mp_0010: 산술식에서 연산자의 우선 순위 | 연산자 우선 순위 검사 | mathworks.jmaab_v6.mp_0010 |
| mp_0011: 단일 너비 공백을 삽입하는 방법 | 표현식의 공백 검사 | mathworks.jmaab_v6.mp_0011 |
| mp_0022: 조건식의 형식 | 조건식 설명 검사 | mathworks.jmaab_v6.mp_0022 |
| mp_0023: 상수를 사용하는 관계 연산자의 형식 | 관계 연산자 사용 검사 | mathworks.jmaab_v6.mp_0023 |
| mp_0032: 함수 헤더 정보 | 함수 헤더 검사 | mathworks.jmaab_v6.mp_0032 |
| mp_0034: 함수의 라인 수 | 함수의 라인 수 검사 | mathworks.jmaab_v6.mp_0034 |
| mp_0040: 함수의 반환 값 사용 | 함수의 반환 값이 사용되는지 검사 | mathworks.jmaab_v6.mp_0040 |
| mp_0046: 배열 인덱스에 표현식 사용 | 배열 인덱스 검사 | mathworks.jmaab_v6.mp_0046 |
| mp_0047: 비어 있지 않은 명령문이 충족해야 하는 조건 | 비어 있지 않은 명령문이 사용되는지 검사 | mathworks.jmaab_v6.mp_0047 |
| na_0001: Stateflow 연산자의 표준 사용 | Stateflow 연산자 검사 | mathworks.jmaab.na_0001 |
| na_0002: 기본 논리 연산 및 수치 연산의 적절한 사용 | 기본 논리 연산 및 수치 연산 검사 | mathworks.jmaab.na_0002 |
| na_0003: If 블록 사용법 | If 블록에 있는 논리식 검사 | mathworks.maab.na_0003 |
na_0004: Simulink 모델 모양 설정 | 비표준 표시 특성을 사용하는 Simulink 다이어그램이 있는지 검사 | mathworks.maab.na_0004 |
na_0008: 신호에 레이블 표시 | 신호 선 레이블 검사 | mathworks.maab.na_0008 |
na_0009: 신호 레이블의 직접 입력 및 전파 | 전파된 신호 레이블이 있는지 검사 | mathworks.maab.na_0009 |
| na_0010: 벡터 및 버스 신호 사용 | 벡터 및 버스 신호 사용 검사 | mathworks.jmaab.na_0010 |
| na_0011: Goto 블록 및 From 블록의 범위 | From 블록 및 Goto 블록의 범위 검사 | mathworks.jmaab_v6.na_0011 |
na_0016: MATLAB Function의 소스 라인 | MATLAB Function에서 코드 라인 검사 | mathworks.jmaab.na_0016 |
na_0017: 호출된 함수 수준의 개수 | MATLAB Function 블록에서 함수 호출 횟수 검사 | mathworks.jmaab.na_0017 |
na_0018: 중첩된 if/else 및 case 문의 개수 | MATLAB Function에서 중첩된 조건 검사 | mathworks.jmaab.na_0018 |
| na_0019: 사용이 제한된 변수 이름 | 사용이 제한된 변수 이름 검사 | mathworks.maab.na_0019 |
| na_0020: Variant Subsystem에 대한 입력 개수 | Variant Subsystem에서 누락된 포트 검사 | mathworks.jmaab_v6.na_0020 |
| na_0021: MATLAB 함수에서 문자열 사용 | MATLAB Function 블록 내의 문자형 벡터 사용 검사 | mathworks.maab.na_0021 |
na_0022: Switch/Case 문에 권장되는 패턴 | Switch/Case 문에 권장되는 패턴 사용 검사 | mathworks.maab.na_0022 |
| na_0024: MATLAB 함수의 공유 데이터 | MATLAB 코드에 전역 변수가 있는지 검사 | mathworks.maab.na_0024 |
na_0025: MATLAB 함수 헤더 | 검사가 존재하지 않음 |
| na_0031: 디폴트 열거형 값의 정의 | 열거형 값의 사용 검사 | mathworks.maab.na_0031 |
| na_0034: MATLAB Function 블록의 입력/출력 설정 | MATLAB Function의 입력 및 출력 설정 검사 | mathworks.maab.na_0034 |
| na_0036: 디폴트 Variant | 디폴트 Variant의 사용 검사 | mathworks.maab.na_0036 |
| na_0037: Variant 조건에 한 개의 변수 사용 | 한 개의 변수로 이루어진 Variant 조건 검사 | mathworks.maab.na_0037 |
| na_0039: Chart 블록 내에 포함된 Simulink 함수와 관련한 제한 사항 | Stateflow 차트에서 Simulink 사용 검사 | mathworks.maab.na_0039 |
| na_0042: Simulink 함수 사용 | Stateflow에서의 Simulink 함수 사용 검사 | mathworks.jmaab.na_0042 |
