软件测试学习笔记：找代码中的fault，并设计特定的测试用例

最新推荐文章于 2023-03-03 20:52:34 发布

转载最新推荐文章于 2023-03-03 20:52:34 发布 · 635 阅读

2 ·

CC 4.0 BY-SA版权

原文链接：http://www.cnblogs.com/xzzily-mitao/p/5267528.html

文章标签：

#测试

本文详细解析了两段代码中存在的问题，并设计了针对这些错误的测试用例。通过理论与实践相结合的方式，展示了如何正确地进行错误处理与测试，确保程序的稳定性和可靠性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

观察两段代码：

（1）发现代码中的错误；

（2）设计测试用例，不执行fault部分；

（3）设计测试用例，执行fault部分，但不出现error情况；

（4）设计测试用例，出现error情况，但不发生failure。

代码一：

public int findLast (int[] x, int y) {
//Effects: If x==null throw
NullPointerException
// else return the index of the last element
// in x that equals y.
// If no such element exists, return -1
for (int i=x.length-1; i > 0; i--)
{
if (x[i] == y)
{
return i;
}
}
return -1;
}
// test: x=[2, 3, 5]; y = 2
// Expected = 0

（1） for循环中循环条件为i>=0;

（2） x=[],y=2;

对于此测试用例，x为空，不执行for循环，直接返回NullPointerException；

理论结果：NullPointerException，

实际结果：NullPointerException；

（3） x=[1,2,3],y=2;

对于此测试用例，最后一个等于y的值不在x[0]处，而在x[1] 出，所以for循环并没有执行到"i>0"的条件出，所以不会出现error状态；

理论结果：1，

实际结果：1；

（4） x=[3,4,5],y=2;

对于此测试用例，虽然执行到了error状况，但由于x中并没有与y相等的值，所以得到结果是正确的，所以没有出现failure；

理论结果：-1，

实际结果：-1；

public static int lastZero (int[] x) {
//Effects: if x==null throw 
NullPointerException
// else return the index of the LAST 0 in x.
// Return -1 if 0 does not occur in x
for (int i = 0; i < x.length; i++)
{
if (x[i] == 0)
{
return i;
}
} return -1;
}
// test: x=[0, 1, 0]
// Expected = 2