基于规格说明的测试技术

测试用例设计方法：

1、等价类划分法：有效等价类和无效等价类

        （1）等价类划分的6条原则

                a.在输入条件规定了取值范围或值的个数的情况下，可以确立一个有效等价类和两个无效等价类。

                b.在输入条件规定了输入值的集合或者规定了“必须如何”的条件的情况下，可以确立一个有效等价类和一个无效等价类。

                c.在输入条件是一个布尔量的情况下，可以确定一个有效等价类和一个无效等价类。

                d.在规定了输入数据的一组值（假定n个），并且程序要对每一个输入值分别处理的情况下，可以确立n个有效等价类和一个无效等价类。

                e.在规定了输入数据必须遵守的规则的情况下，可以确立一个有效等价类（符合规则）和若干个无效等价类（从不同角度违法规则）。

                f.在确知已划分的等价类中，各元素在程序处理中的方式不同的情况下，则应再将改等价类进一步划分为更小的等价类。

2、分类树法：是另一种对程序的输入域划分子集的方法（用树状图进行表示）。

注：分类树的划分过程与等价类划分有点类似，但两者的区别在于，分类树方法所划分的类是完全不相交的，而在等价类划分中，它们某些时候也可能会重叠。

3、边界值法：取略小于最小值、最小值、略大于最小值、正常值、略小于最大值、最大值，略大于最大值七种选择。

4、语法测试。

5、组合测试：组合强度包括单一选择、基本选择、成对组合、全组合和K强度组合。

6、判定表：展示出输入条件与输出结果的对应关系。判定表通常由四个部分组成（条件桩、动作桩、条件项和动作项）。

7、因果图：能直观地表明输入条件与输出动作之间的因果关系。

8、状态迁移图：多用于协议测试。

9、场景法：确定基础流和备选流。

10、正交实验法。