LDRATestbed使用指南：动态分析与插装程序

"LDRA Testbed 是一款用于软件静态和动态分析的工具，本文档主要介绍了如何使用该工具进行源代码分析、编译器配置、插装程序执行以及动态覆盖率分析等操作。" 在《执行插装程序-python核心编程(第二版)pdf版》中，我们重点关注的是动态分析部分，特别是如何在LDRA Testbed中执行插装程序并进行覆盖率分析。首先，执行分析涉及选择所需的分析选项，然后在Log窗口中查看分析过程的实时状态。 执行插装程序是动态分析的关键步骤。在Testbed中，用户可以对源代码进行插装并编译，接着运行插装后的代码。例如，一个简单的三角形类型的判断程序被用于演示，用户需要在弹出的DOS窗口中输入三角形的三边长度，程序会根据输入输出三角形的类型。插装程序运行完毕后，Testbed会自动进行覆盖率分析。 当分析完成后，用户点击OK按钮结束流程。通过Individual Results菜单下的Graphical Results，可以选择Combined Dynamic Callgraph来查看动态执行结果的调用图。调用图使用不同颜色来标识函数的执行情况： 1. 从未被调用的函数用蓝色表示。 2. 所有可能的调用都已执行的函数用红色表示。 3. 至少被调用过一次，但并非所有可能的调用都执行的函数用粉红色表示。 4. 从未被执行的调用线用蓝色虚线表示。 5. 已执行的调用线用红色实线表示。 6. 函数有多种调用情况，其中一些被执行，其余未执行的用粉红色虚线表示。 此外，文档还提到了Testbed的使用指南，包括源代码文件的处理（支持单个或多个文件的分析）、对源代码的基本要求、Testbed的图形用户界面介绍、编译器的设置（如Windows环境下Visual C++的安装和配置、Borland编译器的注意事项）以及如何进行静态分析、复杂度分析、静态数据流和其他相关分析。这些内容旨在帮助用户更好地理解和操作LDRA Testbed，实现对软件质量的有效评估和提升。