小议软件测试用例的设计

1、小议软件测试用例的设计软件工程论文-工程论文文章均为WORD文档，下载后可直接编辑使用亦可打印一一白盒测试技术中测试用例的设计方法研究口盒测试方法的主要作用有：（2）至少测试一次程序子模块的所有执 行路径；（2）针对所有可能的逻辑判定，至少一次取“真或“假两种 情况；（3）在运行界限内和循环边界处执行循环体；（4）测试程序内 部的数据结构的有效性。在实际的数据测试中，如果程序具有多种循 环嵌套的情况，不同的执行路径数目可能是天文数字，例如一个有5 条路径的嵌套20次循环的小程序，包含不同执行路径条数为520次 方，如果每一条路径测试1ms,全年无休时要测试完所有路径需要约 3170年的时间。因

2、此，我们必须采用一些替法，典型的方法是有选 择的执行程序中某些最有代表性的通路。口盒测试的主要技术有：1根据程序内部的逻辑结构设计测试用例的技术一逻辑覆盖（1）语句覆盖，选择足够多的测试数据以使被测程序中每条语句都 至少执行一次。语句覆盖不考虑对程序的逻辑覆盖，它主要关心表达 式的结果，却对每个条件取不同值的情况不做测试。因此，语句覆盖 是比较弱的逻辑覆盖标准。在图论中和语句覆盖对应的是点覆盖。（2） 判定覆盖，又叫分支覆盖，它首先满足语句覆盖的条件，同时对每个 判定的每种可能的结果都至少执行一次，即对每个分支都至少执行一 次每个判定，判定覆盖对程序的逻辑覆盖程度也不高。在图论中和判 定覆盖相

3、对应的是边覆盖。（3）条件覆盖，指的是不仅每个语句至少 执行一次，而且使判定表达式中的每个条件都取到各种可能的结果, 条件覆盖中可能不包含判定覆盖。（4）判定/条件覆盖，指选取足够 多的测试数据，使得判定表达式中的每个条件都取到各种可能的值, 每个判定表达式也取到各种可能的结果。（5）条件组合覆盖，要求选 择足够多的测试数据，使得每个判定表达式中条件的各种可能组合都 至少出现一次。条件组合覆盖是逻辑覆盖标准中最强的。（6）路径覆 盖，指的是选取足够多的测试数据，使程序的每条可能路径都至少执 行一次。测试用例设计举例2：如下图2所示程序段流程，实现语句 覆盖需要设计的测试数据有：X=0, Y=3

4、和Y二2；实现条件覆盖 至少采用的测试数据有：X=0, Y二3和X二3, Y=l；实现判定覆盖至少 应用的测试数据有X=0, Y=3, X=l, Y二2和X=-l, Y=2o2测试程序的控制结构，主要包括条件测试，循环测试和基木路径测 试。其中基木路径测试是由TomMcCabe提出的一种口盒测试技术， 这种技术在设计测试用例时需要首先计算程序的环形复杂度，并用该 复杂度为指南定义执行路径的基木集合。在实际测试中，仅靠基本路 径测试还不能满足要求，还需要结合条件测试技术来检查程序模块中 包含的逻辑条件，还有循环测试来专门测试循环结构的有效性。黑盒测试技术中的测试用例设计方法研究黑盒测试主要用来测

5、试软件的功能特点，通过黑盒测试可以发现：（1） 是否有遗漏了的功能或者不正确的功能；（2）能否有正确的接收输入 和正确的输出结果，这主要针对接口而言；（3）是否有外部信息访问 错误或数据结构错误，同时，软件运行时能否满足性能上的要求；（4） 软件在初始化或者退出时有无错误等；使用黑盒测试同样不可能将所 有可能的输入条件和输出条件用于测试，因为测试用例的组合是天文 数字。例如一个程序有两个输入量和一个输出量，在32位计算机上 运行，若X, Y取整数，按穷举测试时需要232x232二2组，如果一组 数据需要1ms,全年无休，需要5亿年的时间。显然，我们必须设计 合理的方案来减少测试用例的数量。目前

6、黑盒测试的主要测试用例设 计技术有：1等价类划分等价类划分是把程序的输入域划分成若干个数据类，据此导出测试用 例，因为对于同一类中的数据而言其作用是相同的引。等价类划分可 以分为有效等价类和无效等价类。有效等价类是指符合程序功能要求 的数据类，该类中包含的都是有意义的数据；而无效等价类指不能满 足程序正确运行或者预期结果的数据类的集合。我们在设计测试用例 时，要同时考虑有效等价类和无效等价类的设计方案。等价类的划分 有自己的原则。在具体使用等价类划分设计测试用例时有两个步骤:(2)设计一个新的测试方案以尽可能多地覆盖尚未被覆盖的有效等 价类，重复这一步骤直到所有有效等价类都被覆盖为止；(2)设计一 个新的测试方案，使它覆盖一个而且只覆盖一个尚未被覆盖的无效等 价类，重复这一步骤直到所有无效等价类都被覆盖为止。2边界值分析使用边界值分析方法来设计测试用例时需要开发者具有一定的经验 和创造性，通常根据划分的输入等价类和输出等价类的边界来确定边 界值的结果，即选取刚刚等于、刚刚小于和刚刚大于边界值的测试数 据，而不是选择等价类内部的数据作为测试用例。3错误推测法错误推测法主要依靠直觉和经验，需要有一定开发大型软件工程的经 验，其基木思想是通过列举出程序中可能有的错误和容易发生错误的 特殊情