Java 17 JUnit 5 黑盒测试实战三角形问题决策表从16条到8条的化简逻辑在软件测试领域决策表是一种强大的黑盒测试技术特别适合处理多条件组合的场景。本文将以经典的三角形判断问题为例深入剖析如何将初始的16条规则化简为8条同时结合Java 17和JUnit 5展示完整的测试实现。1. 三角形问题与决策表基础三角形判断是一个经典的软件测试案例给定三个整数a、b、c作为三角形的三条边程序需要判断它们能否构成三角形以及构成什么类型的三角形等边、等腰或不等边。判断条件包括构成三角形的基本条件C1: a b cC2: b a cC3: c a b边相等关系条件C4: a bC5: a cC6: b c初始决策表包含所有可能的条件组合共2^416条规则因为C1-C3可以合并为一个条件桩是否满足三角形构成条件。下面是初始决策表的简化表示规则编号C123C4C5C6动作1-2111-等边三角形31101等腰三角形41100等腰三角形51011等腰三角形61010等腰三角形71001等腰三角形81000不等边三角形9-160---非三角形2. 决策表化简的核心逻辑化简决策表的关键在于识别可以合并的规则。以下是化简的具体步骤2.1 识别无关条件项在三角形判断问题中当C123为0不满足三角形构成条件时无论其他条件如何结果都是非三角形。因此规则9-16可以合并为一条规则C1230, C4-, C5-, C6- → 非三角形2.2 合并相同动作的规则对于C1231的情况我们需要分析哪些条件组合会产生相同的动作等边三角形需要三条边都相等C4C5C61。但实际上只要任意两条边相等第三条边也必然相等因此可以简化为C41且C51C6可以是任意值这对应原始规则1-2等腰三角形需要恰好两条边相等。这包括多种情况ab但a≠c规则4ac但a≠b规则6bc但a≠b规则7以及abc但被等边规则覆盖的情况不等边三角形所有边都不相等C4C5C602.3 化简后的决策表基于上述分析我们得到化简后的8条规则规则编号C123C4C5C6动作1111-等边三角形21101等腰三角形31100等腰三角形41011等腰三角形51010等腰三角形61001等腰三角形71000不等边三角形80---非三角形3. Java实现与JUnit 5测试下面是用Java 17和JUnit 5实现的三角形判断程序及其测试// Triangle.java public class Triangle { public String classify(int a, int b, int c) { if (!isTriangle(a, b, c)) { return Not a triangle; } if (a b b c) { return equilateral; } else if (a b || a c || b c) { return isosceles; } else { return scalene; } } private boolean isTriangle(int a, int b, int c) { return a 0 b 0 c 0 a b c a c b b c a; } }// TriangleTest.java import org.junit.jupiter.params.ParameterizedTest; import org.junit.jupiter.params.provider.CsvSource; import static org.junit.jupiter.api.Assertions.assertEquals; class TriangleTest { private final Triangle triangle new Triangle(); ParameterizedTest CsvSource({ // 等边三角形 8, 8, 8, equilateral, // 等腰三角形 8, 8, 7, isosceles, 8, 7, 8, isosceles, 7, 8, 8, isosceles, // 不等边三角形 3, 4, 5, scalene, // 非三角形 1, 2, 3, Not a triangle, 0, 1, 1, Not a triangle }) void testClassify(int a, int b, int c, String expected) { assertEquals(expected, triangle.classify(a, b, c)); } }4. 决策表化简的通用原则从三角形问题的决策表化简中我们可以总结出以下通用原则识别无关条件当某个条件决定结果时其他条件可以标记为无关-合并相同动作分析哪些条件组合会产生相同结果可以合并利用逻辑关系理解条件之间的逻辑关系如互斥、依赖等验证完整性确保化简后的决策表仍能覆盖所有可能情况决策表化简不仅能减少测试用例数量还能帮助我们更清晰地理解业务逻辑。在实际项目中这种技术特别适用于复杂的业务规则系统多条件组合的配置系统状态转换逻辑输入验证场景掌握决策表化简技术可以显著提高测试效率特别是在持续集成/持续交付(CI/CD)环境中精简而全面的测试套件能更快地提供质量反馈。