第七章软件测试.pptVIP

第七章 软件测试 第七章 软件测试 对需求分析、设计、编码的复查并测试，保证软件的可靠性。 主要内容： 软件测试的目的及原则 软件测试方法 静态与动态测试 黑盒测试与白盒测试 测试用例的设计 白盒技术 黑盒技术 测试过程 调试 7.1软件测试的目的及原则 7.1.1软件测试的目的 G.J.Myers提出了软件测试的目的： （1）软件测试是为了发现错误而执行程序的过程 （2）一个好的测试用例能发现至今尚未发现的错误 （3）一个成功的测试是发现了至今尚未发现的错误的测试 软件测试的基本任务： 根据开发各阶段的文档资料和程序的内部结构，精心设计一组“高产”的测试用例，利用这些实例执行程序，找出软件中各种潜在的错误好缺陷。 7.1.2软件测试的原则 软件测试中的原则： (1)测试用例应由输入数据和预期的输出数据两部分组成，便于对照检查，做到“有的放矢”。 (2)测试用例不仅选用合理的数据，还要选择不合理的输入数据。能够较多的发现错误，提高程序的可靠性。对于不合理的输入数据，程序应拒绝接受，并给出相应的提示。 (3)除了检查程序是否做了它应该做的事，还应该检查程序是否做了它不应该做的事。 (4)应制定测试计划并严格执行，排除随意性。 (5)长期保留测试用例，测试用例必须作为文档保存。以便回归测试和维护时使用。 (6)对于发现错误较多的程序，应该更深入的测试。 (7)程序员避免测试自己的程序，由别人或机构来测试程序会更客观，更有效。 7.2 测试方法 测试方法分类： 7.2.1静态测试和动态测试 1.静态测试 静态测试：指被测试程序不在机器上运行，而是采用人工检测和计算机辅助静态分析的手段对程序进行检测。 人工检测 人工审查程序偏重于编码质量的检验，对软件审查除了审查编码以外，还要对各阶段的软件产品进行检验。 计算机辅助静态分析 计算机辅助静态分析工具对被测试程序进行特性分析，从程序中提取一些信息，以便于检查程序逻辑的各种缺陷和可疑的程序构造。 如：用错的局部和全局变量、不匹配的参数、不适当的循环嵌套和分支嵌套、潜在的死循环、不会执行到的代码、过程的调用层次等等 2.动态测试 指通过程序运行发现错误。 两种测试方法：黑盒法和白盒法 7.2.2黑盒测试法和白盒测试法 1.黑盒法：又称功能测试或数据驱动测试法 把被测试对象看成一个黑盒子，无须考虑程序内部结构和处理过程，只在软件接口处进行测试。依据需求规格说明书，检查程序是否满足功能要求。 黑盒法主要发现以下错误： （1）是否有不正确或遗漏的功能 （2）在接口上，能否正确的接受输入数据，能否产生正确的输出信息 （3）访问外部信息是否有错 （4）性能上是否满足要求等等 不能用穷举法确定测试数据，但必须在所有可能输入和输出条件中确定测试数据。 2.白盒法 测试程序内部结构和处理过程。以检查处理过程的细节为基础，对程序中尽可能多的逻辑路径进行测试。 注：黑盒法和白盒法都不能使测试达到彻底。为此，要精心设计测试用例，用有限的测试发现更多的错误。 7.3 测试用例设计 7.3.1 白盒技术 测试对象：源程序 设计测试用例的基础：程序内部逻辑结构 设计测试用例的设计方法： 1.逻辑覆盖 （1）语句覆盖 指设计足够的测试用例，使被测程序中每个语句至少执行一次。（覆盖标准） 例： 从每个语句都能执行来看，似乎全面的检验了每个语句，但只测试了逻辑表达式为“真”的条件。 若将第一个逻辑表达式中的“AND”误写成“OR”仍用上述数据测试，则不能发现这个错误。同理将第一个逻辑表达式“X1”错写成“X1”也不能被发现。 语句覆盖是最弱的覆盖标准。 （2）判定覆盖（分支覆盖） 指设计足够的测试用例，使被测试程序中每个判定表达式至少获得一次”真”和“假”的值。即使得每个分支都至少通过一次。（判定覆盖标准） 例如上例：只要通过124，135或125，134就达到判定覆盖标准。 以125，134路径，选择两组测试用例： a=3，b=0，x=1（ 125路径） a=2，b=1，x=2（ 134路径） 判定覆盖比语句覆盖严格；每个分支都执行过了，自然每个语句也都执行了。 问题：测试仍不充分，上述数据只覆盖了全部路径的一半。如果将第二个判定表达式中的“X1”错写成“X1”仍查不出该错误。 （3）条件覆盖 设计足够的测试用例，使判定表达式中每个条件的各种可能的值至少出现一次。（条件覆盖标准） 例如：上述程序中有4个条件： a1，b=0，a=2, x1 要选择足够的数据，使判定表达式1出现结果： a1，b=0 a≤2, b≠0 并使判定表达式2出现结果：