동일한 저장된 C++ 코드의 GetHealth 정의 4:6–4:15를 선택하고 실제 Alt+Shift+F 입력. 두 제품 모두 기본 표시 결과 3개(정의 4행, 호출 15행 두 개). 다른 클래스의 동명 함수 및 주석·문자열은 기본 표시 결과에서 제외됩니다.
| 대조 | VA | CA |
|---|---|---|
| 첫 호출 선택 | 15:21→15:30 | 15:21→15:30 |
| 두 번째 호출 선택 | 15:41→15:50 | 15:41→15:50 |
VA의 숨겨진 참조 2개 표시 및 상세 필터와 같은 기능을 CA에서 확인하지 못했습니다. 결과 창 배치도 VA 하단 도킹 / CA 부동 창으로 다릅니다. 전체 VA-F002 통과로 처리하지 않습니다.
양쪽 시험 코드를 원본으로 복원하고 저장했습니다. 편집기 본문과 백업 일치, 디스크 SHA256도 양쪽 8A9D8AD69A16FB6813230BE6B2DB5A5717D5DEB55B426B092465777AF2884188 일치.
계산·판정 데이터 · 검사 코드 · VA 위치 근거 · CA 위치 근거
XERJ: 미사용 — 이번 작업은 GUI 실행 대조이며 코드 검색 불필요.