软件构造实验四总结

软件构造实验四总结

P4主要是针对健壮性和正确性来编程

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

对于程序来说，正确性肯定是首选的，需求是第一生产力吗，需求都没有达到，那这个程序肯定不是个好程序。而健壮性呢，就是这个程序处理问题的能力，健壮性越强，这个程序遇到错误，问题都能做出越好的回应。所以健壮性和正确性强弱也是衡量一个程序好坏的重要因素。

本次实验是基于Lab3进行一系列的改进，从而提高Lab3的健壮性和正确性。

这里就运用到了异常处理，断言技术，防御性拷贝，日志管理和最开始学习的程序测试。
之后又练习了我们debug的能力。
这里我就说说那几道debug的题吧

Debug之前应该先根据spec和等价类来编写测试程序，看程序都会在哪里出错，然后根据错误位置进行针对性改进。

1.EventManager

首先就是函数规约，没有day参数声明
然后还要添加个参数合法性的判断，并对各种情况做出相应反应。

2.LowestPrice

该程序运用的动态规划思想。
于是就扔用动态规划来改动代码使其完整