黑盒白盒测基本定义.doc

《黑盒白盒测基本定义.doc》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、不深入代码细节的测试方法称为黑盒测试。黑盒测试（Blackboxtesting）也称功能测试或数据驱动测试，它是已知产品所应具有的功能，通过测试来检测每个功能是否都正常使用。边界值测试背后的基本原理是错误更可能出现在输入变量的极值附近。一般情况下，确定边界值应遵循以下几条原则：(1)如果输入条件规定了值的范围，则应取刚达到这个范围的边界的值，以及刚刚超越这个范围边界的值作为测试输入数据。(2)如果输入条件规定了值的个数，则用最大个数、最小个数、比最小个数少一、比最大个数多一的数作为测试数据。　　(3)如果程序的规格说明给出的输入域或输出域是有序集合，则应选取集合的第一个元素和最后一个元

2、素作为测试数据。　　(4)如果程序中使用了一个内部数据结构，则应当选择这个内部数据结构的边界上的值作为测试数据。　　(5)分析规格说明，找出其他可能的边界条件边界值分析的基本思想是使用输入变量的最小值、略大于最小值、正常值、略小于最大值和最大值设计测试用例例如，有一个二元函数f(x，y)，要求输入变量x，y分别满足：x∈[1，12]，y∈[1，31]。采用边界值分析法设计测试用例，可以选择下面一组测试数据：{<1，15>，<2，15>，<11，15>，<12，15>，<6，15>，<6，1>，<6，2>，<6，30>，<6，31>}。对于有n个输入变量的程序，边界值分析会产生4n+1个

3、测试用例。边界值分析优缺点健壮性是指在异常情况下，软件还能正常运行的能力。所谓健壮的系统，是指对于规范要求以外的输入能够判断出这个输入不符合规范要求，并能有合理的处理方式的系统。健壮性边界测试是边界值分析的一种简单扩展。在使用该方法设计测试用例时，既要考虑有效输入，又要考虑无效的输入。除了按照边界值分析方法选取的五个取值(min、min+、nom、max-、max)外，还要选取略小于最小值(min-)和略大于最大值(max+)的取值，以观察输入变量超过边界时程序会有什么表现对于一个含有n个输入变量的程序，进行健壮性边界测试时，使除一个以外的所有变量取正常值，使剩余的那个变量依次取略小于

4、最小值、最小值、略大于最小值、正常值、略小于最大值、最大值和略大于最大值，并对每个变量重复进行。因此其健壮性测试会产生6n+1个测试用例。健壮性测试的最大价值在于观察处理异常情况，它是检测软件系统容错性的重要手段。划分对于测试有非常重要的意义：　　(1)各个子集的并是整个集合，这提供了一种形式的完备性；　　(2)各个子集的交是空，这种互不相交保证了一种形式的无冗余性。因此采用划分可保证某种程度的完备性，并减少冗余。等价类的定义：等价类是输入域的某个子集合，而所有的等价类的并集是整个输入域。在子集合中，各个输入数据对于揭露程序中的错误是等效的等价类测试的假设：测试某等价类的代表值，就等效

5、于对这个等价类中其他值的测试。等价类测试的思想：把全部的输入数据划分成若干个等价类，在每一个等价类中取一个数据来进行测试。划分等价类的方法　　等价类测试的思想就是把全部输入数据合理划分为若干等价类，在每一个等价类中取一个具有代表性的数据作为测试的输入条件，这样可以用少量的测试数据取得较好的测试效果。　　在等价类测试中，划分等价类是非常关键的。如果等价类划分合理，可以大大减少测试用例，并能保证达到要求的测试覆盖率。那么如何划分等价类呢？一般来讲，首先要分析程序所有可能的输入情况，然后按照下列规则对其进行划分等价类的特点　　按划分等价类的规则划分出的等价类具有下列特点：　　(1)完备性：划

6、分出的各个等价类(子集)的并是输入/输出的全集，即程序的定义域/值域。　　(2)无冗余性：各个等价类是互不相交的一组子集。　　(3)等价性：划分的各个子集是由等价关系决定的，即各个输入数据对于揭露程序中的错误都是等效的。边界值分析法与等价类划分法比较：1)等价分类法的测试数据是在各个等价类允许的值域内任意选取的，而边界值分析的测试数据必须在边界值附近选取。(2)一般地说，用边界值分析法设计的测试用例比等价分类法的代表性更广，发现错误的能力也更强。但是对边界的分析与确定比较复杂，要求测试人员具有更多的经验和创造性。(3)还需指出，有些包含的边界情况比较简单，只需要分析输入等价类。在有些情

7、况下，除了考察输入值边界外，还需要考察输出值和其他可能存在的边界。判定表是分析和表达多逻辑条件下执行不同操作的工具判定表建立步骤：①列出所有的条件桩和动作桩；②确定规则的个数；假如有n个条件，每个条件有两个取值（0,1）,则有2n种规则；③填入条件项；④填入动作项，得到初始决策表；⑤简化，合并相似规则（相同动作）。E(异)：表示c1、c2中至多有一个可能为1，即c1和c2不能同时为1。　　I(或)：表示c1、c2、c3中至少有一个是1，即c1、