HomeWork2
程序一:

1 public intfindLast(int[] x, inty) {
2 //Effects: If x==null throw NullPointerException
3 // else return the index of the last element
4 // in x that equals y.
5 // If no such element exists, return -1
6 for (int i=x.length-1; i> 0; i--)
7 {
8 if (x[i] == y)
9 {
10 return i;
11 }
12 }
13 return -1;
14 }
15 // test: x=[2, 3, 5]; y = 2
16 // Expected = 0

fault: for循环的终止条件应为i>=0并非i>0
1.If possible, identify a test case that does not execute the fault. (Reachability) 即不会执行fault的case:
x为null, y随意。由于x为null,for循环的变量i的赋值会因为null没有length所以抛出NullPointerException,不会到达fault的位置
期望值: NullPointerException
实际值: NullPointerException
2. If possible, identify a test case that executes the fault, but does not result in an error state.即执行了错误的代码但是没有出现error:
执行到fault但是并没有error的样例: x=[1,2,6,4,8] , y=2。 由于在i=1的时候就会因x[1]==y而终止循环,所以虽然每次for循环都会执行i>0的判断(执行fault),但是并没又因此而出现error(没有error是因为这个样例里并没有因为i>0这一fault而终止循环,即出现内部问题)。
3. If possible identify a test case that results in an error, but not a failure.即出现了error但是结果没有出错:
处于error但无failure的样例:x=[1,2,3,4,5] y=0。 由于y根本就不在x中,因此虽然程序跳出循环是因为fault(此时处于了error状态),但是结果仍是没找到,返回了-1.
程序二:

1 public static intlastZero(int[] x) {
2 //Effects: if x==null throw NullPointerException
3 // else return the index of the LAST 0 in x.
4 // Return -1 if 0 does not occur in x
5 for (int i= 0; i< x.length; i++)
6 {
7 if (x[i] == 0)
8 {
9 return i;
10 }
11 } return -1;
12 }
13 // test: x=[0, 1, 0]
14 // Expected = 2

fault: for循环的搜索顺序应该从大到小。即 for (int i=x.length-1; i>= 0; i--)
不会执行fault的样例: 不存在,所有的样例都会进入到for循环,一旦开始了i=0的赋值,就进入了fault
执行到fault但是并没有error的样例: x=[0] 。 由于数组的长度为1,所以这时就没有了从大到小或从小到大的概念了。fault不会引起error
Excepted: 0
Actual: 0
处于error但无failure的样例:x=[1,2,0,3,4] 。 由于检索的顺序反了,所以只要是数组内元素个数多于一个,就是处于error,但是结果没变。
Excepted: 2
Actual: 2
HomeWork2的更多相关文章
- Computer Network Homework2’s hard question
Computer Network Homework2’s hard question 2. What is the signal which is used to modulate the origi ...
- 【OO第二次作业】关于Homework2性能分的思考
为了获得更多的性能分,个人目前想到了以下注意点: Homework2与Homework1还是有不少相似之处的,因此在上次作业中的这些性能提升点,此次依然有效-- 表达式之间不含空格 如果存在正项,则表 ...
- SE(homework2)_软件分析
老师这次课后的作业具有开放性,很容易的我会想到经常用的那些工具软件,MATLAB,envi,ARCGIS等等. Q1:此类软件是什么时候出现的,这些软件是怎么说服你(陌生人)成为它们的用户的?他们的目 ...
- 软件测试基础homework2
1.for循环里的i>0应该改为i>=0 test1:x=[3,2,5];y=2 test2:x=[3];y=2 test3:x=[2,3,5];y=4 2.for循环里的i应该倒序 te ...
- test homework2 ~ faulty program
Program1:
- SE homework2
1. (1) Fault: for循环语句中的条件表达式i > 0,不能检查到数组的第一个元素,应该为 i >= 0 . (2) test:x=[]:y=3 Expected = -1 A ...
- Code for the Homework2 改进
1. 实现了到指定点各个关节的转角计算(多解性),并且所求解满足各个关节的最大角和最小角的限制条件. 2. 对方向向量进行了单位化,保证任意大小的向量都行 #include<iostream&g ...
- Code for the Homework2
第二次作业,最近有点忙,一直没写,先发一下,关节角计算有点问题,后面抽时间改 #include<iostream> #include <Eigen/Dense> #includ ...
- 软件测试 homework2
1. 程序1: for循环的i>0改为i>=0: 程序2: for循环for (int i = 0; i < x.length; i++)改为for (int i = x.l ...
随机推荐
- hibernate----(Hql)查询
package com.etc.test; import java.util.List;import java.util.Properties; import org.hibernate.Query; ...
- java泛型中<?>和<T>有什么区别?
public static void printColl(ArrayList<?> al){ Iterator<?> it = al.iter ...
- uC/OS-II测试(TEST)块
/*************************************************************************************************** ...
- 日志分析 第四章 安装filebeat
在进行前面准备之后可以开始安装了,我们的安装顺序是filebeat--->logstash--->elasticsearch filebeat安装很简单,先下载filebeat,这里我们使 ...
- 每天一个linux命令:route命令
Linux系统的route命令用于显示和操作IP路由表(show / manipulate the IP routing table).要实现两个不同的子网之间的通信,需要一台连接两个网络的路由器,或 ...
- c++ http请求
平常我们要访问某个URL一般都是通过浏览器进行:提交一个URL请求后,浏览器将请求发向目标服务器或者代理服务器,目标服务器或者代理服务器返回我们所需要的数据,浏览器接收到这些数据后保存成文件并进行显示 ...
- Redis+Spring缓存实例
转自:小宝鸽 一.Redis了解 1.1.Redis介绍: redis是一个key-value存储系统.和Memcached类似,它支持存储的value类型相对更多,包括string(字符串).lis ...
- 只是为了好玩——Linux之父林纳斯自传
http://yuedu.163.com/source/d227d1ce35d248b1a00471c11464d5d9_4
- C# Language Specification
https://msdn.microsoft.com/en-us/library/aa645596(v=vs.71).aspx
- DESCryptoServiceProvider
public static byte[] DESEncrypt(byte[] data, byte[] sKey) { return DESEncrypt(data, sKey, sKey); } / ...