코드를 생성하기 전에 Harmony-SE 모델을 검사할 수 있습니다.
프로시저
- 검사할 Harmony-SE 모델을 여십시오.
- 해당 요소를 선택하십시오.
- 패키지를 검사하려면 브라우저에서 패키지를 선택하십시오.
- 전체 모델을 검사하려면 패키지 이외의 요소를 선택하십시오.
- 를 선택하여 Model Checker를 여십시오.
- 시맨틱 검사, 가이드라인 검사
및 SysML/Harmony 탭에서 실행하려는 검사를 선택하십시오.
검사에 대한 전체 설명을 보려면 검사 이름 위에 마우스 포인터를 두십시오.
- 모델 검사 실행 단추를 클릭하여 모델 검사를 시작하십시오.
- 옵션: 모델이나 패키지의 메트릭을 검토하고 메트릭 탭을
선택하십시오.
- 오류나 경고 또는 둘 모두가 발견되면 오류 탭이
앞으로 나옵니다.
- 오류 또는 경고를 두 번 클릭하여
브라우저에 문제의 요소를 표시하십시오.
- 현재 검사 결과에서 선택된 오류나 경고를 지연시키려면
선택된 오류 지연 또는 선택된 경고 지연
단추를 클릭하십시오. 지연된 오류는 지연된 오류 탭으로
이동합니다. 지연된 경고는 지연된 경고 탭으로
이동합니다. 이 탭에서 지연을 제거할 수
있습니다. 검사를 다시 실행하면 이 오류나 경고는 다시
표시되지 않습니다.
- 선택된 오류나 경고를 영구적으로 지연시키려면
모델의 오류 지연 또는 모델의 경고 지연
단추를 클릭하십시오. 이러한 지연도 적용 가능한 지연된 오류 또는
지연된 경고 탭으로 이동합니다. 이러한 탭에서 지연을
제거할 수 있습니다.
영구적으로 지연된 오류와 경고는 이후의 검사에서 결과에 오류나 경고가
다시 표시되지 않도록 태그가 붙습니다.
- 모델에 해당 단위가 없는
파일이 있으면, 고아 제거 단추를 클릭하여
파일을 개별 폴더로 이동하십시오.
- 모델 검사 실행을 다시 클릭하십시오. 결과가 포함된 정보 파일(예: <Project name>_Results.txt)은 모델
검사 결과 폴더에 있습니다.
모델에 대한 통계를 .csv 파일로 생성할 수 있습니다. 모델 통계 가져오기 단추를 클릭하여 보고서를
생성하십시오. 처리가 완료되면 프로젝트 폴더 열기 단추를 클릭하십시오. ModelComplexity.csv 파일은
프로젝트 폴더에 있습니다.
검사를 실행한 후에는 검사기의 결과를 다른 문서 형식으로 내보낼 수 있습니다. 를 선택하여 형식을
선택할 수 있습니다.
주: Microsoft Excel 또는
Microsoft Word의 내보내기 옵션을
설정하려면 이러한 도구가 설치되어 있어야 합니다. 모델 요소 이름에
전체 범위 이름을 표시하려면 를 선택하십시오.