Lab 4心得

实验目标概述
本次实验重点训练学生面向健壮性和正确性的编程技能，利用错误和异常处理、断言与防御式编程技术、日志/断点等调试技术、黑盒测试编程技术，使程序可在不同的健壮性/正确性需求下能恰当的处理各种例外与错误情况，在出错后可优雅的退出或继续执行，发现错误之后可有效的定位错误并做出修改。
实验针对Lab 3中写好的ADT代码和基于该ADT的三个应用的代码，使用以下技术进行改造，提高其健壮性和正确性：
（1）错误处理
（2）异常处理
（3）Assertion和防御式编程
（4）日志
（5）调试技术
（6）黑盒测试及代码覆盖度
实验环境配置
安装log4j
登录log4j的官网http://logging.apache.org/log4j/2.x/，选择左边的Download。

图2.1-1 Log4j主页
进入Download界面以后选择下载第2个，下载压缩包并解压。

图2.1-2 Log4j下载界面
之后在eclipse的ClassPath中将其导入即可。
安装SpotBugs
在Eclipse的Marketplace中搜索SpotBugs，点击install，进行安装。

图2.2 安装SpotBugs
Lab4仓库的URL地址：
https://github.com/ComputerScienceHIT/Lab4-1170300621
实验过程
请仔细对照实验手册，针对每一项任务，在下面各节中记录你