软件开发方法 1.3 软件开发方法教学文稿.ppt

1.3 软件开发方法;3. 软件工具与软件支撑环境：软件工具，帮助开发和测试、编辑程序、查错程序、诊断程序等；支撑环境，OS。 4. 软件管理 5. 软件开发的目标：在规定的投资和时间限制内，开发出符合用户需求的高质量软件。软件开发是一种高智能的活动，必须用软件工程的方法和技术指导软件开发的全过程。已经提出的各种软件开发方法和技术，对软件工程的发展和软件产业的进步，起到了不可估量的积极作用。各种的开发方法和技术可归纳为三大类：瀑布型、渐增型和变换型。 ; 1.3.1 瀑布型 瀑布型开发方法遵循软件生命期的划分，明确规定每个阶段的任务。上一阶段完成确定的任务后，就产生一定格式的文档交给下一阶段。不同阶段的任务，一般来说是由不同级别的软件人员承担的。 瀑布型开发方法适合于在软件需求比较明确、开发技术比较成熟、工程管理比较严格的场合下使用，各种应用软件的开发均可使用此方法。; 1.3.2 渐增型 渐增型开发方法不要求从一开始就有一个完整的软件需求定义。情况常常是，用户自己对软件需求的理解就不甚明确，或者讲不清楚。渐增型开发方法允许从部分需求定义出发，先建立一个不完全的系统，通过测试运行这个系统取得经验和反馈，加深对软件需求的理解，进一步使系统扩充和完善。如此反复进行，直至软件人员和用户对所设计完成的软件系统满意为止。 ; 因为渐增型开发方法的软件系统是逐渐增长和完善的，所以软件从整体结构上不如瀑布型开发方法的软件那样清晰。但是，由于渐增型软件开发的过程自始自终都是在软件人员和用户的共同参与下进行的，所以一旦发现正在开发中的软件与用户要求不符，就可以立即进行修改。因此使用这种方法开发出来的软件系统可以很好地满足用户需求。 ;问题描述; 1.3.3 变换型 变换型开发方法是一种形式化软件开发方法。它从软件需求的形式化规格说明出发，经过一系列的程序变换，得到最终的程序系统。 软件需求形式化规格说明，也往往经过原型检查和确认。如能保证形式化规格说明是正确的，在逐级变换中所使用的变化规则是保持正确性的变换规则，那么就可确认，变换最后所得到的程序系统一定是正确的。 变换型开发方法必须有严格的数学理论和形式化技术的支持，目前这种开发方法尚处于研究和实验阶段。 ;原型检查;1.4 软件质量的评价; 从技术角度进行审查是保证软件质量的重要措施。由于人的认识不可能百分之百地符合客观实际，因此在软件生存周期每个阶段的工作中都可能发生错误，然后前一阶段的成果是后一阶段工作的基础，前一阶段的错误自然会导致后一阶段的工作结果中有相应的错误，因此，错误会积累起来。此外，后一阶段的工作一般是把前一阶段的结果进一步具体化，因此，前一阶段中的一个错误可能造成在后一阶段中出现几个错误，那么提交给测试阶段的程序中包含的错误越多，经过同样时间的测试之后程序中潜伏的错误也越多。所以，有必要在每个阶段结束时，都进行正式的严格的技术审查，尽量不让错误进入下一个阶段。 ; 技术审查也是降低软件成本的一个重要措施。软件开发实践表明，在后期改正一个错误比在早期改正同一个错误需要付出的代价高而至三个数量级，所以越在早期发现错误，越容易改正，代价也越低。 管理复审的主要任务是，在软件生存周期的每个重要的里程碑（一般是每个阶段结束时），对工程项目的成本、实际花费的经费、投资回收的前景、项目的进度等经济因素从管理角度进行审查。管理复审是对工程进行管理和控制的主要手段。通过复审发现问题，可以及时采取措施加以解决。 通常在技术审查合格之后，再进行管理复审，这样，管理人员可以专心从管理角度对开发工作进行审查，而不必顾及技术问题。