软件测试规范书Word下载.docx

1、相反，如果测试是为了发现程序中的错误，就会力求设计出最能暴露错误的测试方案。由于测试的目标是暴露程序中的错误，从心理学角度看，由程序的编写者自己进行测试是不恰当的。因此，在综合测试阶段通常由其他人员组成测试小组来完成测试工作。此外，应该认识到测试决不能证明程序是正确的。即使经过了最严格的测试之后，仍然可能还有没被发现的错误潜藏在程序中。测试只能查找出程序中的错误，不能证明程序中没有错误。三三.软件测试流程软件测试流程 1.软件测试流程图软件测试流程图 N Y N Y N Y 2.软件测试注意事项软件测试注意事项 根据软件开发规范仔细检查软件的界面是否合乎要求。（每一个子界面也应如此）其中，应注

2、意提示信息和软件开发商信息是否正确。小的图标是否合乎要求。检查菜单当中的各项功能和功能按钮是否能正确使用。根据软件开发规范和用户需求及软件详细设计设计测试用例。（以边界值法、等价类划分法为主）。对功能界面要求注意与功能相关的信息显示及显示位置是否正确。数据输入界面应注意文字格式及数字和文字的区别。是否能够正确保存信息。数据查询（显示）界面应注意显示信息是否正确和完整。是否能正确查询。对打印功能要求注意打印出的报表是否正确。（包括报表各项信息、数据信息和报表字体等）。这一项测试主要是对软件的错误处理功能进行测试。就是进行错误的操作或输入错误的数据，检查软件对这些情况是否能做出判断并予以提示。特殊

3、情况下要制造极端状态和意外状态，比如网络异常中断、电源断电等情况。一定要注意测试中的错误集中发生现象，这和程序员的编程水平和习惯有很大的关系。对测试错误结果一定要有一个确认的过程。一般有 A测试出来的错误，一定要有一个 B来确认，严重的错误可以召开评审会进行讨论和分析。制定严格的测试计划，并把测试时间安排得尽量宽松，不要希望在极短的时间内完成一个高水平的测试。回归测试的关联性一定要引起充分的注意，修改一个错误而引起更多错误出现的现象并不少见。妥善保存一切测试过程文档，意义是不言而喻的，测试的重现性往往要靠测试文档。四四.软件测试类型软件测试类型 除非是测试一个小程序，否则一开始就把整个系统作为

4、一个单独的实体来测试是不现实的。与开发过程类似，测试过程也必须分步骤进行，每个步骤在逻辑上是前一个步骤的继续。大型软件系统通常由若干个子系统组成，每个子系统又由许多模块组成。因此，大型软件系统的测试基本上由下述几个步骤组成：1.模块测模块测试试 在设计得好的软件系统中，每个模块完成一个清晰定义的子功能，而且这个子功能和同级其他模块的功能之间没有相互依赖关系。因此，有可能把每个模块作为一个单独的实体来测试，而且通常比较容易设计检验模块正确性的测试方案。模块测试的目的是保证每个模块作为一个单元能正确运行，所以模块测试通常又称为单元测试。在这个测试步骤中所发现的往往是编码和详细设计的错误。2.子系统

5、测试子系统测试 子系统测试是把经过单元测试的模块放在一起形成一个子系统来测试。模块相互间的协调和通信是这个测试过程中的主要问题，因此这个步骤着重测试模块的接口。3.系统测试系统测试 系统测试是把经过测试的于系统装配成一个完整的系统来测试。在这个过程中不仅应该发现设计和编码的错误，还应该验证系统确实能提供需求说明书中指定的功能，而且系统的动态特性也符合预定要求。在这个测试步骤中发现的往往是软件设计中的错误，也可能发现需求说明中的错误。不论是子系统测试还是系统测试，都兼有检测和组装两重含义，通常称为集成测试。4.验收测试验收测试 验收测试把软件系统作为单一的实体进行测试，测试内容与系统测试基本类似

6、，但是它是在用户积极参与下进行的，而且可能主要使用实际数据（系统将来要处理的信息）进行测试。验收测试的目的是验证系统确实能够满足用户的需要，在这个测试步骤中发现的往往是系统需求说明书中的错误。五五.黑盒测试方法黑盒测试方法 黑盒测试（blackbox testing）又称功能测试、数据驱动测试或基于规范的测试（即ec颠 cationbased testing）。用这种方法进行测试时，被测程序被当作看不见内部的黑盒。在完全不考虑程序内部结构和内部特性的情况下，测试者仅依据程序功能的需求规范考虑确定测试用例和推断测试结果的正确性。因此黑盒测试是从用户观点出发的测试，黑盒测试直观的想法就是既然程序被

