program 1
1.fault:没有判断i=0的情况
2.不会执行fault的例子：x=null y=2
3.执行fault但是不会造成error的例子：x={1} y=2
4.造成error但没有造成failure的例子：x={1,2,3} y=2
program 2
1.fault:输出的是数组里第一个找到的零，正确情况下应该输出最后一个零
2.不会执行fault的例子：x=null
3.执行fault但是不会造成error的例子：x={0}
4.造成error但没有造成failure的例子：x={1,0,3}