실행할 검사 지정

구성 기능 창의 검사 탭에는 사용 가능한 모든 검사가 나열됩니다.

이 태스크 정보

다음 그림에 표시된 대로 검사 탭에는 여러 열이 있습니다.

구성 창, 검사 탭
표 1. 코드 생성 중지의 원인이 되는 오류
이름 충돌
  • 속성과 상태의 이름이 같습니다.
  • 같은 이름의 클래스가 다른 서브시스템에 있습니다.
  • 이벤트 및 생성된 상태 클래스의 이름이 충돌합니다.
  • 이벤트와 클래스의 이름이 같습니다.
기타 오류
  • OR 상태가 기본 상태 없이 존재합니다.
  • 비직교 상태로의 분기 실행.
  • 비직교 상태의 결합.
  • 해결되지 않은 이벤트에 대한 참조.
  • 해결되지 않은 관계형 클래스에 대한 참조.
  • 해결되지 않은 수퍼 클래스에 대한 참조.
  • 대칭 링크에 대한 전제조건 실패.

열별로 정렬하려면 열 헤더를 클릭하십시오.

완료되는 검사를 제어할 수 있습니다. 사용자가 검사 모델을 실행하면 제품이 자동으로 사전 정의된 코드 생성 검사를 수행합니다.

프로시저

실행할 검사를 지정하려면 다음을 수행하십시오.

  1. 모델을 여십시오.
  2. 코드를 검사할 모델의 구성을 활성 구성으로 설정하십시오. (Setting the active configuration을 참조하십시오.)
  3. 활성 구성의 기능 창을 열고 검사 탭을 선택하십시오. 다음 조치 중 하나를 실행하십시오.
    • 도구 > 모델 검사 > 구성을 선택하십시오.
      선택한 검사 탭과 함께 기능 창이 열립니다.
    • 기본 브라우저에서 활성 구성을 두 번 클릭하고 검사 탭을 선택하십시오.
  4. 수행할 사항에 따라 다음을 수행하십시오.
    • 모든 검사를 선택하려면 모두 선택 단추를 클릭하십시오.
    • 원하는 검사를 보다 간단하게 선택하기 위해 모든 검사를 선택 취소하려면 모두 선택 취소 단추를 클릭한 후 수행할 검사를 선택하십시오.
    • 원하는 검사 옆에 있는 선택란을 선택하거나 선택 취소하십시오.
    • 하나 이상의 검사를 마우스 오른쪽 단추로 클릭하고 해당 경우에 따라 선택, 선택 취소, 선택 반전을 선택하십시오.
  5. 확인을 클릭하십시오.

결과

사용 가능한 검사 목록은 사전 정의된 검사를 참조하십시오.


피드백