软件构造课程复习笔记

软件构造课程重点

Focus of Software Construction Course

本文按照哈尔滨工业大学软件构造课程的授课顺序展开，
可以帮助读者快速系统地了解高校软件构造课程的授课脉络，
但不适合作为全面系统性学习的主要参考资料。

1.1 软件构造中的多维视图

1.1 Multi-Dimensional Views of Software Construction

 

1.2 软件构造的质量目标

1.2 Quality Objectives of Software Construction

1. 外部质量因素影响用户
   External quality factors affect users
2. 内部质量因素影响软件本身和它的开发者
   Internal quality factors affect the software itself and its developers
3. 外部质量取决于内部质量
   External quality results from internal quality

1.2.1 外部指标

1.2.1 External quality factors

1.2.2 内部指标

1.2.2 Internal quality factors

1.2.3 折中

1.2.3 Tradeoff between quality properties

1. 虽然需要折中，但“正确性”绝不能与其他质量因素折中
2. 最重要的几个质量因素
   Correctnessand robustness: reliability
   Extendibilityand reusability: modularity
    

6.5 软件测试与测试优先的编程

6.5 Testing and Test-First Programming

6.5.1 初步了解各类测试

6.5.1 Introduction to various software tests

单元测试：只测试单个模块（方法、类）
集成测试：多个模块
系统测试：非软件的东西集成进来，软硬件的测试
验收测试：甲方根据合同要求测试
回归测试：一旦程序有改动（改了bug），重新（头）执行之前的所有测试

静态分析：在buildtime发生，人眼去看代码
Testing：在runtime发生，为了发现错误
debugging：在runtime发生，为了找到在哪里错了

黑盒测试：不考虑内部代码，只测试程序外部表现出来的行为（只由spec测试功能）
白盒测试：考虑了程序内部代码的结构

为什么不能做到完备性测试？
不可能把所有输入（路径）都尝试一遍，这就需要折中

6.5.2 好的测试用例

6.5.2 Good test case

好的测试用例的特征

Choosing Test Cases by Equivalence Partitioning
Include Boundaries in the Partition
代码覆盖度
显式记录下你的测试特性

 

2.1 软件生命周期与配置管理

2.1 Software Lifecycle and Configuration Management

从无到有，从有到好

2.1.1 传统软件开发过程模型

2.1.1 Traditional Software Process Models

1. 瀑布过程：线性推进，阶段划分清楚，整体推进，无迭代，管理简单，无法适应需求增加/变化；
2. 增量过程：线性推进，增量式（多个瀑布的串行），无迭代，比较容易适应需求的增加；
3. V字模型：for verification and validation
4. 原型（迭代）：在原型上持续不断的迭代发现用户变化的需求。
   迭代：开发出来之后由用户试用/评审，发现问题反馈给开发者，开发者修改原有的实现，继续交给用户评审。
   循环往复这个过程，直到用户满意为止。时间代价高，但开发质量也高。
5. 螺旋（迭代）：非常复杂的过程，多轮迭代基本遵循瀑布模式。
   每轮迭代有明确的目标，遵循“原型”过程，进行严格的风险分析，方可进入下一轮迭代

2.1.2 敏捷开发

2.1.2 Agile Development

敏捷开发：通过快速迭代和小规模的持续改进，以快速适应变化。
Agile = 增量+ 迭代
每次迭代处理一个小规模增量

2.1.3 软件配置管理（SCM）与版本控制系统（VCS）

2.1.3 Software Configuration Management (SCM)and Version Control System (VCS)

软件配置管理(SCM)：追踪和控制软件的变化。
SCM practices include revision control and the establishment of baselines.

软件配置项：软件中发生变化的基本单元（例如：文件）
Software Configuration Item (SCI): the fundamental structural unit of SCM.

基线：软件持续变化过程中的“稳定时刻”（例如：对外发布的版本）

配置管理数据库(CMDB)：存储软件的各配置项随时间发生变化的信息 + 基线。

版本：为软件的任一特定时刻（Moment）的形态指派一个唯一的编号，作为“身份标识”。
本地 / 集中 / 分布式 版本控制系统

2.1.4 软件配置管理工具࿱