软件工程课件第1章绪论.ppt

第1章 绪论 1.2 软件工程过程和软件生存周期 1.3 软件生存周期模型 1.4 软件开发方法 1.5软件开发工具 假若没有这种独立性， 就无法控制错误的恶性蔓延，而变换步骤的经验也就是一句空话。 6) 变换的设计 变换的设计过程是一种“发明”的过程。在模型具体化的变换过程中，具体实现模型的设计是开发者的职责。目前还没有相当高级的规范能自动翻译成高效程序代码的工具，这种设计“发明”，是以开发者自己对正在设计中的系统的功能和使用环境的理解，是对实现效率及进一步开发的预测等程序设计经验以及对软件开发基本原则的理解为基础的。形式化开发方法仅提供给开发者一种严格有效的思维工具和描述工具，而不能代替开发者进行变换的“发明”。 3. 特点 变换模型的特点如下： (1) 该模型只适合于软件的形式化开发方法。 (2) 必须有严格的数学理论和形式化技术支持。 (3) 缺乏相庆的支持工具， 处于手工处理方式。 (4) 尚处于研究和实验阶段， 离使用前景尚有一段距离。 (5) 对软件开发人员要求较高。 软件开发方法是一种使用早已定义好的技术集及符号表示习惯来组织软件生产过程的方法。其方法一般表述成一系列的步骤， 每一步骤都与相应的技术和符号相关。 软件开发的目标是在规定的投资和时间内，开发出符合用户需求的高质量的软件。为了达到此目的，需要有成功的开发方法。 软件开发方法是克服软件危机的重要方面之一。在60年代， 由于对软件开发方法重视不够，解决软件复杂性的能力不够， 因而软件开发方法成为软件危机的原因之一。因此，自软件工程诞生以来，人们重视软件开发方法的研究，已经提出了多种软件开发方法和技术，对软件工程及软件产业的发展起到了不可估量的作用。 1.4.1结构化方法 结构化方法由结构化分析、结构化设计和结构化程序设计构成。它是一种面向数据流的开发方法。该方法简单实用， 应用较广，技术成熟。 所谓结构化分析，就是根据分解与抽象的原则，按照系统中数据处理的流程，用数据流图来建立系统的功能模型， 从而完成需求分析。所谓结构化设计，就是根据模块独立性准则、软件结构准则，将数据流图转换为软件的体系结构， 用软件结构图来建立系统的物理模型，实现系统的概要设计的。所谓结构化程序设计，就是根据结构程序设计原理，将每个模块的功能用相应的标准控制结构表示出来，从而实现详细设计。 结构化方法总的指导思想是自顶向下、逐步求精。它的基本原则是功能的分析与抽象。 它是软件工程中最早出现的开发方法，特别适合于数据处理领域的问题。相庆的支持工具较多，发展较为成熟。结构化方法对于规模大的项目及特别复杂的项目不太适应，该方法难于解决软件重用问题，难于适应需求变化的问题，难于彻底解决维护问题。 结构化方法的详细介绍见第 8 章。 1.4.2Jackson方法 这是一种面向数据结构的开发方法。因为一个问题的数据结构与处理该问题数据结构的控制结构有着惊人的相似之处， 该方法就是根据这一思想形成了最初的JSP(Jackson Structure Programming)方法。该方法首先描述问题的输入、输出数据结构，分析其对应性，然后推出相应的程序结构，从而给出问题的软件过程描述。 JSP方法是以数据结构为驱动的，适合于小规模的项目。 当输入数据结构与输出数据结构无对应关系时，难于应用该方法。 基于JSP方法的局限性，又发展了JSD(Jackson System Development)方法，它是JSP方法的扩充。 JSD方法是一个完整的系统开发方法。该方法首先建立现实世界的模型，再确定系统的功能需求，对需求的描述特别强调了操作之间的时序性，它以事件作为驱动，是一种基于进程的开发方法，应用于进序特点较强的系统，包括数据处理系统和一些实时控制系统。 JSD方法对客观世界及其同软件之间的关系认识不完整， 所确立的软件系统实现结构过于复杂，软件结构说明的描述采用第三代语言，这不利于软件开发才坚系统的理解及开发者之间的通信交流，这些缺陷在很大程度上限制了人们实际运用JSD方法的热情。 Jackson方法的详细介绍见第 9 章。 1.4.3维也纳开发方法(VDM) 维也纳开发方法(即VDM)，自70年代初提出以来，已形成一种对大型系统软件