711.58 동적 WCET 측정