7、规定做某些事，那我们就看看它是不是在任何情况下都做的对。完整的“任何情况”是无法验证的，为此黑盒测试也有一套产生测试用例的方法，以产生有限的测试用例而覆盖足够多的“任何情况”。由于黑盒测试不需要了解程序内部结构，所以许多高层的测试如确认测试、系统测试、验收测试都采用黑盒测试。黑盒测试首先是程序通常的功能性测试。要求：每个软件特性必须被一个测试用例或一个被认可的异常所覆盖。用数据类型和数据值的最小集测试。用一系列真实的数据类型和数据值运行，测试超负荷、饱和及其他“最坏情况”的结果；用假想的数据类型和数据值运行，测试排斥不规则输入的能力；对影响性能的关键模块，如基本算法、应测试单元性能（包括精度、

8、时间、容量等）。不仅要考核“程序应该做什么?”还要考察“程序是否做了不该做的 2”同时还要考察程序在其他一些情况下是否正常。这些情况包括数据类型和数据值的异常等等。下述几种方法：（a）等价类划分，（b）因果图方法，（c）边值分析法，（d）猜错法，（e）随机数法，就是从更广泛的角度来进行黑盒测试。每一个方法都力图能涵盖更多的“任何情况”，但又各有长处，综合使用这些方法，会得到一个较好的测试用例集。1.等价类划分等价类划分 等价类划分是一种典型的黑盒测试方法。等价类是指某个输入域的集合。它表示对揭露程序中的错误来说，集合中的每个输入条件是等效的。因此我们只要在一个集合中选取一个测试数据即可。等价类

9、划分的办法是把程序的输入域划分成若干等价类，然后从每个部分中选取少数代表性数据当作测试用例。这样就可使用少数测试用例检验程序在一大类情况下的反映。在考虑等价类时，应该注意区别以下两种不同的情况：有效等价类：有效等价类指的是对程序的规范是有意义的、合理的输入数据所构成的集合。在具体问题中，有效等价类可以是一个，也可以是多个。无效等价类：无效等价类指对程序的规范是不合理的或无意义的输入数据所构成的集合。对于具体的问题，无效等价类至少应有一个，也可能有多个。确定等价类有以下几条原则：如果输入条件规定了取值范围或值的个数，则可确定一个有效等价类和两个无效等价类。例如，程序的规范中提到的输入条包括“项数

10、可以从 1 到 999”，则可取有效等价类为“l 考项数999”，无效等价类为“项数l，及“项数999”。输入条件规定了输入值的集合，或是规定了“必须如何”的条件，则可确定一个有效等价类和一个无效等价类。如某程序涉及标识符，其输入条件规定“标识符应以字母开头”则“以字母开头者”作为有效等价类，“以非字母开头”作为无效等价类。如果我们确知，已划分的等价类中各元素在程序中的处理方式是不同的，则应将此等价类进一步划分成更小等价类。输入条件 有效等价类 无效等价类。根据已列出的等价类表，按以下步骤确定测试用例：为每个等价类规定一个唯一的编号；设计一个测试用例，使其尽可能多地覆盖尚未覆盖的有效等价类。重

11、复这一步，最后使得所有有效等价类均被测试用例所覆盖；设计一个新的测试用例，使其只覆盖一个无效等价类。重复这一步，使所有无效等价类均被覆盖。这里强调每次只覆盖一个无效等价类。这是因为一个测试用例中如果含有多个缺陷，有可能在测试中只发现其中的一个，另一些被忽视。等价类划分法能够全面、系统地考虑黑盒测试的测试用例设计问题，但是没有注意选用一些“高效的”、“有针对性的”测试用例。后面介绍的边值分析法可以弥补这一缺点。2.因果图因果图 等价类划分法并没有考虑到输入情况的各种组合。这样虽然各个输入条件单独可能出错的情况已经看到了，但多个输入情况组合起来可能出错的情况却被忽略。采用因果图方法能帮助我们按一定

12、步骤选择一组高效的测试用例，同时，还能为我们指出程序规范的描述中存在什么问题。利用因果图导出测试用例需要经过以下几个步骤：分析程序规范的描述中哪些是原因，哪些是结果。原因常常是输入条件或是输入条件的等价类。结果是输出条件。分析程序规范的描述中语义的内容，并将其表示成连接各个原因与各个结果的“因果图”。由于语法或环境的限制，有些原因和结果的组合情况是不可能出现的。为表明这些特定的情况，在因果图上使用持殊的符号标明约束条件。把因果图转换成判定表。把判定表的每一列写成一个测试用例。3.边值分析法边值分析法 边值分析法是列出单元功能、输入、状态及控制的合法边界值和非法边界值，设计测试用例，包含全部边界

