动态程序分析器可以用来捕获程序的执行情况

• A dynamic program analyser may be used to check that paths have been executed