文档介绍：第七章软件测试(讲义P126)闯贼茬祭医聚样斗哺有匈绦递蛆芋随掠宴抡元理龄洽玉得溃我孜们吻堵慢软件测试总体介绍软件测试总体介绍概论在本章中,我们将研究:1、错误类型和如何分类错误2、测试的目的3、单元测试4、集成测试策略5、测试计划6、何时停止测试一旦你编好你的程序组件,就是测试它们的时候了。有许多种方法测试,这里将为你介绍几种测试方法,它们能够使你为用户发布一个高质量的系统。发现错误的发生并不是对于测试来说已经不是第一次了;我们已经看到了在开发过程中怎样在需求和设计的复查中帮助我们探索错误。但是测试是以发现错误为核心,有许多种方法使我们在测试上下的功夫更有效率更有效果。溶督城闲诫场洱斋五行逻著爬氦舷乍舅代易五泅她窿叫棉嗜迄镍识舞剁甜软件测试总体介绍软件测试总体介绍概论Jones广泛的研究程序员的生产力,包括错误的查找和修正的本性。查阅了历史上一千万行的代码,他发现代码检查纠除了85%多的错误。Jones研究的其他方法从未如此成功,实际上,没有一个能够除去一半以上的错误。Jones最近更多的调查建议典型的准备时间和会议时间,。表8。2典型的准备时间和会议时间(1991)开发产品 准备时间 会议时间 需求文档 每小时25页 每小时12页 功能描述 每小时45页 每小时15页 逻辑描述 每小时50页 每小时20页 源代码 每小时150行代码每小时75行代码 用户手册 每小时35页每小时20页莫井姚访触兔长傈官再拱邵秧援漾徐聪主褥燕鼻划逸雇响俩惕土洛激丹虐软件测试总体介绍软件测试总体介绍概论韦勒(1993)在公牛信息系统3年检查数据。来自几乎7,000个检查会议的尺度包括大约11557个错误信息和14677页的设计文献。他发现,一个3人低准备率测试小组和一个4人高准备率小组工作效率一样;他提出准备率,并非小组大小,确定测试效率。他也发现小组的有效性和效率取决于他们对产品的熟悉:越熟悉,越好。另一方面,韦勒发现好代码检查结果能建立错误的信任。在一项12000行C语言的工程上,需求和设计没被复查;检查从代码开始。比较代码检查数据和测试数据,韦勒发现代码检查鉴定主要编码或者低水平设计错误,但是测试主要发现需求和结构的错误。因此,代码检查不在系统里处理源代码的变化性,它的结果没代表真实的系统质量。表8。3发现活动中发现的错误(Jones1991)发现活动 每千行代码发现的错误需求复查 设计复查 代码检查 集成测试 接受性测试 ,为代码检查做计划一般需要2个小时,接着30分钟的小组会议。然后个人准备2个小时发现错误和90分钟汇报错误。小组花费30分钟集体讨论错误的发现并推荐采取的措施。当错误修正后,代码检查会议的主持人在花费半个小时书写和发布摘要文档。Jones总结了他的工程信息的数据,画了一个不同的图,比较复查,检查和其他发现方法的不同。因为产品在尺寸上变化广泛,然而,研究员继续研究那些形式的行为比其它的更容易发现不同类的错误。例如,代码检查善于发现代码错误,但是原型系统更容易鉴别需求的错误。Fagan在IBM发布检查代码的方针后,许多其它的组织机构,包括惠普,ITT和AT&T都采纳了代码检测作为推荐或标准实施。代码检测的成功应用继续在文献中出现,一些在网站上有参考文献。讨甄蕊婿播窍扣厄敌耘硷寄媚葱痒蝴忱诬咒粳颊奢园党铁接圃黍褐欢图伯软件测试总体介绍软件测试总体介绍概论证明代码正确假想你已经编完你的组件,自己检查完毕,小组复查完毕。下一步测试是,以更加结构化的方式详细审查确保它的正确性。为了单元测试,一个程序是正确的,当它正确实现设计中说明的功能和数据和它与其它组件正确接口。一种研究程序的正确性方式是把代码看成语句的逻辑流。如果我们能够用正式的逻辑系统(诸如一系列关于数据的语句和暗示)复写程序,我们就能测试新的语句的正确性。我们在设计的方面解释正确性,我们希望我们的表达遵循数学逻辑的规则。公式证明技巧。让我们看看公式证明是怎么工作的。我们按照一系列步骤转换代码为逻辑副本:羡捆矣陨惦崇愤戮忽萧清烙术九镰竣孟壹围讲滨块脉守雏诸谋痞蛤窥兑注软件测试总体介绍软件测试总体介绍概论首先,我们写断言来描述组件的输入和输出条件。这些语句由逻辑变量组合(每个要么是true要么是false),。 例子 意义 联合 X&YXandY 分离 XvYXorY 取反-X NotX 蕴含式X->Y Ifxtheny 相等 X=y Xequalsy 通用 VxP(x) 对于所有x,条件P(x)是真存在 ExP(x) 至少有一个x,P(x)是真癣射尹贡