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

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