추적 트리 창
추적 트리 창에는 다음 스크린샷과 같이 규칙 위반 경로에서 실행된 소스 코드의 중요한 요소 추적이 표시됩니다.
함수 호출 및 할당과 같은 이러한 중요한 요소는 SDV 운영 체제 모델 코드(sdv-harness.c 파일), SDV 규칙 소스 파일(*.slic) 및 드라이버의 소스 코드를 포함하여 규칙 위반을 감지하는 데 사용된 모든 원본 파일에서 가져옵니다. 코드 요소는 다른 파일에서 시작된 경우에도 실행된 순서대로 표시됩니다.
SDV는 추적 트리 창의 디스플레이를 소스 코드 창 과 상태 창에 표시하여 조정 합니다. 추적 트리 창에서 소스 코드를 단계별로 실행하면 SDV는 소스 코드 창에서 해당 코드 줄을 자동으로 강조 표시하고 상태 창의 해당 지점에 변수 값을 표시합니다.
이 단원에는 다음이 포함됩니다.