软件工程第十三章软件项目管理.pptVIP

* * * * * * 13.5.2 软件质量保证措施 * * 3. 审查 审查的范围比走查广，包括下述5个基本步骤： （1） 综述。编写文档的一名成员向审查组综述该文档。在综述会结束时把文档分发给每位与会者。 （2） 准备。评审员仔细阅读文档。列出在审查中发现的错误的类型，频率，分级。 （3） 审查。评审组仔细走查整个文档。审查组组长应该在一天之内写出一份关于审查的报告。 （4） 返工。文档的作者负责解决在审查报告中列出的所有错误及问题。 （5） 跟踪。组长必须确保所提出的每个问题都得到了圆满的解决。 13.5.2 软件质量保证措施 * * 4. 程序正确性证明 即使有程序正确性证明，软件测试也仍然是需要的：正确性证明过程本身也可能发生错误。 程序正确性证明，对于评价小程序有价值。 还不能实际用于大型程序的正确性证明。 正确性证明的基本思想是证明程序能完成预定的功能。 13.5.2 软件质量保证措施 * * 假设在程序的P1,P2,…，Pn等点上的断言分别是a(1),a(2)，…，a(n)，其中a(1)必须是关于程序输入的断言，a(n)必须是关于程序输出的断言。 为了证明在点Pi和Pi+1之间的程序语句是正确的，只须证明若断言a(i)为真且执行这些语句之后将使a(i+1)为真。 如果对所有数据输入断言为真时，能对程序内所有相邻点都能完成上述证明过程，而且程序总可以终止的，则证明了程序的正确性。 * 13.6 软件配置管理 13.6 软件配置管理 * * 变化是不可避免的, 必须控制和管理变化。 软件配置管理: 用于管理变化的软件质量保证活动。 软件配置管理在整个生命期内管理变化： ①标识变化； ②控制变化； ③确保适当地实现了变化； ④向需要知道这类信息的人报告变化。 软件配置管理的目标：使变化更正确更容易被实现。 保证每个软件配置项正确， 保证一个软件的所有配置项是完全一致的。 13.6.1 软件配置 * * 1. 软件配置项 软件过程的输出信息可以分为3类： ①计算机程序（源代码和可执行程序）； ②计算机程序的文档（供技术人员或用户使用）； ③数据（程序内包含的或在程序外的）。 我们把它们统称为软件配置，而这些项就是软件配置项（ITEM=元素）。 13.6.1 软件配置 * * 2. 基线(Baseline, 里程碑) IEEE把基线定义为： 已经通过了正式复审的规格说明或中间产品，它可以作为进一步开发的基础，并且只有通过正式的变化控制过程才能改变它。 软件工具也应置于配置管理之下：编辑器、编译器和其他CASE工具。 不同版本的工具产生的结果不同。 13.6.2 软件配置管理过程 * * 软件配置管理主要有5项任务： 标识、版本控制、变化控制、配置审计和报告。 1. 标识软件配置中的对象 命名每个配置项。两类对象： 基本和聚集对象。 基本对象是软件工程师在分析、设计、编码或测试过程中创建出来的“文本单元” 。 聚集对象是基本对象和其他聚集对象的集合。 每个对象都有一组能惟一地标识它的特征： 名字、描述、版本。 13.6.2 软件配置管理过程 * * 2. 版本控制 版本控制管理软件配置对象的不同版本。 用户能够通过选择版本来指定软件的配置。 属性和软件的每个版本相关联。 描述一组所期望的属性来指定和构造所需要的配置。 “属性”，既可以是配置对象的版本号，也可以复杂到是一个布尔变量串。 13.6.2 软件配置管理过程 * * 3. 变化控制 变化控制过程在维护一章讲过。 批准的变化生成一个“工程变化命令” 描述将要实现的变化。 把要修改的对象从项目数据库中“提取（check out）”出来，进行修改。 把修改后的对象“提交（check in）”进数据库，并创建该软件的下一个版本。 变化控制的两个主要功能: 访问控制决定软件工程师有权访问和修改一个特定的配置对象 同步控制有助于保证由两名不同的软件工程师完成的并行修改不会相互覆盖。 13.6.2 软件配置管理过程 * * 4. 配置审计 两方面采取措施确保适当地实现了所需要的变化： ①正式的技术复审； ②软件配置审计。 正式的技术复审（见13.5.2节）关注被修改后的配置对象的技术正确性。 软件配置审计通过评估配置对象的那些通常不在复审过程中考虑的特征（例如，修改时是否遵循了软件工程标准，是否在该配置项中显著地标明了所做的修改，是否注明了修改日期和修改者，是否适当地更新了所有相关的软件配置项，是否遵循了标注变化、记录变化和报告变化的规程），而成为对正式技术复审的补充。 13.6.2 软