【6.10】软件构造Lab4

实验通过错误处理、异常处理、断言、防御式编程、日志和黑盒测试,提升Lab3中ADT和应用代码的健壮性和正确性。涉及错误如DataPatternException、EntryNumberFormatException等,通过添加异常机制、检查rep invariants和pre-/post-condition等策略确保代码质量。此外,使用SpotBugs工具检测潜在问题,并进行调试,如EventManager、LowestPrice和FlightClient/Flight/Plane程序的修复。
摘要由CSDN通过智能技术生成

本次实验重点训练学生面向健壮性和正确性的编程技能,利用错误和异常处
理、断言与防御式编程技术、日志/断点等调试技术、黑盒测试编程技术,使程序可在不同的健壮性/正确性需求下能恰当的处理各种例外与错误情况,在出错后可优雅的退出或继续执行,发现错误之后可有效的定位错误并做出修改。
实验针对 Lab 3 中写好的 ADT 代码和基于该 ADT 的三个应用的代码,使用以下技术进行改造,提高其健壮性和正确性:
·错误处理
·异常处理
·Assertion 和防御式编程
·日志
·调试技术
·黑盒测试及代码覆盖度

3.1 Error and Exception Handling
3.1.1 处理输入文本中的三类错误

  1. DataPatternException 数据常量错误导致没有匹配到三个元素
    抛出异常方法:在正则表达式匹配时,若没有匹配到则抛出该错误。
  2. EntryNumberFormatException 计划项编号不规范
    抛出异常方法:检查是否符合“前两个字符为大写字母,后2-4个字符为数字”。
  3. SameAirportException 起飞和到达地点相同
    抛出异常方法:对比两个机场字符串是否相等。
  4. TimeOrderException 起飞时间在到达时间之后或两个时间相同
    抛出异常方法:先用try结构进行判断,否则抛出DateTimeParseException;然后在finally中使用LocalDateTime.isBefore()方法比较。
  5. PlaneNumberFormatException 飞机编号不规范
    抛出异常方法:检查字符串长度以及首字母、后4位数字。
  6. HugeTimeGapException 起飞时间和到达时间超过一天
    抛出异常方法&#
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
资源包主要包含以下内容: ASP项目源码:每个资源包中都包含完整的ASP项目源码,这些源码采用了经典的ASP技术开发,结构清晰、注释详细,帮助用户轻松理解整个项目的逻辑和实现方式。通过这些源码,用户可以学习到ASP的基本语法、服务器端脚本编写方法、数据库操作、用户权限管理等关键技术。 数据库设计文件:为了方便用户更好地理解系统的后台逻辑,每个项目中都附带了完整的数据库设计文件。这些文件通常包括数据库结构图、数据表设计文档,以及示例数据SQL脚本。用户可以通过这些文件快速搭建项目所需的数据库环境,并了解各个数据表之间的关系和作用。 详细的开发文档:每个资源包都附有详细的开发文档,文档内容包括项目背景介绍、功能模块说明、系统流程图、用户界面设计以及关键代码解析等。这些文档为用户提供了深入的学习材料,使得即便是从零开始的开发者也能逐步掌握项目开发的全过程。 项目演示与使用指南:为帮助用户更好地理解和使用这些ASP项目,每个资源包中都包含项目的演示文件和使用指南。演示文件通常以视频或图文形式展示项目的主要功能和操作流程,使用指南则详细说明了如何配置开发环境、部署项目以及常见问题的解决方法。 毕业设计参考:对于正在准备毕业设计的学生来说,这些资源包是绝佳的参考材料。每个项目不仅功能完善、结构清晰,还符合常见的毕业设计要求和标准。通过这些项目,学生可以学习到如何从零开始构建一个完整的Web系统,并积累丰富的项目经验。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值