【软件构造】第八章第二节 动态程序分析方法与工具