Check use of single variable variant conditionals (한 개의 변수로 이루어진 Variant 조건 검사)

검사 ID: mathworks.maab.na_0037

지침: na_0037: Variant 조건에 한 개의 변수 사용

조건식에서 단일 변수 사용 확인

두 개 이상의 변수가 있는 조건식에 대해 Variant Subsystem, Variant Source, Variant Sink 및 Variant Model 블록을 검사합니다.

참고

지침 na_0037은 디폴트 Variant가 단일 조건을 갖는 여러 변수를 사용하여 Variant 조건 표현식을 작성하는 권장 사항에 대한 예외라고 명시합니다. 다음을 통해 디폴트 값을 정의할 수 있습니다.

이 검사는 포괄적인 조건을 사용하여 정의된 디폴트 값을 구별할 수 없습니다.

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

허용되는 Variant 조건에 대한 예상되는 검사 동작의 예는 다음과 같습니다.

통과 사례 1: 단 하나의 변형 조건에는 단일 조건이 있는 여러 변수가 있습니다(동일 조건 또는 단일 조건, x==0는 기본 사례로 가정):
- var1 IN==0 && OUT==0
- var2 IN==1
통과 사례 2: 여러 조건을 갖춘 동일한 변수가 있는 변형 조건:
- var1 IN==0 && IN==1
- var2 OUT==1 && OUT==2

Variant 조건을 위반할 경우 예상되는 검사 동작의 예는 다음과 같습니다.

위반 사례 1: 두 개 이상의 변형 조건에 단일 조건이 있는 여러 변수가 있습니다.
- var1 IN==0 && OUT==0
- var2 IN==1 && OUT==1
위반 사례 2: 두 개 이상의 변형 조건에 여러 조건이 있는 여러 변수가 있습니다.
- var1 IN==1 && OUT==2
- var2 IN==2
위반 사례 3: 변형 조건 중 하나는 default이고, 다른 하나는 단일 조건을 갖는 여러 변수를 갖습니다. 이는 두 개 이상의 디폴트 Variant는 허용되지 않으므로 허용되지 않는 사례입니다.
- var1 IN==0 && OUT==0
- var2 default

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

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

상태	권장 조치
조건식에 두 개 이상의 조건 변수가 포함되어 있습니다.	하나의 Variant만 사용하도록 모델을 업데이트하는 것을 고려하세요.
조건식 변수나 `Simulink.Variant` 객체를 작업 공간에서 찾을 수 없습니다.	모델에서 Variant를 정의하는 것을 고려하세요.
내 Variant SubSystem에서 검사가 실행되지 않습니다.	Variant SubSystem에 대한 Override variant conditions and use following variant를 지웁니다.

디폴트 Variant를 확인하지 않습니다.
Override variant conditions and use following variant를 선택하면 Variant Subsystem에서 실행되지 않습니다.
라이브러리 모델에서 실행됩니다.
라이브러리에 연결된 블록의 내용을 분석합니다.
마스크 처리된 모든 서브시스템의 내용을 분석합니다.