文档介绍：1
软件测试
课 程 设 计
姓 名
学 号
班 级 为2，表示等腰三角形；
* 为3，表示等边三角形。
*/
public static int comfirm(int a, int b, int c) {
if((a + b > c) && (b + c > a) && (a + c > b)) { // 判断为三角形
if((a == b) && (b ==c)) // 判断为等边三角形
return 3;
if((a == b) || (b == c) || (a == c)) // 判断为等腰三角形
return 2;
else // 判断为普通三角形
return 1;
}
else { // 为非三角形
return 0;
}
}
}
表1
输入
期望输出
覆盖对象
测试结果
01
a=1, b=6, c=7
0
F1, T2, T3
0
02
a=1, b=7, c=6
0
T1, F2, T3
0
03
a=1, b=7, c=6
0
T1, T2, F2
0
04
a=3, b=3, c=3
3
T1, T2, T3,
T4, T5
3
05
a=3, b=3, c=4
2
T1, T2, T3,
T4, F5, F6, F7, T8
2
06
a=1, b=7, c=6
0
T1, T2, F2
0
07
a=4, b=3, c=3
2
T1, T2, T3,
F4, T5,
F6, T7, F8
2
08
a=3, b=4, c=5
1
T1, T2, T3,
F4, F5,
F6, F7, F8
1
09
a=3, b=4, c=3
2
T1, T2, T3,
F4, F5,
F6, F7, T8
2
6
表2
输入条件
有效等价类
无效等价类
a,b,c取值范围
V1: all are (0,20]
I1: a > 20
I2: b > 20
I3: c > 20
I4: a ≤ 0
I5: b ≤ 0
I6: c ≤ 0
a,b,c三边关系
V6: a <b + c且 b <a + c且 c <a + b
I7: a ≥ b + c
I8: b ≥ a + c
I9: c ≥ a + b
 
有效等价类的进一步细化
前提条件
a ∈ (0,20]
且b ∈ (0,20]
且 c ∈(0,20]
且 a <b + c
且 b <a + c
且 c <a + b
V1. a = b = c（等边三角形）
V2. a = b 且 a ≠ c （等腰三角形）
V3. a = c 且 a ≠ b （等腰三角形）
V4. b = c 且 b ≠ a （等腰三角形）
V5. a ≠ b 且 a ≠ c 且 b ≠ c （普通三角形）
进行三角形单元测试时，可选择总体测试，也可以一个一个测试。在测试需要修改相应的expected值。
using TriangleTest;
using ;
namespace TestTriangle
{
/// <summary>
///这是 TriangleTest 的测试类，旨在
///包含所有 TriangleTest 单元测试
///</summary>
[TestClass()]
public class TriangleTest
{
private TestContext testContextInstance;
/// <summary>
///获取或设置测试上下文，上下文提供
///有关当前测试运行及其功能的信息。