通常把编码和测试统称为实现。编码就是把软件设计结果翻译.pptVIP

* * * * * * * * * * * * * * * * * * 2. 条件测试 用条件测试技术设计出的测试用例，能够检查程序模块中包含的逻辑条件。一个简单条件是一个布尔变量或一个关系表达式，在布尔变量或关系表达式之前还可能有一个NOT算符。关系表达式的形式如下： E1关系算符E2 其中，E1和E2是算术表达式，而关系算符是下列算符之一：“”, “≤”，“=”，“≠”,“”或“≥”。复合条件由两个或多个简单条件、布尔算符和括弧组成。布尔算符有OR（“|”），AND（“”）和NOT。不包含关系表达式的条件称为布尔表达式。 因此，条件成分的类型包括布尔算符、布尔变量、布尔括弧（括住简单条件或复合条件）、关系算符及算术表达式。 条件测试方法着重测试程序中的每个条件。本节下面将讲述的条件测试策略有两个优点： ①容易度量条件的测试覆盖率； ②程序内条件的测试覆盖率可指导附加测试的设计。 人们已经提出了许多条件测试策略。分支测试可能是最简单的条件测试策略：对于复合条件C来说，C的真分支和假分支以及C中的每个简单条件，都应该至少执行一次。 包含n个变量的布尔表达式需要2n个（每个变量分别取真或假这两个可能值的组合数）测试。这个策略可以发现布尔算符、变量和括弧的错误，但是，该策略仅在n很小时才是实用的。 BRO(branch and relational operator)测试: 如果在条件中所有布尔变量和关系算符都只出现一次而且没有公共变量，则BRO测试保证能发现该条件中的分支错和关系算符错。 BRO测试利用条件C的条件约束来设计测试用例。包含n个简单条件的条件C的条件约束定义为（D1，D2，…，Dn），其中Di(0i≤n)表示条件C中第i个简单条件的输出约束。如果在条件C的一次执行过程中，C中每个简单条件的输出都满足D中对应的约束，则称C的这次执行覆盖了C的条件约束D。 对于布尔变量B来说，B的输出约束指出，B必须是真（t）或假（f）。类似地，对于关系表达式来说，用符号，=和指定表达式的输出约束。 3. 循环测试 循环测试是一种白盒测试技术，它专注于测试循环结构的有效性。在结构化的程序中通常只有3种循环，即简单循环、串接循环和嵌套循环，如图7.7所示。 图7.7 3种循环 （1） 简单循环。应该使用下列测试集来测试简单循环，其中n是允许通过循环的最大次数。 . 跳过循环。 . 只通过循环一次。 . 通过循环两次。 . 通过循环m次，其中mn-1。 . 通过循环n-1,n,n+1次。 （2） 嵌套循环。 . 从最内层循环开始测试，把所有其他循环都设置为最小值。 . 对最内层循环使用简单循环测试方法，而使外层循环的迭代参数（例如，循环计数器）取最小值，并为越界值或非法值增加一些额外的测试。 . 由内向外，对下一个循环进行测试，但保持所有其他外层循环为最小值，其他嵌套循环为“典型”值。 . 继续进行下去，直到测试完所有循环。 （3） 串接循环。如果串接循环的各个循环都彼此独立，则可以使用前述的测试简单循环的方法来测试串接循环。但是，如果两个循环串接，而且第一个循环的循环计数器值是第二个循环的初始值，则这两个循环并不是独立的。当循环不独立时，建议使用测试嵌套循环的方法来测试串接循环。 黑盒测试时完全不考虑程序内部的结构和处理过程，只按照规格说明书的规定来检查程序是否符合它的功能要求。黑盒测试是在程序接口进行的测试，又称为功能测试。 黑盒测试检查的主要方面有： 程序的功能是否正确或完善； 数据的输入能否正确接收，输出是否正确； 是否能保证外部信息（如数据文件）的完整性等。 用黑盒法设计测试用例时，必须用所有可能的输入数据来检查程序是否都能产生正确的输出。 7.7 黑盒测试 7.1.1 等价类划分 等价类划分是一种实用的测试技术，属于黑盒测试。与逻辑覆盖不同，使用等价类划分设计测试用例时，完全不需要考虑程序的内部逻辑结构，而主要依据程序的功能说明。 穷尽测试是不可能实现的，实际上也是不必要的，我们可以从所有可能的输入数据中选择一个子集来进行测试。如何选择这个子集，使得这个子集具有代表性，能尽可能多地发现程序中的错误，等价类划分就是基于这种考虑的一种实现方法。该方法根据输入数据和输出数据的特点，将程序输入域划分成若干个部分，即子集，然后从每个子集中选取具有代表性的数据作为测试用例。 1、划分等价类 等价类的划分在很大程度上依靠的是测试人员的经验，下面给出几条基本原则： （1）如果输入条件规定了取值范围，则可划分出一个有效的等价类（输入值在此范围内）和两个无效的等价类（输入值小于最小值、输入值大于最大值）。 （2）如果输入条件规定了输入数据的个数，则可相应地划分出一个有效的等价类（输入数据的个数等于给定的