黑盒测试和白盒测试(1)

《黑盒测试和白盒测试(1)》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

第3章软件测试基本技术3.1黑盒测试与白盒测试3.2白盒测试技术3.3黑盒测试技术 本讲教学目标了解黑盒测试和白盒测试的基本概念；了解黑盒测试和白盒测试的基本概念；掌握几中白盒测试技术：静态测试、程掌握几中白盒测试技术：静态测试、序插桩和逻辑覆盖技术。序插桩和逻辑覆盖技术。 3.1黑盒测试与白盒测试任何工程产品都可以使用白盒测试和黑盒测试两种方法之一进行测试。盒测试两种方法之一进行测试。1．黑盒测试黑盒测试：已知产品的功能设计规格和黑盒测试：用户手册，用户手册，可以进行测试证明每个功能是否实现、每个实现了的功能是否符合要求，实现、每个实现了的功能是否符合要求，以及产品的性能是否满足用户的要求。及产品的性能是否满足用户的要求。 软件的黑盒测试意味着测试要在软件的接口处进行，的接口处进行，测试人员完全不考虑程序内部的逻辑结构和内部特性，内部的逻辑结构和内部特性，只依据程序的需求规格说明书和用户手册，的需求规格说明书和用户手册，检查程序的功能是否符合它的功能说明，的功能是否符合它的功能说明，以及性能是否满足用户的要求。是否满足用户的要求。因此黑盒测试又叫功能测试或数据驱动测试。功能测试或数据驱动测试。 黑盒测试主要是为了发现以下几类错误：错误：1.是否有不正确或遗漏的功能？是否有不正确或遗漏的功能？2.在接口上，输入是否能正确的接受？能在接口上，输入是否能正确的接受？否输出正确的结果？否输出正确的结果？3.是否有数据结构错误或外部信息（例如是否有数据结构错误或外部信息（数据文件）访问错误？数据文件）访问错误？4.性能上是否能够满足要求？性能上是否能够满足要求？5.是否有初始化或终止性错误？是否有初始化或终止性错误？ 2．白盒测试白盒测试：已知产品的内部工作过程，可白盒测试：已知产品的内部工作过程，以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否以经过检查。格要求，所有内部成分是否以经过检查。软件的白盒测试是对软件的过程性细节做细致的检查，细致的检查，它允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，对程序所有逻辑路径进行测试，通过在不同点检查程序状态，确定实际状态是否与预期的状检查程序状态，态一致。态一致。因此白盒测试又称为结构测试或逻辑驱动测试。驱动测试。 白盒测试须对程序模块进行如下检查：检查：1.保证一个模块中的所有独立路径至少被使用一次2.对所有逻辑值均测试true和false。对所有逻辑值均测试true和false。3.在循环的边界和运行的界限内执行循环体。环体。4.检查内部数据结构以确定其有效性。检查内部数据结构以确定其有效性。 3.2白盒测试技术白盒测试是一种被广泛使用的逻辑测试方法，也称为结构测试或逻辑驱动测试。试方法，也称为结构测试或逻辑驱动测试。白盒测试对象基本上是源程序，白盒测试对象基本上是源程序，是以程序的内部逻辑为基础的一种测试方法。程序的内部逻辑为基础的一种测试方法。 白盒测试方法又可分为静态测试和动态测试。静态测试是一种不通过执行程序而进行测试的技术，测试的技术，其关键功能是检查软件的表示和描述是否一致，没有冲突或者没有歧义。和描述是否一致，没有冲突或者没有歧义。它瞄准的是纠正软件系统在描述、它瞄准的是纠正软件系统在描述、表示和规格上的错误，是任何进一步测试的前提。格上的错误，是任何进一步测试的前提。而动态测试需要软件的执行，动态测试需要软件的执行，当软件系统在模拟的或真实的环境中执行之前、之中和之后，拟的或真实的环境中执行之前、之中和之后，对软件系统行为的分析是动态测试的主要特点。它显示了一个系统在检查状态下是正确还是不正确。还是不正确。 3.2.1白盒测试静态测试最常见的静态测试是找出源代码的语法错误，这类测试可由编译器来完成，法错误，这类测试可由编译器来完成，因为编译器可以逐行分析检验程序的语法，为编译器可以逐行分析检验程序的语法，找出错误并报告。除此之外，找出错误并报告。除此之外，测试人员须采用人工的方法来检验程序，采用人工的方法来检验程序，有些地方存在非语法方面的错误，在非语法方面的错误，只能通过人工检测的方法来判断。的方法来判断。人工检测的方法主要有代码检查法、人工检测的方法主要有代码检查法、静态结构分析法等。静态结构分析法等。 1．代码检查法代码检查法主要是通过桌面检查，代码检查法主要是通过桌面检查，代码审查和走查方式，对以下内容进行检查：查和走查方式，对以下内容进行检查：(1)检查代码和设计的一致性；检查代码和设计的一致性；(2)代码的可读性以及对软件设计标准的遵循情况；情况；(3)代码逻辑表达的正确性；代码逻辑表达的正确性；(4)代码结构的合理性；代码结构的合理性；(5)程序中不安全、不明确和模糊的部分；程序中不安全、不明确和模糊的部分；(6)编程风格方面的问题等。编程风格方面的问题等。 代码检查方式主要有：代码检查方式主要有：（1）桌面检查（2）代码审查（3）走查 2．静态结构分析法在静态结构分析中，在静态结构分析中，测试人员通常通过使用测试工具分析程序源代码的系统结构、用测试工具分析程序源代码的系统结构、数据结构、数据接口、内部控制逻辑等内部结构，结构、数据接口、内部控制逻辑等内部结构，生成函数调用关系图、模块控制流图、生成函数调用关系图、模块控制流图、内部文件调用关系图等各种图形、图表，件调用关系图等各种图形、图表，清晰地标识整个软件的组成结构。整个软件的组成结构。通过分析这些图表，包括控制流分析、通过分析这些图表，包括控制流分析、数据据流分析、接口分析、表达式分析等，据据流分析、接口分析、表达式分析等，使其便于阅读与理解，然后可以通过分析这些图表，便于阅读与理解，然后可以通过分析这些图表，检槿砑忻挥写嬖谌毕莼虼砦蟆?检查软件有没有存在缺陷或错误。 静态结构分析法通常采用以下一些方法进行源程序的静态分析：行源程序的静态分析：(1)通过生成各种图表，来帮助对源程序通过生成各种图表，的静态分析常用的的各种引用表主要有：常用的的各种引用表主要有：①标号交叉引用表②变量交叉引用表子程序（函数）③子程序（宏、函数）引用表④等价表⑤常数表 常用的的各种关系图、控制流图主要有：常用的的各种关系图、控制流图主要有：函数调用关系图：列出所有函数，①函数调用关系图：列出所有函数，用连线表示调用关系，连线表示调用关系，通过应用程序各函数之间的调用关系展示了系统的结构。的调用关系展示了系统的结构。模块控制流图：②模块控制流图：由许多结点和连接结点的边组成的图形，点的边组成的图形，其中每个结点代表一条或多条语句，边表示控制流向，多条