因果图设计判定等腰直角三角形的测试用例

### 使用因果图设计方法生成等腰直角三角形判定的测试用例

#### 定义条件和动作
为了构建因果图，先定义输入条件及其对应的输出动作：

- **条件**
- C1: 边a 和边b 是否相等 (C1 = true 如果 a == b, 否则 false)
- C2: 边b 和边c 是否相等 (C2 = true 如果 b == c, 否则 false)
- C3: 边a 和边c 是否相等 (C3 = true 如果 a == c, 否则 false)
- C4: 边a 的平方加边b 的平方是否等于边c 的平方 (C4 = true 如果 \(a^2 + b^2 = c^2\), 否则 false)

- **动作**
- A1: 打印 “不是等腰直角三角形”
- A2: 打印 “等腰直角三角形”

#### 构建因果图并转换成决策表
基于上述条件和动作建立因果关系，并将其转化为决策表形式。

| 条件 | 动作 |
| --- | --- |
| C1 | C2 | C3 | C4 | 输出结果 |
| F | F | F | T/F | 不是等腰直角三角形 [^2]|
| T | F | F | T | 等腰直角三角形 |
| F | T | F | T | 等腰直角三角形 |
| F | F | T | T | 等腰直角三角形 |

注意，在实际应用中还需要考虑其他情况如三条边不满足构成三角形的要求等情况。这里仅展示核心逻辑部分。

#### 测试用例生成
根据上表中的每种组合形成具体的测试数据集如下所示:

Test Case 1:
Input(a,b,c): (3, 4, 5)
Expected Output: "不是等腰直角三角形"

Test Case 2:
Input(a,b,c): (1, 1, Math.sqrt(2))
Expected Output: "等腰直角三角形"

Test Case 3:
Input(a,b,c): (Math.sqrt(2)/2, Math.sqrt(2)/2, 1)
Expected Output: "等腰直角三角形"

以上展示了如何利用因果图法来创建针对特定功能需求的有效测试案例。