Golden Trace

동일한 입력 시나리오에서 기준 PLC 프로그램이 생성한 외부 출력의 시간 순서 기록입니다. 후보 프로그램을 live runtime에 배포하고 입력을 주입한 뒤 관측한 trace와 기준 trace를 비교하면 정적 코드 검사만으로 놓치는 timer, reset, 상태 전이, 출력 timing 오류를 확인할 수 있습니다.