软件工程第十三章软件项目管理概念.ppt

* * * * * * 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)为真。 如果对所有数据输入断言为真时，能对程