05.Testbed中文使用指南(2)

如果不可行的 LCSAJ 被删除了，原代码就会更有效，更有生命力， 占用的空间更小。
Testbed 中文使用指南
测试策略概要
14.1 测试复杂的源代码
测试复杂系统的主要的困难起于两个方面。第一个问题是连接被插装的 原码和 I/O 文件需要执行它，包括执行历史的额外输出流。既然这个可能是 很复杂，用户使用 LDRA Testbed 可以手动地随意控制。这儿主要考虑记住 要为执行历史添加输出流。执行的插装原代码用户是可以完全信赖的。执行 完后，用户重新进入 LDRA Testbed 进行动态覆盖率分析，接下来 LDRA Testbed 可以继续分析简单的用例的执行历史。
第二个困难是考虑一个大系统的详细分析的人的问题。尽管 LDRA Testbed 对它所能分析的原代码在大小上没有限制，经验表明对一个完整的 很大的系统的分析是困难的，于是我们建议用户一次分析的代码不要超过 10，000 行。
14.2 大系统问题
当对超大规模软件系统进行工作时，测试会变得费用昂贵。这是主要由 于在系统测试时要运行很多次，计算机要花费时间，系统的执行路径仅在很 低级的模块中发生了改变。比较有用并很经济的技术是子系统测试，如下面 插图所示，展示了内部模块按等级划分的结构：
动态分析覆盖率结果显示的是每一个函数成员或类变量的行为，或作为一个 整体的类成员的覆盖率情况。在以后的方案中，覆盖会被增大到涵盖类变量 的许多不同使用。以前是很难得到的并在综合的类结构中是不可能得到的， 因此后面的策略看起来更具有普遍价值。在 C++ LDRA Testbed 中，后面的 策略已经可以实现了。
注意:划分内容的选择可能有点随意。例如：模块 J 也能被包含在第二个 分割部分。然而，在某些语言中，顶层模块 A 必须对 LDRA Testbed 来说是 可见的，因为它可以包含为执行历史插入的控制输出通道。当测试模块是 E、 F 和 G 时，从 A 到底层模块的跳转对 LDRA Testbed 来说是未知的，因为它仅 仅分析到 A 调用了 B 和 H，而不是相应的对 C、D、E、I 和 J 的调用，因为这 些模块的代码对 LDRA Testbed 来说是不可见的。导致的结果就是 LDRA Testbed 顺着控制流通过 A,当它出乎意料地发现转移到 G。LDRA Testbed 产 生了一条从 A 的最后的已知的位置到模块 G 的开始的‘额外的跳转’（也是 ‘额外的 LCSAJ’）和一条对应的从模块结束的返回跳转。静态分析不能预报 这些跳转和 LCSAJ,因此在动态覆盖率分析中这些分支被报告成不期望的分 支（unexpected branches）。更进一步的边界影响是模块 A 中的某些 LCSAJ 被报告当作不可执行的。这些也可能是包含被隐藏模块调用的 LCSAJ。
1 c:\msvc\mfc\samples\scribble\step1
分析自己的代码：
1 c:\mysourcedir
这样就可以确保被分析代码指定的头文件可以被工具找到并包含进来， 而 MFC 头文件将被忽略。
不包含 MFC 的逻辑关系是很难被量化的，主要是因为 MFC 定义了大量 的宏，如果这些宏被用在用户代码中，那么被 LDRA Testbed 分析的代码不 是 C++的,而是一种比较广泛的语法结构。LDRA Testbed 已经被设计使用这 种语法结构，但是我们不能在大体上确保我们掌控了语法结构的全体，随着 MFC 的改变，这种语法结构也会改变。LDRA 公司已经尽全力使其语法结构 是最新的，但也不能完全担保。因此，如果语法结构是错误的，LDRA Testbed 就会以一种不可预知的方式工作也是可能的，通常随着分析工作的停止，错 误信息也就产生了。然而，被包含在 Visual C++编译器中使用 MFC 类，LDRA Testbed 已经被测试过了。
进一步检查，经常发现未被执行的 LCSAJ 是不可行的。例如：对于 任何测试数据都不能执行。于是可以建议这部分代码重写，因为这部分 代码不合理、效率差还有错误。而且，这部分代码被重写后，其它的与 之有关系的 LCSAJ 也可以被删除。一些不可行的 LCSAJ 是无害的，也 可以留下来，不过这就得以减少程序的可读性为代价。倘若知道统一性 不能达到的原因，这些 LCSAJ 可以被忽略，TER3 可以被最佳化。
测试时采用自底向上的方式，选择一个子系统，如 E 、F 和 G，然后为 E 构造一个驱动。再用 LDRA Testbed 直接构造测试数据来达到子系统的覆 盖率需求。然后把 F 和 G(甚至 E)视为可信赖的组件，预编译并连接它们。 这样如果子系统 B、 C、D 和 E 是下一个被测试的目标，那么 LDRA Testbed
直到为功能测试设计的所有数据被用完或满足了必须的测试度量， 这个过程才结束。如果这前一部分是正确的，继续第二步，否则整个任 务已完成。
步骤二：检查测试覆盖度量。如果 TER1 不一致（例：不是每一条语句被执 行），可能由于测试特别的用例、错误退出等而失败。由于这些可能，累 计执行历史 Profile 是基础的，因为执行程序很多次来达到每一行代码都 执行，这通常是必须的。经常发现功能测试仅能达到可执行语句的 40 ％～60％。
Testbed 中文使用指南
C++分析策略
代码时就带来了困难，MFC 的问题也就轻易地侵犯了你的代码测试。 为了帮助用户克服这些问题，可以采用下面的测试策略。分析时不包含 NhomakorabeaFC 头文件
一般来说用户只希望分析自己的代码，对 MFC 的分析不感兴趣。LDRA Testbed 仅仅分析用户自己编写的代码，而不是 MFC，这个目标是可以达到 的。这只要确保文件 sysearch.dat 中出现的目录仅仅是包含用户自己代码的 目录，而不是包含 MFC 的目录。因此，要分析微软 Scribble 的例子时，在 sysearch.dat 文件中要包含下面这行目录：
15.1 C++ LDRA Testbed 和 MFC
概述
通常开发人员（LDRA Testbed 用户）通过在代码中 include 基本类（MFCS） 或连接基本类来使用基本类。连接基本类对 LDRA Testbed 来说是不存在任 何问题，因此这篇文档主要局限在前者包含基本类。
包含 MFC 头文件在人们分析它们时会带来许多的问题，首先，它们没 有完全遵守 ANSI C++标准；其次，它们包含许多错误和缺陷。作为错误和 缺陷检测分析工具套件，LDRA Testbed 经常会遇到这些问题，然后停止分析 并弹出相应的出错信息，例如：发现没有关闭的注释。这样在分析你自己的
Testbed 中文使用指南
测试策略概要
十四. 测试策略概要
在使用 LDRA Testbed 时，建议使用如下的测试策略：
步骤一：依据需求说明、程序说明或用户文档，从软件被假定做了什么来
构造最可能的功能测试。可以借助于 LDRA Testbed 来监控原代码按测试 数据的执行情况。当功能测试的测试数据都用完了，察看动态覆盖率分 析报告，可以得到程序中哪些部分没有被完全测试。每个测试数据集合 的动态覆盖率分析结果是累加的，也可以观察到每个测试数据集合对应 于程序中的执行部分。这些信息是通过执行动态数据集得到的。
LDRA Testbed 产生的分析结果对原代码的动态覆盖率测试是完全足够 的。静态分析只是提及用户定义的实体，因此数据流分析可以假设哪些条目 （items）对用户来说是不可见的。为了得到最明显的数据流分析包含 MFC 是基本的，可以通过在 sysearch.dat 文件中包含 MFC 的路径来实现。但是用 户会受 MFC 的错误支配，这些错误是不能改变和控制的。
通常用户发现不包含 MFC 的分析对评审来说是完全够用的。所有的结 构分析都是正确的，仅静态数据流分析有不足。在静态数据流报告中这些不 足会被逐条列出来，这份报告 LDRA Testbed 是不认可的。
包含 MFC 头文件的分析
在前面提到过，分析原代码包括 MFC 头文件，需要在 sysearch.dat 文件
Testbed 中文使用指南
测试策略概要
会把 F 和 G 当作系统调用的，在本质上忽略掉。结果就是 B、C、D 会被插 装，F、G 不被插装，E 可能会被插装也可能不被插装。整个系统可以这样 被划分为子系统再自底向上分层测试。这种方式可推荐使用在系统测试和子 系统的集成测试，主要的缺点是需要构造子系统的驱动。与 LDRA Testbed 的使用无关，在许多用例中构造这些驱动是一项明知的方针。
过载函数和分解行为调用作为每一种方法的部分策略，所有的分析都是以这 种分解为基础的。因此 LDRA Testbed 认可并辨别每个多形体的异体。
静态数据流分析
通常静态数据流分析追踪贯穿整个控制流结构的变量的值和对象。目前 没有数据流和数据关系的显示，因此，例如：这里没有类关系的图形显示。
动态分析
在静态分析中，得到的分析结果是跳过了所有的单个对象的。但是，动 态覆盖率分析呈现的仅仅是类的成员。因而，一个特殊类变量的一个定义可 能有缺陷而不是在相同类的另一个声明中。LDRA Testbed 仅报告这一种缺 陷。
当 TER1 达到一致（unity），每一条语句都被执行，那么再检查每条 没有被执行的分支。没有被执行的分支中的某些通常可以通过构造特殊 的用例来执行。当用完这个方法，继续 LCSAJ 覆盖是更费力的，因为程 序分析需要研究剩下的未被执行的分支与研究未被执行的 LCSAJ 类似。
一些未被执行的分支和 LCSAJ 可以用特殊用例来达到，例如产生于 出错的状态下或者程序或者潜在的计算过程。对于防御程序和那些应该 未被执行的 LCSAJ,这个经常被提及。
Testbed 中文使用指南
C++分析策略
中指出包含使用了的 MFC 文件的目录，例如：分析 Scribble:
1 c:\msvc\mfc\samples\scribble\step1 1 c:\msvc\include 1 c:\msvc\mfc\include