软件测试技术 作业2

 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

错误：

for (int i=x.length-1; i > 0; i--)

应改为

for (int i=x.length-1; i >= 0; i--)　　//原代码中不会遍历到数组中第0个数据

不会执行故障的用例：　　x = [2,3,5];y = 5;Excepted = 2;

执行故障但是不会导致错误状态的测试用例:　　??

导致故障而不会失败的测试用例:　　x = [2,3,5];y = 0; Excepted = -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

错误：

for (int i = 0; i < x.length; i++)

应改为

for (int i = x.length - 1; i >= 0 ; i--)　　//原代码搜索出数组中第一个0而非最后一个

不会执行故障的测试用例：　　？？

执行故障但是不会导致错误状态的测试用例：　　？？

导致故障而不会失败的测试用例:　　x = [1,0,1];　　Expected = 1;




知识点：

• 软件故障(software Fault)：软件中的静态代码的缺陷
• 软件错误(software Error)：不正确的内部状态，该状态是故障的表现。
• 软件失败(software Failure)：与需求或期望的行为的描述有关德尔、外部的、不正确的行为

Reachability：项目中错误的位置是可以找到的
infection：项目中该阶段必须是不正确的
Propagation：项目中有有影响的部分必须导致一些输出或结果的不正确