(CEN)第二章软件工程与需求工程重点.ppt

喷泉模型的优点 喷泉模型的优点： 　　 喷泉模型不像瀑布模型那样，需要分析活动结束后才开始设计活动，设计活动结束后才开始编码活动。 该模型的各个阶段没有明显的界限，开发人员可以同步进行开发。 可以提高软件项目开发效率，节省开发时间，适应于面向对象的软件开发过程。 喷泉模型的缺点： 由于喷泉模型在各个开发阶段是重叠的，因此在开发过程中需要大量的开发人员，因此不利于项目的管理。 此外这种模型要求严格管理文档，使得审核的难度加大，尤其是面对可能随时加入各种信息、需求与资料的情况。 （6）形式化方法 A 形式化方法模型包含了一组活动，它们带来了计算机软件用数学说明描述的方法。形式化方法使得软件工程师能够通过采用一个严格的、数学的表示体系来说明、开发和验证基于计算机的系统。 B 支配形式化方法的基本概念是： 数据不变式。—个条件表达式，它在包含一组数据的系统的执行过程中总保持为真； 状态。系统访问和修改的存储数据； 操作。系统中发生的动作，以及对状态数据的读或写。每一个操作是和两个条件相关联的：前置条件和后置条件。 离散数学。与集合和构造性规约、集合运算符、逻辑运算符、以及序列相关联的符号体系，形成了形式化方法的基础。这些数学在形式化规约语言，如Z 语言中被实现。 形式化方法的优点: 形式化规约可以用数学方法研究，而非形式化方法则不能。 某些形式的不