软件测试总体介绍

《软件测试总体介绍》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第七章软件测试(讲义P126)概论在本章中，我们将研究：1、错误类型和如何分类错误2、测试的目的3、单元测试4、集成测试策略5、测试计划6、何时停止测试一旦你编好你的程序组件，就是测试它们的时候了。有许多种方法测试，这里将为你介绍几种测试方法，它们能够使你为用户发布一个高质量的系统。发现错误的发生并不是对于测试来说已经不是第一次了；我们已经看到了在开发过程中怎样在需求和设计的复查中帮助我们探索错误。但是测试是以发现错误为核心,有许多种方法使我们在测试上下的功夫更有效率更有效果。概论Jones广泛的研

2、究程序员的生产力，包括错误的查找和修正的本性。查阅了历史上一千万行的代码，他发现代码检查纠除了85%多的错误。Jones研究的其他方法从未如此成功，实际上，没有一个能够除去一半以上的错误。Jones最近更多的调查建议典型的准备时间和会议时间，表8.2显示。表8。2典型的准备时间和会议时间（1991）开发产品准备时间会议时间需求文档每小时25页每小时12页功能描述每小时45页每小时15页逻辑描述每小时50页每小时20页源代码每小时150行代码每小时75行代码用户手册每小时35页每小时20页概论韦勒(1

3、993)在公牛信息系统3年检查数据。来自几乎7，000个检查会议的尺度包括大约11557个错误信息和14677页的设计文献。他发现，一个3人低准备率测试小组和一个4人高准备率小组工作效率一样；他提出准备率，并非小组大小，确定测试效率。他也发现小组的有效性和效率取决于他们对产品的熟悉：越熟悉，越好。另一方面，韦勒发现好代码检查结果能建立错误的信任。在一项12000行C语言的工程上，需求和设计没被复查；检查从代码开始。比较代码检查数据和测试数据，韦勒发现代码检查鉴定主要编码或者低水平设计错误，但是测试主

4、要发现需求和结构的错误。因此，代码检查不在系统里处理源代码的变化性，它的结果没代表真实的系统质量。表8。3发现活动中发现的错误（Jones1991）发现活动每千行代码发现的错误需求复查2.5设计复查5.0代码检查10.0集成测试3.0接受性测试2.0概论Grady在惠普解释到，为代码检查做计划一般需要2个小时，接着30分钟的小组会议。然后个人准备2个小时发现错误和90分钟汇报错误。小组花费30分钟集体讨论错误的发现并推荐采取的措施。当错误修正后，代码检查会议的主持人在花费半个小时书写和发布摘要文档。

5、Jones总结了他的工程信息的数据，画了一个不同的图，比较复查，检查和其他发现方法的不同。因为产品在尺寸上变化广泛，然而，研究员继续研究那些形式的行为比其它的更容易发现不同类的错误。例如，代码检查善于发现代码错误，但是原型系统更容易鉴别需求的错误。Fagan在IBM发布检查代码的方针后，许多其它的组织机构，包括惠普，ITT和AT&T都采纳了代码检测作为推荐或标准实施。代码检测的成功应用继续在文献中出现，一些在网站上有参考文献。概论证明代码正确假想你已经编完你的组件，自己检查完毕，小组复查完毕。下一步

6、测试是，以更加结构化的方式详细审查确保它的正确性。为了单元测试，一个程序是正确的，当它正确实现设计中说明的功能和数据和它与其它组件正确接口。一种研究程序的正确性方式是把代码看成语句的逻辑流。如果我们能够用正式的逻辑系统（诸如一系列关于数据的语句和暗示）复写程序，我们就能测试新的语句的正确性。我们在设计的方面解释正确性，我们希望我们的表达遵循数学逻辑的规则。公式证明技巧。让我们看看公式证明是怎么工作的。我们按照一系列步骤转换代码为逻辑副本：概论首先，我们写断言来描述组件的输入和输出条件。这些语句由逻辑

7、变量组合（每个要么是true要么是false），由表8.4列出的逻辑连接符号连接。表8.4逻辑连接连接例子意义联合X&YXandY分离XvYXorY取反-XNotX蕴含式X->YIfxtheny相等X=yXequalsy通用VxP(x)对于所有x,条件P(x)是真存在ExP(x)至少有一个x，P(x)是真§7.1基本概念软件产品最大的成本是检测软件错误、修正软件错误的成本。在整个软件开发中：测试工作量≥50%软件质量问题以软件测试为中心的软件质量保障技术软件静态测试技术质量软件度量技术控制动态测试技

8、术技术配置管理技术修改控制与管理技术软件测试是保证软件质量,提高软件可靠性的关键软件测试的目标(1)预防错误:几乎不可实现(2)发现错误:软件测试目的找错7.1.1测试的目的与地位G.J.Myers在<软件测试技巧>中认为:“程序测试是为了发现错误而执行程序的过程.”E.W.Dijkstra指出:“程序测试能证明错误的存在,但不能证明错误不存在.”测试的目的是发现程序中的错误,是为了证明程序有错,而不是证明程序无错.把证明程序无错当作测试目的不仅是不正确的,完全做不到