软件构造学习笔记第六章

软件构造学习笔记第六章

程序的健壮性和正确性
健壮性 输入不正常 仍能表现正常 能运行的程度
处理没有期望到的行为和错误导致的程序中止。即使程序中止，也要向用户准确无歧义的全面展示错误信息
正确性 ：永不给用户错误的结果
输入正确则输出正确。输入错误则报错。

过滤缺陷：
1）防御性编程
平均失效时间 = 修复时间+失效时间
残余缺陷率 = 千行代码中的bug数量

异常
Throwable java中所有的子类都是从throwable中发展出来的子类
（Unchecked）Error ：内部错误和程序员无关

（Unchecked）Runtime 异常 程序员在编程时的错误导致的 （不需要捕获）
如 数组越界 空指针错误
其他异常（Checked）： 由外部原因造成的异常（需要捕获 ）

异常主要是捕获客户端传来的参数的错误，并不是捕获程序员的错误。异常主要是用来提高健壮性
Unchecked 必须捕获不然报错
Checked 不是必须需要捕获
判断异常类别：

Checked 用户可以进行操作属于可预料但不可预防的异常
UnChecked 用户可以进行操作属于可预料可预防的异常

两种异常的对比：

异常属于spec的一部分 应该写在Post-condition当中
子类不能抛出比父类更广阔的异常 override 协变
子类型抛出比父类型一样或更具体的异常
父类型没有抛出异常 那么子类也不能抛出异常

LSP在异常中同样要遵守

保留“根原因”：

断言 Assert ：在开发阶段的代码中嵌入 检查某些假设是否成立 若成立，表明程序正常 如果断言中的条件不被满足那么会抛出AssertionError
断言可应用于： 内部不变量 表示不变量 控制流不变量 方法的前置条件（检查方法的参数） 方法的后置条件（检查方法的返回值）
控制流不变量 若if switch语句没有覆盖所有的可能 就用assert语句来覆盖不合法的情况
断言一般在开发阶段帮助我们发现bug 实际运行时一般不再使用
不要在断言中操作数据 执行有副作用的代码
对于pre/post codition 若方法参数来自外部》异常处理
来自自己的其他代码 使用断言

Public方法的输入用异常处理
Private方法的输入用断言处理
返回值用用断言

断言和异常使用阶段：

防御性编程：
1）程序输入错误，也要有明确的结果：

2）设置路障：
Public方法的输入用异常处理
Private方法的输入用断言处理
（使用代理模式当作隔离舱）

Debug的目的是是寻求错误的根源并消除他
Debug占用了大量的开发时间
调试 调试的基本过程 重现-定位-修复-反思 常用方法 假设检验法

定位错误最占用时间
确保bug复现环境和用户发现bug的环境一样
1）软件版本一致
2）运行环境相同
3）输入数据相同

找bug的方法：
1）测量
2）分治
3）切片
4）寻找差异
5）符号树
6）使用调试器
7）上网搜

使用print显示bug

将print放到一个方法里，使用print时调用该方法，可以一次性消除所有print

内存管理
三种内存管理模式 1.静态 2.基于栈的动态 3.基于堆的动态