软件工程 教学课件 作者 夏小娜 第4篇－第13章 软件项目管理.pptVIP

审查 审查过程包括下述5个基本步骤： 综述。 准备。 审查。 返工。 跟踪。 程序正确性证明 正确性证明的基本思想是证明程序能完成预定的功能。因此，应该提供对程序功能的严格数学说明，然后根据程序代码证明程序确实能实现它的功能说明。 目前已经研究出证明PASCAL和LISP程序正确性的程序系统，正在对这些系统进行评价和改进。现在这些系统还只能对较小的程序进行评价，毫无疑问还需要做许多工作，这样的系统才能实际用于大型程序的正确性证明。 13.6 软件配置管理 软件配置管理是在软件的整个生命期内管理变化的一组活动。具体地说，这组活动用来： 标识变化； 控制变化； 确保适当地实现了变化； 向需要知道这类信息的人报告变化。 13.6.1 软件配置 1. 软件配置项 软件过程的输出信息可以分为3类：（1）计算机程序(源代码和可执行程序)；（2）描述计算机程序的文档(供技术人员或用户使用)；（3）数据(程序内包含的或在程序外的)。 2. 基线 基线是一个软件配置管理概念，它有助于在不严重妨碍合理变化的前提下来控制变化。IEEE把基线定义为：已经通过了正式复审的规格说明或中间产品，它可以作为进一步开发的基础，并且只有通过正式的变化控制过程才能改变它。 13.6.2 软件配置管理过程 软件配置管理主要有5项任务：标识