본문으로 건너뛰기

Causal Slice

인과 슬라이스

특정 실패의 발생에 구조적으로 영향을 준 실행 단계만을 역추적해 남긴 부분 경로 집합이다. STRACE는 EDG를 따라 manifestation 노드에서 역방향으로 도달 가능한 노드들만 보존하여 인과 슬라이스를 생성하고, 이를 통해 증상과 원인을 분리한다. 이 슬라이스는 옵티마이저에 전달되는 문맥의 신호대잡음비를 크게 향상시킨다.