软件构造随笔1

第一节 多维视图和质量目标

软件构造多维度视图

Moment 特定时刻的软件形态 Period 软件形态随时间的变化

AST (Abstract Syntax Tree) 抽象语法树

SCI (Software Configuration Item) 配置项

concurrent multithreads 并发多线程
External quality factors affect users 外部质量因素 影响用户
Internal quality factors affect the software itself and its developers 内部质量因素 影响 软件本身和它的开发者
External quality results from internal quality 外部质量取决于内部质量

外部质量因素：
正确性（Correctness）
健壮性（Robustness）（针对异常情况处理）
可扩展性（Extendibility）
可复用性（Reusability）
兼容性（Compatibility）
性能（Efficiency）
可移植性（Portability）（Java的优点之一）
易用性（Easy of use）
功能性（Functionality）
及时性（Timeliness）

质量目标之间冲突：
不同质量因素折中，但”正确性“绝不能与其他质量因素折中

第二、十二节 测试、异常、健壮性
测试（Test）

测试用例 = 输入 + 执行条件 + 期望结果

写spec -> 写符合spec的测试用例 -> 写代码执行测试反复修改

TDD（Test-driven development）

好的测试用例的特性与好的测试的特性相似

*写测试用例时必须既要考虑有效输入也要考虑无效输入
单元测试

针对软件的最小单元模型开展测试，隔离各个模块，容易定位错误和调试

Junit assertEquals assertThat查看实际值是否满足指定条件
黑盒测试/白盒测试

黑盒测试：对程序外部表现出来的行为的测试（从spec导出测试用例，不考虑内部实现）

白盒测试：考虑内部实现细节（一般较早执行）

白盒测试一般由开发人员完成，黑盒测试一般由测试人员完成

白盒测试标准：独立/基本路径测试：对程序所有执行路径进行等价类划分，找出有代表性的最简单的路径（例如循环只需执行一次），设计测试用例使每一条基本路径被至少覆盖一次。
回归测试

一旦程序被修改，重新执行之前的所有测试
代码覆盖度

函数覆盖、语句覆盖、分支覆盖、条件覆盖、路径覆盖

分支覆盖和条件覆盖：分支覆盖 a && b – true/false 条件覆盖：a True a False b True b False

语句覆盖：只需要让 a && b 语句执行一遍即可

条件覆盖和分支覆盖之间没有包含关系

测试效果：路径覆盖 > 分支覆盖 > 语句覆盖（测试难度也是这个顺序）
*等价类划分（重点）

将被测函数的输入域划分成为等价类，从等价类中导出测试用例

例：乘法计算 BigInteger × BigInteger -> BigInteger 函数，可从正/负角度进行等价类划分，同时考虑边界条件—— 0，1，-1，很小的正整数，很小的负整数，很大的正整数，很大的负整数

（注：等价类划分时，错误数据也要考虑其中）？

BVA（Boundary Value Analysis）边界值分析：是对等价类划分方法的补充

在等价类划分时，将边界作为等价类之一加入考虑

（等价类划分具体写法可参见习题课）
健壮性和正确性

可靠性 = 正确性 + 健壮性

健壮性：面向用户 正确性：面向开发者

private方法可只保证正确性，但面向用户的还需要保证健壮性
错误和异常（Error and Exception）

Error：不是由程序本身引起，由系统限制引起

Exception：自己程序导致的问题，可以捕获、处理

下面绿色的部分表示是由用户输入等引起的，是可预测的，在程序运行时处理

不需要实例化Error，也不需要捕获（捕获了也处理不了）