Harmony-SE 모델 검사

코드를 생성하기 전에 Harmony-SE 모델을 검사할 수 있습니다.

프로시저

  1. 검사할 Harmony-SE 모델을 여십시오.
  2. 해당 요소를 선택하십시오.
    • 패키지를 검사하려면 브라우저에서 패키지를 선택하십시오.
    • 전체 모델을 검사하려면 패키지 이외의 요소를 선택하십시오.
  3. 도구 > SE 툴킷 > 모델 검사기를 선택하여 Model Checker를 여십시오.
  4. 시맨틱 검사, 가이드라인 검사SysML/Harmony 탭에서 실행하려는 검사를 선택하십시오. 검사에 대한 전체 설명을 보려면 검사 이름 위에 마우스 포인터를 두십시오.
  5. 모델 검사 실행 단추를 클릭하여 모델 검사를 시작하십시오.
  6. 옵션: 모델이나 패키지의 메트릭을 검토하고 메트릭 탭을 선택하십시오.
  7. 오류나 경고 또는 둘 모두가 발견되면 오류 탭이 앞으로 나옵니다.
    1. 오류 또는 경고를 두 번 클릭하여 브라우저에 문제의 요소를 표시하십시오.
    2. 현재 검사 결과에서 선택된 오류나 경고를 지연시키려면 선택된 오류 지연 또는 선택된 경고 지연 단추를 클릭하십시오. 지연된 오류는 지연된 오류 탭으로 이동합니다. 지연된 경고는 지연된 경고 탭으로 이동합니다. 이 탭에서 지연을 제거할 수 있습니다. 검사를 다시 실행하면 이 오류나 경고는 다시 표시되지 않습니다.
    3. 선택된 오류나 경고를 영구적으로 지연시키려면 모델의 오류 지연 또는 모델의 경고 지연 단추를 클릭하십시오. 이러한 지연도 적용 가능한 지연된 오류 또는 지연된 경고 탭으로 이동합니다. 이러한 탭에서 지연을 제거할 수 있습니다. 영구적으로 지연된 오류와 경고는 이후의 검사에서 결과에 오류나 경고가 다시 표시되지 않도록 태그가 붙습니다.
    4. 모델에 해당 단위가 없는 파일이 있으면, 고아 제거 단추를 클릭하여 파일을 개별 폴더로 이동하십시오.
    5. 모델 검사 실행을 다시 클릭하십시오. 결과가 포함된 정보 파일(예: <name of your project>_Results.txt)은 모델 검사 결과 폴더에 있습니다.

    모델에 대한 통계를 .csv 파일로 생성할 수 있습니다. 모델 통계 가져오기 단추를 클릭하여 보고서를 생성하십시오. 처리가 완료되면 프로젝트 폴더 열기 단추를 클릭하십시오. ModelComplexity.csv 파일은 프로젝트 폴더에 있습니다.

    검사를 실행한 후에는 검사기의 결과를 다른 문서 형식으로 내보낼 수 있습니다. 도구 > <format>(으)로 내보내기를 선택하여 형식을 선택할 수 있습니다.
    주: Microsoft Excel 또는 Microsoft Word의 내보내기 옵션을 설정하려면 이러한 도구가 설치되어 있어야 합니다. 모델 요소 이름에 전체 범위 이름을 표시하려면 도구 옵션 > 전체 이름 내보내기를 선택하십시오.

피드백