哈工大软件构造Lab4
2020年春季学期计算机学院《软件构造》课程Lab 4实验报告
1 实验目标概述
本次实验重点训练学生面向健壮性和正确性的编程技能，利用错误和异常处
理、断言与防御式编程技术、日志/断点等调试技术、黑盒测试编程技术，使程序
可在不同的健壮性/正确性需求下能恰当的处理各种例外与错误情况，在出错后
可优雅的退出或继续执行，发现错误之后可有效的定位错误并做出修改。
实验针对 Lab 3 中写好的 ADT 代码和基于该 ADT 的三个应用的代码，使用
以下技术进行改造，提高其健壮性和正确性：
- 错误处理
- 异常处理
- Assertion 和防御式编程
- 日志
- 调试技术
- 黑盒测试及代码覆盖度
2 实验环境配置
3 实验过程
3.1 Error and Exception Handling
在./src/txt/中构造错误数据并测试
3.1.1 处理输入文本中的三类错误
1、不符合语法规则
元素定义的内容格式与语法规范不一致（例如最多 1 位小数但使用了 2
位小数、要求 2 位大写字母和 2-4 位数字但却使用了非大写字母或超过
4 位数字等）
2、输入文件中存在标签完全一样的元素,遍历所有计划项，判断是否有相同的标签
3、输入文件中各元素之间的依赖关系不正确
3.1.2 处理客户端操作时产生的异常
客户端捕获方法抛出的异常，然后直接向用户反馈提示信息。
3.2 Assertion and Defensive Programming
3.2.1 checkRep()检查rep invariants
以timeslot为例：
由此设计的checkRep()
3.2.2 Assertion/异常机制来保障pre-/post-condition
以FlightEntry为例：
确保前置条件中的时间和地点的大小相同。
3.2.3 你的代码的防御式策略概述
客户端的输入方法或API的方法起始阶段需要对用户输入进行检查。在方法中进行了对各项参数的检查，错误则抛出其在内的相应异常。
在修改ADT的内容之后，需要确认修改后的ADT符合RI。此时，可以调用ADT私有方法checkRep()进行校验。
3.3 Logging
3.3.1 异常处理的日志功能
配置日志
文件效果：
3.3.2 应用层操作的日志功能
捕获异常的同时日志记录
3.3.3 日志查询功能
从txt文件读取，通过正则表达式进行筛选，用户可输入过滤条件（显示输入时间前后一个月的时间）进行日志查询。
3.4 Testing for Robustness and Correctness
3.4.1 Testing strategy
使用等价类和边界值的思想，为ADT设计测试用例
使用等价类和边界值的思想，为ADT设计测试用例
以EventManager为例：