等价类法详解：三角形边长输入的测试案例

等价类法是一种黑盒测试策略，它不依赖于程序的内部实现，而是根据程序的需求规格说明书来设计测试用例。这种方法基于这样的假设：对于某些输入条件，程序的反应应该是相同的，即使这些输入值可能在表面上看起来不同。等价类法将输入数据划分为有效的和无效的两类，以便更有效地验证程序功能。 在一个具体的例子中，假设我们有一个程序，用于判断用户输入的三个整数能否构成一个三角形。程序规定输入的三个整数a、b和c分别作为三角形的边长。测试用例设计时，我们需要考虑以下几点： 1. **有效等价类**： - 类型1：整数输入（包括所有非零正整数，如1, 2, 3...），这是符合三角形边长条件的。 - 编号1：三个整数输入，满足三角形条件（a+b>c, b+c>a, c+a>b）。 - 类型3：非零数，排除零作为边长的情况。 - 编号3：所有非零整数组合。 2. **无效等价类**： - 类型2：非整数输入，如小数或负数，因为三角形边长只能是正整数。 - 编号8-10：分别是一边、两边或三边为非整数。 - 类型4：负数输入，同样不符合三角形定义。 - 编号29-31：分别是单边、双边或全为负数的组合。 - 类型5：违反三角形不等式（例如，A+B≤C）的组合。 - 编号35-36：不满足三角形构成条件的边长关系。 3. **特殊情况**： - 类型6：不完整输入，如只给一边或两边的长度。 - 编号15-20：缺失的部分边长。 - 类型7：超出规定输入数量，如输入超过三个数值。 - 编号21：额外的输入项。 通过列出这些等价类及其编号，我们可以设计出一组具有代表性的测试用例，确保覆盖了所有可能的输入情况，从而验证程序在各种输入条件下是否按预期执行。这种方法有助于发现潜在的边界条件错误和异常处理问题，提高测试的有效性和效率。