资源描述:
《软件测试黑盒测试ppt课件.ppt》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、黑盒测试黑盒测试的概念黑盒测试的实施过程黑盒测试的数学知识测试用例设计技术黑盒测试黑盒测试的概念什么是黑盒测试? 黑盒测试又称功能测试、数据驱动测试或基于规格说明书的测试,是一种从用户观点出发的测试。 黑盒测试示意图测试人员把被测程序当作一个黑盒子。黑盒测试黑盒测试主要测试的错误类型有:①不正确或遗漏的功能;②接口、界面错误;③性能错误;④数据结构或外部数据访问错误;⑤初始化或终止条件错误等等。黑盒测试黑盒测试用于回答以下问题:1)如何测试功能的有效性?2)何种类型的输入会产生好的测试用例?3)系统是否对特定的输入值尤其敏感?4)如何分隔数据
2、类的边界?5)系统能够承受何种数据率和数据量?6)特定类型的数据组合会对系统产生何种影响?黑盒测试运用黑盒测试方法,可以导出满足以下标准的测试用例集:1)所设计的测试用例能够减少达到合理测试所需的附加测试用例数;2)所设计的测试用例能够告知某些类型错误的存在或不存在,而不是仅仅与特定测试相关的错误。黑盒测试用黑盒测试发现程序中的错误,必须在所有可能的输入条件和输出条件中确定测试数据,来检查程序是否都能产生正确的输出。但这是不可能的,因为穷举测试数量太大,无法完成。黑盒测试假设一个程序P有输入量X和Y及输出量Z。在字长为32位的计算机上运行。若X、Y取
3、整数,按黑盒方法进行穷举测试:可能采用的测试数据组:232×232=264如果测试一组数据需要1毫秒,一年工作365×24小时,完成所有测试需5亿年。因此,我们只能在大量可能的数据中,选取其中一部分作为测试用例。黑盒测试黑盒测试的实施过程(1)测试计划阶段(2)测试设计阶段依据程序需求规格说明书或用户手册,按照一定规范化的方法进行软件功能划分和设计测试用例。(3)测试执行阶段按照设计的测试用例执行测试;自由测试(作为测试用例测试的补充)。(4)测试总结阶段测试人员的数学知识集合论1集合与成员M30={4月,6月,9月,11月}2集合的定义列出集合元素
4、如M30给出集合元素判定规则如Y={年
5、1900<年<2199}3空集的表示ΦΦ={年:2012≤年≤1812}Φ,{φ}是不同的。数学知识-集合论4维恩图(VennDiagram)TheVennDiagramismadeupoftwoormoreoverlappingcircles.Itisoftenusedinmathematicstoshowrelationshipsbetweensets5集合的关系A是B的子集AÍBA是B的真子集AÌBA和B是相等集合A=B数学知识-集合论6集合的划分A1,A2,…,An是集合A的子集A1,A2,…,An是集
6、合A的一个划分A1∪A2∪…∪An=A且Ai∩Aj…=Φ(i!=j)测试(1)完备性(2)无冗余性数学知识-函数任何程序都可以看成将其输出与输入关联起来的函数,因此函数是开发测试的核心概念。1-1函数多对1函数程序实现的功能大多数是多对一的函数。这对测试很重要(多对一测试可选代表等价类1对1,功能相似也可分等价类)数学知识-命题逻辑命题:有真假值,且无歧义Pqp∧qp∨q┐ppÅqTTTTFFTFFTFTFTFTTTFFFFTF黑盒测试测试用例设计技术等价类划分方法边界值分析方法错误推测方法因果图方法判定表驱动分析方法正交实验设计方法功能图分析方法等
7、价类划分是把所有可能的输入数据,即程序的输入域划分成若干部分(子集),然后从每一个子集中选取少数具有代表性的数据作为测试用例.该方法是一种重要的,常用的黑盒测试用例设计方法.等价类划分方法简介1)划分等价类:等价类是指某个输入域的子集合.在该子集合中,各个输入数据对于揭露程序中的错误都是等效的.并合理地假定:测试某等价类的代表值就等于对这一类其它值的测试.因此,可以把全部输入数据合理划分为若干等价类,在每一个等价类中取一个数据作为测试的输入条件,就可以用少量代表性的测试数据.取得较好的测试结果.等价类划分可有两种不同的情况:有效等价类和无效等价类.等
8、价类划分有效等价类是指对于程序的规格说明来说是合理的,有意义的输入数据构成的集合.利用有效等价类可检验程序是否实现了规格说明中所规定的功能和性能。无效等价类与有效等价类的定义恰巧相反。无效等价类指对程序的规格说明是不合理的或无意义的输入数据所构成的集合。对于具体的问题,无效等价类至少应有一个,也可能有多个。设计测试用例时,要同时考虑这两种等价类.因为,软件不仅要能接收合理的数据,也要能经受意外的考验.这样的测试才能确保软件具有更高的可靠性.等价类划分2)划分等价类的标准:完备测试、避免冗余划分等价类重要的是:集合的划分,划分为互不相交的一组子集,而子
9、集的并是整个集合并是整个集合:完备性子集互不相交:保证一种形式的无冗余性同一类中标识(选择)一个测试用例,同