구성 기능 창의 검사 탭에는
사용 가능한 모든 검사가 나열됩니다.
이 태스크 정보
다음 그림에
표시된 대로 검사 탭에는 여러 열이 있습니다.
- 이름은 수행할 검사를 설명합니다.
예를 들어, 속성이 상태와 동일하게 이름이 지정됨은 속성 및 상태의
이름이 같은지 여부를 검사합니다. 기본적으로 모든 가능한 검사가 선택됩니다.
검사를 포함하지 않으려면 해당 선택란을 선택 취소하십시오.
모든 검사가 선택되어 있지 않은 경우 이를 모두 선택하려면
모두 선택 단추를 클릭하십시오. 모든 검사를
선택 취소하려면(특정 검사만 간단히 선택하기 위해) 모두
선택 취소 단추를 클릭하십시오.
이름이 긴 경우, 마우스 포인터를 이름 위로 이동시키면
도구 팁에 전체 이름이 표시됩니다.
- 도메인은 검색된 모델 영역을 지정합니다.
한 도메인이나 또 다른 도메인에 속하는 검사를 선택하여 검사 범위를
제한할 수 있습니다. 가능한 값은 다음과 같습니다.
- 클래스 모델은 모델의 구조 파트입니다.
- 상태 차트는 모델의 동작 파트를 검색합니다.
- 공통은 모델의 구조 및 동작 파트를 검색합니다.
예를 들어, 기본 이름은 클래스나 상태에 있는 기본 이름을 검사합니다.
- AR3x_BMT는 AR3x_BMT 도메인을 검색합니다.
- AUTOSAR는 AUTOSAR 도메인을 검색합니다.
- MicroC는 MicroC 도메인을 검색합니다.
- 사용자 정의 외부 검사에서 오는 다른 도메인이
있을 수도 있습니다.
- 심각도는 검사 중인 조건이 오류(
),
경고(
) 또는
정보()를
구성하는지 여부를 지정합니다.
다음 표는 코드 생성 중지의 원인이 되는 오류에 대해 설명합니다.
표 1. 코드 생성 중지의 원인이 되는 오류| 이름 충돌 |
- 속성과 상태의 이름이 같습니다.
- 같은 이름의 클래스가 다른 서브시스템에 있습니다.
- 이벤트 및 생성된 상태 클래스의 이름이 충돌합니다.
- 이벤트와 클래스의 이름이 같습니다.
|
| 기타 오류 |
- OR 상태가 기본 상태 없이 존재합니다.
- 비직교 상태로의 분기 실행.
- 비직교 상태의 결합.
- 해결되지 않은 이벤트에 대한 참조.
- 해결되지 않은 관계형 클래스에 대한 참조.
- 해결되지 않은 수퍼 클래스에 대한 참조.
- 대칭 링크에 대한 전제조건 실패.
|
- 무결성은 검사가 모델의 정확성 또는 완성도에 대한 것인지 여부를 지정합니다.
열별로 정렬하려면 열 헤더를 클릭하십시오.
완료되는 검사를 제어할 수 있습니다. 사용자가 검사 모델을
실행하면 제품이 자동으로 사전 정의된 코드 생성 검사를 수행합니다.
프로시저
실행할 검사를 지정하려면 다음을 수행하십시오.
- 모델을 여십시오.
- 코드를 검사할 모델의 구성을 활성 구성으로 설정하십시오.
(Setting the active configuration의 내용을 참조하십시오.)
- 활성 구성의 기능 창을 열고 검사 탭을 선택하십시오.
다음 조치 중 하나를 실행하십시오.
- 을
선택하십시오.
선택한 검사 탭과 함께 기능 창이 열립니다.
- 기본 브라우저에서 활성 구성을 두 번 클릭하고
검사 탭을 선택하십시오.
- 수행할 사항에 따라 다음을 수행하십시오.
- 모든 검사를 선택하려면 모두 선택
단추를 클릭하십시오.
- 원하는 검사를 보다 간단하게 선택하기 위해 모든 검사를
선택 취소하려면 모두 선택 취소 단추를 클릭한 후
수행할 검사를 선택하십시오.
- 원하는 검사 옆에 있는 선택란을 선택하거나 선택 취소하십시오.
- 하나 이상의 검사를 마우스 오른쪽 단추로 클릭하고 해당 경우에 따라
선택, 선택 취소, 선택 반전을 선택하십시오.
- 확인을 클릭하십시오.