软件工程导论¶

形式化开发方法¶

形式化方法是渗透在软件生命周期中各环节的数学方法或者是具有严格数学基础的软件开发方法。形式化方法的基本含义是借助数学的方法来研究计算机科学中的有关问题。

黑盒测试¶

如果已经知道软件应该具有的功能，可以通过测试来检验是否每个功能都能正常使用，这种测试称为黑盒测试。

敏捷开发¶

敏捷开发以用户的需求进化为核心，采用迭代、循序渐进的方法进行软件开发。在敏捷开发中，软件项目在构建初期被切分成多个子项目，每个子项目的成果都经过测试，具备可视、可集成和可运行使用的特征。换言之，就是把一个大项目分为多个相互联系，但也可独立运行的小项目，并分别完成。在此过程中，软件一直处于可使用状态。

特征：

• 测试驱动
• 持续集成
• 结对编程
• 站立会议
• 小版本发布
• 现场客户
• 自动化测试
• 可调整计划
• 较少文档

RUP¶

将软件开发过程分解为九个工作流，即子过程：管理、环境、配置和变更管理、业务建模、需求、设计、实现、部署、实施。

其他¶

P351 第二段最后一句话

P178 软件体系结构包括……视图

• 裸机视图
• 开发试图
• 物理视图
• 运行视图
• 数据视图

P240 综上所述，详细设计的主要活动有

1.

2.

3.

4.

5.

6.