软件构造实验四

A value is checked here to see whether it is null, but this value can't be null because it was previously dereferenced and if it were null a null pointer exception would have occurred at the earlier dereference. Essentially, this code and the previous dereference disagree as to whether this value is allowed to be null. Either the check is redundant or the previous dereference is erroneous.

Rank: Troubling (11), confidence: Normal

Pattern: RCN_REDUNDANT_NULLCHECK_WOULD_HAVE_BEEN_A_NPE

Type: RCN, Category: CORRECTNESS (Correctness)

这里检查一个值，看它是否为空，但是这个值不能为空，因为它以前被解引用过，如果它是空的，那么在之前的解引用中就会出现空指针异常。实际上，这段代码和前面的解引用不同意是否允许该值为null。要么检查是多余的，要么之前的取消引用是错误的。

Bug: Dereference of the result of readLine() without nullcheck in apps.FlightScheduleApp.add_flightentry()

The result of invoking readLine() is dereferenced without checking to see if the result is null. If there are no more lines of text to read, readLine() will return null and dereferencing that will generate a null pointer exception.

Rank: Of Concern (15), confidence: Normal

Pattern: NP_DEREFERENCE_OF_READLINE_VALUE

Type: NP, Category: STYLE (Dodgy code)

调用readLine()的结果在不检查结果是否为空的情况下被解除引用。如果没有更多的文本可读，readLine()将返回null或者解引用，这会生成空指针异常。

1. Debugging
  1. EventManager程序

理解待调试程序的代码思想

发现并定位错误的过程

你如何修正错误

修复之后的测试结果

之前的代码容易出现空指针问题，尤其在加入第一组数据的时候

改变数结构，把结构变成list套list的方式，能够储存多对时间的信息，方便后续比较。

try {

if (day <0 || day>365) {

throw new RuntimeException("day is not proper");

}

if (start <0 || start>=24) {

throw new RuntimeException("start time is not proper");

}

if (end <=0 || end>24) {

throw new RuntimeException("end time is not proper");

}

} catch (RuntimeException e) {

// TODO: handle exception

System.out.println(e.getMessage());

}

还添加了对于时间的判断，防止出现异常时间。

主要内核改成了双重循环嵌套，依次比较

修复之后的测试结果

1. 1. LowestPrice程序

理解待调试程序的代码思想

发现并定位错误的过程

你如何修正错误

修复之后的测试结果

程序思想为递归和贪心，若减去特价商品得出负数则直接break

测试时抛出空指针异常

修正：

避免指针越界，特价size比其他长。

Continue改为break。

最后的测试结果

1. 1. FlightClient/Flight/Plane程序

代码对航班按出发时间进行排序，遍历，随再机选取一个飞机，如果与该航班无冲突，则分配，如果冲突的话又再次重新随机选取，重复多次没有分配成功退出，最后检查所有航班是否都已经分配了不同的飞机

三个测试都完全通过

静态检查错误， compareto方法不能进行排序，第二个错误calendar不能用大于小于，一个地方未用equals，运行时出现死循环。

重写compareto方法使list能够排序，把大于小于号改为compareto，我循环了10000次还没结束的话自动退出，将==改为equals

实验进度记录

请使用表格方式记录你的进度情况，以超过半小时的连续编程时间为一行。

每次结束编程时，请向该表格中增加一行。不要事后胡乱填写。

不要嫌烦，该表格可帮助你汇总你在每个任务上付出的时间和精力，发现自己不擅长的任务，后续有意识的弥补。

日期	时间段	计划任务	实际完成情况
6.1	8：00-22：00	阅读实验报告，配置工具环境	完全完成
6.3	8：00-22：00	完成3.1	完全完成
6.4	8：00-10：00	完成3.2	完全完成
6.5	8：00-20：00	完成3.3	完全完成
6.6	8：00-24：00	完成3.4	完全完成
6.8	8：00-24：00	完成3.5,3.6	没有完全完成

实验过程中遇到的困难与解决途径

遇到的难点	解决途径
工具网站是全英文的，看不太懂，不知道怎么用，半天也下载不下来	翻译理解，上国内网站查询相关工具的使用
上次实验RI不怎么完整，AF也是，有些功能文件的作用忘记了	阅读代码回忆功能，加上必要的注释，加上一些RI AF
测试代码度盖度太低	重新阅读代码，改写测试文件，上互联网查询相关方法
Debug部分感觉难度比较大，不会	阅读代码的注释部分，重新理解
总是遇到测试不通过问题	耐心重新审查文件