● Software Process Models 增量模型的特点： ·以功能递增的方式进行软件开发 。能较快地产生可操作的系统； 在每一步递增中，都可以把用户/开发者 的经验结合到不断求精的产品中： 可改善测试效果和降低软件开发总成本。 ●
Software Process Models 增量模型的特点： • 以功能递增的方式进行软件开发 • 能较快地产生可操作的系统； • 在每一步递增中，都可以把用户/开发者 的经验结合到不断求精的产品中； • 可改善测试效果和降低软件开发总成本
Software Process Models 需求定义 风险分析 The spiral Model 螺旋模型 评审 工程实现
Software Process Models The spiral Model 螺旋模型 需求定义 评审 风险分析 工程实现
● Software Process Models 螺旋模型的特点 把软件开过程组成为一个逐步细化的定 义周期（螺旋周期）序列，每经历一个 周期，系统就得到进一步的细化和完善 本质上，具有上述特征的螺旋是一直运 转的直到软件退役。有时这个过程处于 睡眠状态，但任何时候出现了改变，过 程都会从合适的入口点开始
Software Process Models 螺旋模型的特点： • 把软件开过程组成为一个逐步细化的定 义周期（螺旋周期）序列，每经历一个 周期，系统就得到进一步的细化和完善； • 本质上，具有上述特征的螺旋是一直运 转的直到软件退役。有时这个过程处于 睡眠状态，但任何时候出现了改变，过 程都会从合适的入口点开始；
● Software Process Models 螺旋模型的特点 紧密围绕开发中的风险问题，用风险分 析推动软件设计向深一层扩展、求精： 强调持续地判断、确定和修改用户任务 目标，并按成本、 效益来分析候选的软 件产品性质对任务目标的贡献： 可结合采用多种软件开发方法，但究竞 结合哪一种方法仍由风险分析来决定
Software Process Models 螺旋模型的特点： • 紧密围绕开发中的风险问题，用风险分 析推动软件设计向深一层扩展、求精； • 强调持续地判断、确定和修改用户任务 目标，并按成本、效益来分析候选的软 件产品性质对任务目标的贡献； • 可结合采用多种软件开发方法，但究竟 结合哪一种方法仍由风险分析来决定
● Software Process Models The formal methods model (形式化方法模型 形式化方法的主要目的是要把软件开发过程 建立在严密可行的数学基础之上，从而提高软 件质量和软件生产率。 事后的或并行的一种辅助手段，用以对系统的性质进 行严格的验证： 。 集成到软件开发过程中，希望在严格的形式系统的基 础上，实现从需求规约到程序代码的转换和过渡
Software Process Models The formal methods model (形式化方法模型) 形式化方法的主要目的是要把软件开发过程 建立在严密可行的数学基础之上，从而提高软 件质量和软件生产率。 • 事后的或并行的一种辅助手段，用以对系统的性质进 行严格的验证； • 集成到软件开发过程中，希望在严格的形式系统的基 础上，实现从需求规约到程序代码的转换和过渡