13、值的方法。典型地包括 IF语句中的判别值，定义域、值域边界，空或畸形输入，末受控状态等。边值分析法不是一类找一个例子的方法，而是以边界情况的处理作为主要目标专门设计测试用例的方法。另外，边值分析不仅考查输入的边值，也要考虑输出的边值。这是从人们的经验得出的一种有效方法。人们发现许多软件错误只是在下标、数据结构和标量值的边界值及其上、下出现，运行这个区域的测试用例发现错误的概率很高。用边值分析法设计测试用例时，有以下几条原则：如果输入条件规定了取值范围，或是规定了值的个数，则应以该范围的边界内及刚刚超出范围的边界外的值，或是分别对最大、最小及稍小于最小、稍大于最大个数作为测试用例。如有规范“某文

14、件可包含 l 至 255”个记录“，则测试用例可选 1 和255 及 0 和 256等。针对规范的每个输出条件使用原则a。如果程序规范中提到的输入或输出域是个有序的集合（如顺序文件、表格等）就应注意选取有序集的第一个和最后一个元素作为测试用例。分析规范，尽可能找出可能的边界条件。一个典型的边值分析例子是三角形分类程序。选取 a，b，c构成三角形三边，“任意两边之和大于第三边”为边界条件。边值分析相等价类划分侧重不同，对等价类划分是一个补充。如上述三角形问题，选取 a3，b4，c5a2，b4，c7则覆盖有效和无效等价类。如果能在等价类划分中注入边值分析的思想。在每个等价类中不只选取一个覆盖用例，

15、而是进而选取该等价类的边界值等价类划分法将更有效，最后可以用边值分析法再补充一些测试用例。4.猜错法猜错法 猜错法在很大程度上是凭经验进行的，是凭人们对过去所作的测试工作结果的分析，对所揭示的缺陷的规律性作直觉的推测来发现缺陷的。一个采用两分法的检索程序，典型地可以列出下面几种测试情况：被检索的表只有一项或为空表；表的项数恰好是 2 的幂次；表的项数比 2的幂次多 1 等。猜错法充分发挥人的经验，在一个测试小组中集思广益，方便实用，特别在软件测试基础较差的情况下，很好地组织测试小组（也可以有外来人员）进行错误猜测，是有效的测试方法。5.随机数法随机数法 即测试用例的参数是随机数。它可以自动生成

16、，因此自动化程度高。使用大量随机测试用例测试通过的程序会提高用户对程序的信心。但其关键在于随机数的规律是否符合使用实际。六六.白盒测试方法白盒测试方法 白盒法测试，是以程序的内部逻辑为基础，有选择地执行程序中最有代表性的通路。因此，白盒法也叫逻辑覆盖法（bgic MM 阴 e）。最彻底的逻辑覆盖法，是覆盖程序巾的诲一条通路。但当程序中含有大量循环时，要执行每一条通路是 44 可能的。因此，我们只能寄希望于程序的覆盖度尽可能高一些。目前常用的一些覆盖标准有：语句覆盖、判定覆盖、条件澄盖、判定涤件覆盖、条件组合覆盖、路径覆盖等。白盒法考虑的是测试用例对程序内部逻辑的覆盖程度，所以又称为逻辑覆盖法。

17、最彻底的白盒法是覆盖程序中的每一条路径，但这不可能，我们希望覆盖的路径尽可能多一些。为了衡量测试的覆盖程度，需要建立一些标准，目前常用的一些覆盖标准是：（1）语句覆盖；（2）判定覆盖；（3）条件覆盖；（4）判定条件覆盖；（5）条件组合覆盖。1.语句覆盖语句覆盖 程序的某次运行一般并不能执行到其中的每一个语句，因此，如果某语句含有一个错误，而它在测试中没执行，这个错误就不可能被发现。为了提高发现错误的可能性，应该在测试时至少要执行程序中的每一个语句。所谓“语句覆盖”测试标准，它的含义是：选择足够的测试用例，使得程序中每个语句至少都能执行一次。例子：Procedure Example（Var A,

18、B,C:real）begin if（A1）and（B=0）then x:=x/A；if（A=2）or（x1）then x:=x+l end;为了使程序中每个语句至少执行一次，只需设计一个能通过路径 ace 的例子就可以了。例如选择输入数据为：A=2，B=0，x=3 就可达到“语句覆盖”标准。显然，语句覆盖是一个比较弱的覆盖标准。如果第一个条件语句中的 and 错误地写成 or，上面的测试用例是不能发现这个错误的，或者是第二个条件语句中 x1 误写成 x0，这个测试用例也不能暴露它。我们还可以举出许多错误情况是上述测试数据不能发现的。所以，一般认为“语句覆盖”是很不充分的最低的一种覆盖标准。2.

