01 软件工程引论

1.1 软件故障率曲线

1.2 软件工程技术

ps：

维护包括：纠错性维护、完善性维护、适应性维护、预防性维护

1.3 软件建模

1.3.1 模型

有用模型的特征：

抽象性、可理解性、精确性、说明性、经济性（有用的工程模型必须具有以上所有特性！）

习题

A model ...?

A. ls not necessary when team members understand their job. B. Has to be structural AND behavioral. C. Is a simplification of reality. D. ls an excuse for building an elaborate plan.

C模型是现实世界的简化

Why do we model?

A. Helps to visualize a system B. Gives us a template for constructing a system C. Documents our decisions D.All of the above

Answer: D

What project would be least likely to require a model?

A.立交桥 B.沙发 C.地铁隧道 D.光盘

B 简单的不需要建模

软件的三种模型：

CIM、PIM、PSM

1.3.2 软件建模方法

• 形式化方法

形式化方法是基于数学的技术开发软件，如集合论、模糊逻辑、函数。

形式化方法的好处：无二义性、 一致性、正确性、完整性

形式化方法的不足：（尚未成为主流的开发方法，实践和应用较少 ）

• 形式化规约主要关注于功能和数据，而问题的时序、控制和行为等方面却更难于表示。此外，有些问题元素(如，人机界面)最好用图形技术来刻划。
• 使用形式化方法来建立规约比其他方法更难于学习，并且对某些软件实践者来说它代表了一种重要的“文化冲击”。
• 难以支持大的复杂系统。
• 结构化方法