测试设计-基于规格说明

1，等价类划分

等价类划分法将程序所有可能的输入数据（有效的和无效的）划分成若干个等价类。然后从每个部分中选取具有代表性的数据当做测试用例进行合理的分类，测试用例由有效等价类和无效等价类的代表组成，从而保证测试用例具有完整性和代表性。利用这一方法设计测试用例可以不考虑程序的内部结构，以需求规格说明书为依据，选择适当的典型子集，认真分析和推敲说明书的各项需求，特别是功能需求，尽可能多地发现错误。等价类划分法是一种系统性的确定要输入的测试条件的方法。

划分等价类的标准：

（1）完备测试、避免冗余;

（2）划分等价类重要的是：集合的划分，划分为互不相交的一组子集，而子集的并是整个集合;

（3）并是整个集合：完备性;

（4）子集互不相交：保证一种形式的无冗余性;

2，边界值分析

边界值分析法就是对输入或输出的边界值进行测试的一种黑盒测试方法。通常边界值分析法是作为对等价类划分法的补充，这种情况下，其测试用例来自等价类的边界。

长期的测试工作经验告诉我们，大量的错误是发生在输入或输出范围的边界上，而不是发生在输入输出范围的内部。因此针对各种边界情况设计测试用例，可以查出更多的错误。

与等价划分的区别：

（1）边界值分析不是从某等价类中随便挑一个作为代表，而是使这个等价类的每个边界都要作为测试条件。

（2）边界值分析不仅考虑输入条件，还要考虑输出空间产生的测试情况。

3，决策表测试

决策表是一个用表格形式来整理逻辑关系的工具，由横向的条件（因）和动作（果）和纵向的规则（测试用例）组合而成.

如图所示，判定表通常有以下四个部分组成：

（1）条件桩（Condition Stub）：列出了问题的所有条件。通常认为列出的条件的次序无关紧要。

（2）动作桩（Action Stub）：列出了问题规定可能采取的操作。这些操作的排列顺序没有约束。

（3）条件项（Condition Entry）：列出针对它左列条件的取值。在所有可能情况下的真假值。

（4）动作项（Action Entry）：列出在条件项的各种取值情况下应该采取的动作。