软件项目质量管理

上海交通大学计算机系2020/5/41讲座12软件项目质量管理曹健教授博士上海交通大学计算机系2020/5/42内容软件质量的重要性软件质量的描述质量度量ISO9126软件质量度量方法软件质量改进上海交通大学计算机系2020/5/43软件质量的重要性尽管所有的商品或服务都存在质量问题，但是软件的特殊性，特别是其复杂性和不可见性，使其更为重要软件危险性的增加：企业越来越依赖软件软件的无形性：很难知道项目中的特定任务是否完全满足软件开发过程中错误积累上海交通大学计算机系2020/5/44软件质量对软件系统可以从三方面描述：描述系统如何工作的功能描述功能如何提供的质量描述花费在系统上的资源描述问题：学院工资系统准备选用商品化软件。请定义选择原则？上海交通大学计算机系2020/5/45软件质量答案：对用户需求进行调查，以明确不同用户的不同需求集合将需求分成若干组，并定义质量和其它属性，如质量，可用性，效率，灵活性等某些需求具有绝对特性。例如，应用程序必须能够记录职员的最大条数。这种需求必须满足。某些需求具有相对特性。某些相对需求比其它需求更重要市场上调查一系列待选的软件。度量软件质量的方法需要确定某些软件的某些方面有不足，但是其它方面可能给以补偿，因而定义某些方法来完策划能够选择。上海交通大学计算机系2020/5/46软件质量软件质量可以包括：运行质量正确性可靠性集成性可用性修改质量可维护性可测试性灵活性转换质量可移植性可重用性互操作性问题：请指出质量特性中哪些是无关的，互补的和冲突的？无关的：如可用性和可重用性互补的：如灵活性与可维护性冲突的：由于考虑了某一类型的平台可能效率高，但是移植性差上海交通大学计算机系2020/5/47软件质量质量要素需要转化成开发者可以意识到的内部准则。问题：同一准则出现在不同的质量要素中说明了什么？说明这些质量要素是互补的。上海交通大学计算机系2020/5/48质量度量对于每一准则，必须定义一个和多个度量标准来完成评估工作任何相对度量需要将度量的单元与环境中发生的最大可能性相联系，例如程序中最大的错误数就需要和程序的大小相联系。在某些时候，我们可以直接度量质量，在另外一些时候，我们度量的是质量的表现。软件的使用者关注的是质量因素，而开发者需要关注的是质量准则。上海交通大学计算机系2020/5/49质量度量为了度量，需要对每一质量规定：度量的单元测试的范围最差的可接受的值计划达到的值当前可达到的最佳的值目前的值问题：针对字处理系统，举出一个质量度量的例子。上海交通大学计算机系2020/5/410质量度量质量：易学习性定义：新手学会使用软件生成一份标准文档的时间度量的单元：小时测试：首先对新手进行调查以确定他们的字处理软件的使用经验，然后给他们一台机器，一套软件，训练手册和安装文档。然后测试他们学会生成一份文档的时间最差：4小时计划：2小时最好：1小时目前：4小时上海交通大学计算机系2020/5/411质量度量为了产生一份质量描述文档，经常需要将质量准则进一步细分。例如可用性下面的易理解性，可以分成：菜单结构的易理解性，特别是某项执行功能的命令要容易找到，其它方面还包括错误消息的提供，帮助信息的提供等上海交通大学计算机系2020/5/412ISO9126目前，不少人提出了不同的软件质量特性表示方法。但是缺少一个公共的标准。例如可维护性能够指错误可以迅速确定并被修改，也可以指软件能够很容易地被修改。制定于1991年的ISO9126标准就是处理软件质量问题的。这份13页的标准为制定进一步的标准奠定了基础。上海交通大学计算机系2020/5/413ISO9126ISO9126规定软件质量可以从6个特性来评价：Functionality:与一组功能及其指定的性质有关的一组属性Reliability:在规定的时间和条件下，软件维持其性能水平的能力有关的一组属性Usability:与一组规定或潜在用户为使用软件所需作的努力和对这样的使用所作的评价有关的一组属性Efficiency:在规定的条件下，软件性能水平与所用的资源量之间关系相关的一组属性Maintainability:与进行指定的修改所需的努力有关的一组属性Portability:与软件可从某一环境转移到另一环境的能力有关的一组属性上海交通大学计算机系2020/5/414ISO9126ISO9126对每一特性规定了子特性功能特性：Compliance(依从性)指的是软件符合应用标准或法律的程度。Interoperability（互操作性）指的是软件与其它系统交互的能力上海交通大学计算机系2020/5/415ISO9126可靠性Maturity（成熟性）指的是由于软件产品的问题而出现故障的频率可用性上海交通大学计算机系2020/5/416ISO9126效率和可维护性Stability(稳定性)不是指软件从不变化，而是指软件由于预想不到的原因而要修改的风险很低。可移植性Conformance(遵循性):与Compliance(依从性)不一样，它与可移植性有关。例如使用标准的编程语言就是一种遵循性。上海交通大学计算机系2020/5/417ISO9126ISO9126也提供了使用这些质量特性的指南。对于不同的产品，各种质量特性的重要程度是各不相同的。一旦软件产品的需求建立起来后，就要进行下列步骤：质量度量标准的选择：ISO9126没有给出具体的方法排序水平定义：度量的结果需要映射成等级以确定需求满足的程度。上海交通大学计算机系2020/5/418ISO9126评价准则定义对每一个特性进行评价后，需要对整个产品有一个综合的质量评价ISO9126没有给出具体的方法。推荐方法：首先根据产品的特定确定必须的特性，如果产品在这些特性方面没有满足，则不能采用，对于那些不是最为关键的特性可以采用下表的方法进行综合计算：上海交通大学计算机系2020/5/419软件质量度量方法本节所讲的是某些质量特性的建议的度量方法，对于具体的产品，质量特性的度量各有不同。可靠性Availability（可用性）：在一段时间内系统可用的时间比例Meantimebetweenfailures（MTBF）:两次失效间隔的平均时间Failureondemand:在需要用该系统的时间，系统不可工作的概率，或者一项事务失败的概率Supportactivity:错误报告的次数某一系统安装后，一般在星期一到星期五中8:00到6：00使用，四星期后，系统因为硬盘问题有一整天不可用。在接下来的另外两天由于头天晚上的批处理运行的问题每次直到早晨10点才能使用，请计算Availability和MTBF。上海交通大学计算机系2020/5/420软件质量度量方法可维护性该特性与灵活性紧密关联。灵活性是系统修改的容易程度。可维护性可以用灵活性加上可诊断性来度量。诊断性可以用诊断一个错误的平均时间来度量。可扩展性将新的特征加到现有系统中的效率占从头开始开发一个新系统的效率的比。某公司开发一个包含5000SLOC的系统花费了400个人日。对系统添加一个新功能增加了100SLOC花费20个人日，问扩展性为多少？40％上海交通大学计算机系2020/5/421产品和过程质量管理上述度量都是在产品出来后进行的，这种事后度量也许太晚了。在过程的各个阶段可能都会引入错误，这种错误将传递到后续的阶段。因而需要在过程进行中尽心仔细的检查。EntryRequirements:在活动开始前，需要准备好的条件。如在开始前，要准备好测试数据和期待结果。ImplementationRequirements:过程如何进行。如在测试中，当发现一个错误并加以改进后，所有的测试必须重新进行。ExitRequirements:在一个活动结束前必须满足的条件。例如测试阶段结束的条件是所有的错误都被更正并且不能够再发现任何错误。问题：在什么情况下，前面一个活动的结束条件不是后面一个活动的进入条件。上海交通大学计算机系2020/5/422产品和过程质量管理答案：在某些场合，某一活动可以在它前面一个活动完全结束前开始。在这种情况下，后面活动的进入条件可以与前面一个活动的退出条件不一致。例如，某些软件模块的界面还没有最后调整好前，就可以先在硬件平台上来测试性能。问题：请为学院工资系统的代码编写活动确定进入条件和退出条件？上海交通大学计算机系2020/5/423提高软件质量的途径Increasingvisibility(增加可见性):例如“egolessprogramming”编程员相互浏览对方代码。ProcedureStructure(过程结构）CheckingIntermediateStages(检查中间环节）：将错误消灭在萌芽状态上海交通大学计算机系2020/5/424提高软件质量的途径Inspection(检查):通过将完成的工作交付给多个合作者检查，然后召开会议进行讨论如何修改。该方法可以：很容易地发现表面错误激励编程人员编写出结构更好，更清晰地代码，因为他知道否则别的人将会批评他提高团队精神上海交通大学计算机系2020/5/425提高软件质量的途径IBM建立了一套更为正式和结构化的检查过程，称为Fangan检查对所有主要的交付物都进行检查所有的错误都需加以注意，而不仅是逻辑的和功能的错误检查可以由在所有层次的人员（除了最上层的人员外）进行检查检查采用预定义的步骤进行检查会议不超过两小时检查由一个经过训练的“moderator”来领导其它参与者也有定义的角色，例如一个人员担任记录员，另一担任阅读者等采用Checklist来帮助检查过程的实施检查材料时采用100行一小时的速度采用统计方法来对检查过程的有效性进行监控上海交通大学计算机系2020/5/426结构化编程和净室软件开发在二十世纪60年代，软件变得越来越复杂而人记忆细节的能力是有限的。因此，不可能去对软件的所有部分进行完全测试。测试所能做的是证明错误的出现，而不是没有错误。Dijkstra建议保证软件代码正确性的唯一方法是对代码重新审视。复杂系统可以分成子部件，为了使这种分解工作正常，每个部件必须自包含，同时只有一个进入点和一个退出点。该观点进一步发展为IBM的净室软件开发，该方法将软件开发分为三个小组：分析小组开发小组校验小组系统采用增量式方式开发，每个团队的产出都必须满足用户的需要。开发小组不进行编译而代之以用数学方法来证明。校验小组不断的测试直到满足特定的统计水平。上海交通大学计算机系2020/5/427形式化方法数学方法采用的是对每一个过程定义前提条件和后置条件。前提条件定义了在处理前允许的状态，后置条件定义了处理后的状态。由于数学方法是精确的，因此可以保证其正确性。上海交通大学计算机系2020/5/428软件质量循环尽管测试方法和Fagan检查能够帮助发现问题，但是相同类型的错误还是一犯再犯。通过发现错误的来源，应该可以减少相同的错误。因而，开发人员可以在质量循环中参与错误来源的查找，该过程称为软件质量循环（Softwarequalitycircles,SWQC).质量循环由四个到十个自愿者构成，每个星期采用一定时间如一小时寻找、分析和处理他们工作中的问题。上海交通大学计算机系2020/5/429软件质量循环识别一系列问题选择一个问题加以处理将问题分析清楚分析原因并加以评价分析解决方案并加以评价决定采用某一解决方案开发一个实施计划将计划交给管理部门实施计划监控计划考虑解决方案更广泛的应用重新选择问题问题：软件质量循环与一般的检查过程有何区别一个是面向所有过程，一个是面向某一产品上海交通大学计算机系2020/5/430GQM方法过程改善可以采用定量测量技术来实现。GQM(Goal/Que