软件工程概念.pptVIP

日历时间 分析 增量1 增量1 交付 设计 编码 测试 分析 增量2 增量2 交付 设计 编码 测试 分析 增量3 增量3 交付 设计 编码 测试 分析 增量4 增量4 交付 设计 编码 测试 系统和信息工程 第三十页，共六十五页，2022年，8月28日 喷泉模型 体现了迭代和无间隙的特性。 系统某个部分常常重复工作多次，相关对象在每次迭代中随之加入演进的软件成分。 无间隙是指在各项开发活动，即分析、设计和编码之间不存在明显的边界。 喷泉模型是对象驱动的过程。 第三十一页，共六十五页，2022年，8月28日 需求阶段 分析阶段 设计阶段 编程阶段 集成与测试阶段 维护与演进阶段 第三十二页，共六十五页，2022年，8月28日 变换模型 变换模型是一种基于形式化规格说明语言及程序变换的软件开发模型。 它采用形式化的软件开发方法，对形式化的软件规格说明进行一系列自动的或半自动的程序变换，最终映射成为计算机系统能够接受的程序系统。 多步程序变换过程的重要性质是：每一步程序变换的正确性仅与该步变换所依据的规范 Mi 以及对变换后的假设 Mi+1 有关。 第三十三页，共六十五页，2022年，8月28日 软件需求 形式化说 明 (M0) 软件设计 形式化说 明 (M1) (M2) (Mn) …… 模型检查 程序变换 程序变换 程序变换 在此意义上，变换步