19、判定理盖判定理盖 比“语句覆盖”稍强的覆盖标准是“判定覆盖”（或称分支覆盖）。这个标准是：执行足够的测试用例，使得程序中每个判定至少都获得一次“真”值和“假”值，即使得程序中的每一个分文至少都通过一次。对上面那个例子，如果设计两个测试用例，就可以达到“判定覆盖”的标难。为此，我们可以选择输人数据为：（1）A=3，B=0，x=l（2）A=2，B=1，x=3“判定覆盖”比“语句覆盖”严格，因为如果每个分支都执行过了，自然每个语句也就执行了。3.条件覆盖条件覆盖 它的含义是：执行足够的测试用例，使得判定中每个条件获得各种可能的结果。对于例子程序,我们只需设计以下两个测试用例就可满足这标准：（1）A2

20、，Bo，x4（沿路径 ace执行）（2）A1，Bl，xl（沿路径 aN执行）虽然同样只要两个测试用例，但它比判定覆盖中两个测试用例更有效。一般来说，“条件覆盖”比“判定覆盖”强，但是，并不总是如此，满足“条件覆盖”不一定满足“判定覆盖”。例如对语句。IF（A AND B）THEN S 设计两个测试用例：A“真”B“假”和 A“假”B“真”。对于上例我们设计两个测试用例为：（1）A1，Bo，x3 （2）A2，Bl，x1 亦是如此，它们能满足“条件覆盖”但不满足“判定覆盖”。4.判定条件覆盖判定条件覆盖 针对上面的问题引出了另一种覆盖标准，这就是“判定条件覆盖”，它的含义是：执行足够的测试用例，同

21、时满足判定覆盖和条件覆盖的要求。显然，它比“判定覆盖”和“条件覆盖”都强。对于例子程序，我们选取测试用例：（1）A=2，B=0，x=4 （2）A=1，B=l，x=l 它满足判定条件覆盖标准。值得指出，看起来“判定条件覆盖”似乎是比较合理的，应成为我们的目标，但是事实并非如此，因为大多数计算机不能用一条指令对多个条件作出判定，而必须将源程序中对多个条件的判定分解成几个简单判定。这个讨论说明了，尽管“判定条件覆盖”看起来能使各种条件取到所有可能的值，但实际上并不一定能检查到这样的程度。针对这种情况，有下面的条件组合覆盖标准。5.条件组合覆盖条件组合覆盖“条件组合覆盖”的含义是：执行足够的测试用例，

22、使得每个判定中条件的各种可能组合都至少执行一次。这是一个最强的逻辑覆盖标准。再看例子程序，必须使测试用例覆盖八种组合结果（1）A1，B=0（5）A=2，x1（2）A1，B0（6）A=2，x1（3）Al，B=0（7）A2，x1（4）A1，B0（8）A2，x1 必须注意到，（5）、（6）、（7）、（8）四种情况是第二个条件语句的条件组合，而 x 的值在该语句之前是要经过计算的，所以我们还必须根据程序的逻辑推算出在程序的人口点 x 的输入值应是什么。要测试八个组合结果并不是意味着需要八种测试用例，事实上，我们能用四种测试用例来覆盖它们：（1）A2，Bo，x4；（2）A2，B1，xl；（3）Al，Bo

23、，x2；（4）A1，B1，xl。上面四个例子虽然满足条件组合覆盖，但并不能覆盖程序中的每一条路径，可以看出条件组合覆盖仍然是不彻底的，在白盒测试时，要设法弥补这个缺陷。七七.测试错误类型测试错误类型 本规范定义以下五类测试错误类型。A类严重错误，包括以下各种错误：由于程序所引起的死机,非法退出 死循环 数据库发生死锁 因错误操作导致的程序中断 功能错误 与数据库连接错误 数据通讯错误 B类较严重错误，包括以下各种错误：程序错误 程序接口错误 数据库的表、业务规则、缺省值未加完整性等约束条件 C 类一般性错误，包括以下各种错误：操作界面错误（包括数据窗口内列名定义、含义是否一致）打印内容、格式错

24、误 简单的输入限制未放在前台进行控制 删除操作未给出提示 数据库表中有过多的空字段 D类较小错误，包括以下各种错误：界面不规范 辅助说明描述不清楚 输入输出不规范 长操作未给用户提示 提示窗口文字未采用行业术语 可输入区域和只读区域没有明显的区分标志 E类测试建议 八八.测试标准测试标准 黑盒测试的通过准则一般有：单元功能同设计需求一致；规定的路径覆盖率及覆盖类达到要求，且单元执行正确；所规定的黑盒测试手段被使用，且单元执行正确；对残留错误有合法解释或被认可暂留；虽然路径覆盖率不能达到，但其他各测试的错误查出率趋产 0 或稳定（时间的长短视情况而定）。各类软件测试合格须符合以下标准。A类错误 B类错误 C 类错误 D籿错误 E类建议 无 无 1%5%暂不作要求 以上比例为错误占总测试模块的比例。软件产品未经测试合格，不允许交付用户。