软件工程师设计方法 副本.docx
等价类划分法是软件测试中一种常用的黑盒测试用例设计技术，通过选取具有代表性的输入数据来覆盖各种可能的输入情况，从而高效地发现程序中的错误。该方法的核心思想是将输入域（所有可能的输入数据）划分为若干个等价类，每个等价类中的数据对程序行为的影响是等效的。这样，我们只需针对每个等价类选取一个代表性的测试用例，就能有效地减少测试用例的数量，同时确保测试的覆盖率。等价类划分法分为两种类型：有效等价类和无效等价类。有效等价类是由规格说明中合理的、有意义的输入数据组成的集合，用于检查程序是否正确实现了预期的功能和性能。相反，无效等价类由不合理或无意义的输入数据构成，用于测试程序能否正确处理异常情况或边界条件。
在实际应用中，等价类划分遵循以下几个基本原则：
-
完备性：确保划分的等价类能够覆盖所有可能的输入情况。
-
避免冗余：每个输入数据应该属于且仅属于一个等价类，以防止测试用例的重复。
-
子集的并是整个集合：所有等价类的合并应该涵盖所有可能的输入。
-
子集互不相交：每个等价类内部的数据对程序的影响是等同的，不同等价类间的数据有显著差异。
等价类划分的具体方法可以根据输入条件的不同情况灵活应用。例如：
-
当输入值有范围限制时，可以划分有效类（在范围内）和两个无效类（低于下限和高于上限）。
-
如果输入条件规定了特定的值集合，可以划分为一个有效类（集合内的值）和一个无效类（集合外的值）。
-
对于布尔量，通常有真和假两个有效等价类，以及一个无效等价类（非真非假）。
-
当输入数据需满足特定规则时，可以将符合规则的输入作为一个有效等价类，违反规则的作为无效等价类。
-
若等价类内部的元素处理方式不同，可以进一步细分等价类。
为了将等价类转化为测试用例，通常需要创建一个等价类表，列出所有有效和无效等价类，并遵循以下原则设计测试用例：
-
给每个等价类分配一个唯一编号。
-
先设计测试用例覆盖未被覆盖的有效等价类，直到所有有效类都被覆盖。
-
然后设计测试用例覆盖未被覆盖的无效等价类。
以三角形问题为例，根据题目条件，我们可以划分以下几个等价类：
-
整数
-
三个数
-
非零数
-
正数
-
边长大于0且满足两边之和大于第三边的组合
-
边长相等的情况
-
三边都相等（等边三角形）
-
两两相等（等腰三角形）
-
三边都不等（一般三角形）
然后，根据这些等价类，设计测试用例，覆盖各种可能的情况，包括非法输入（如非整数、非三个数、负数或和小于第三边的边长组合等）。通过这种方法，可以有效地测试程序处理各种输入数据的能力，确保其正确性和稳定性。
想要了解更多关于黑盒测试和等价类划分的详细信息，可以参考以下资源：
