Ch1-软件测试(黑盒).ppt

* 等价类是指某个输入域的子集合。在该子集合中，各个输入数据对于揭露程序中的错误都是等效的。测试某等价类的代表值就等价于对这一类其它值的测试。 在设计测试用例时，要同时考虑有效等价类和无效等价类的设计。 边界值分析也是一种黑盒测试方法，是对等价类划分方法的补充。 经验表明，大量的错误是发生在输入或输出范围的边界上，而不是在输入范围的内部。因此针对各种边界情况设计测试用例，可以查出更多的错误。 E（互斥）：表示a，b两个原因不会同时成立，两个中最多有一个可能成立。? I（包含）：表示a，b，c三个原因中至少有一个必须成立。 ? O（唯一）：表示a和b当中必须有一个，且仅有一个成立。? R（要求）：表示当a出现时，b必须也出现。不可能a出现，b不出现。 ? M（屏蔽）：表示当a是1时，b必须是0。而当a为0时，b的值不定。 测试的有效程度取决于状态转换图是否正确反映了测试对象的规格说明。 测试目标：用于系统检测软件系统中各种状态对于测试对象的功能的影响，测试对象的功能会因为测试对象的状态的不同而受影响。（不同状态下的不同行为） 原理：很多情况下，测试对象的输出和行为不仅受当前输入数据的影响，同时还与测试对象之前的执行情况，或者之前的事件或以前的输入数据等有关。 2.边界值分析 * * 数学含义 A= X =B C= Y =D A、按照输入值范围的边界。 例如：输入值的范围是-1.0至1.0，则可选择用例 –1.0、1.0、-1.001、1.001。 B、按照输入/输出值个数的边界。 例如：输入文件可有1-255个记录，则设计用例：文件的记录数为 0个、1个、255个、256个。 C、输出值域的边界。 例如：检索文献摘要，最多4篇。设计用例：可检索0篇、1篇、4篇，和5篇（错误）。 D、输入/输出有序集（如顺序文件、线性表）的边界。 应选择第一个元素和最后一个元素。 边值分析法举例 3.错误推测法 * * 人们也可以靠经验和直觉推测程序中可能存在的各种错误，从而有针对性地编写检查这些错误的用例。 错误推测法的基本想法是：列举出程序中所有可能有的错误和容易发生错误的特殊情况，根据它们选择测试用例。 一般经验----输入数据为0，输出数据为0，输入表格为空等 4.因果图 * * 因果图：把输入条件视为“因”，把输出条件视为“果”，将黑盒看成是从因到果的网络图，采用逻辑图的形式来表达功能说明书中输入条件的各种组合与输出的关系。根据这种关系可选择高效的测试用例。因果图是一种形式化语言，是一种组合逻辑网络图。 4.因果图 * * 适用范围：如果在测试时必须考虑输入条件的各种组合，可使用一种适合于描述对于多种条件的组合，相应产生多个动作的形式来设计测试用例。 因果图方法最终生成的就是判定表。它适合于检查程序输入条件的各种组合情况。 因果图基本符号 * * 用Ci表示原因，用Ei表示结果，各结点表示状态，可取值“0”或“1”。“0”表示某状态不出现，“1”表示某状态出现。 主要的原因和结果之间的关系有: 因果图基本符号 * * 表示约束条件的符号：为了表示原因与原因之间，结果与结果之间可能存在的约束条件，在因果图中可以附加一些表示约束条件的符号。 因果图基本步骤 * * (1) 分析软件规格说明描述中，哪些是原因 (即输入条件或输入条件的等价类)，哪些是结果 (即输出条件)，并给每个原因和结果赋予一个标识符。 (2) 分析软件规格说明描述中的语义，找出原因与结果之间，原因与原因之间对应的是什么关系? 根据这些关系，画出因果图。  因果图基本步骤 * * (3) 由于语法或环境限制，有些原因与原因之间，原因与结果之间的组合情况不可能出现。为表明这些特殊情况，在因果图上用一些记号标明约束或限制条件。 (4) 把因果图转换成判定表。 (5) 把判定表的每一列拿出来作为依据，设计测试用例。 * * 例如，有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。其规格说明如下： 若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。” 因果图举例 因果图举例 * * (1) 分析这一段说明，列出原因和结果原因：1. 售货机有零钱找 2. 投入1元硬币 3. 投入5角硬币 4. 押下橙汁按钮 5. 押下啤酒按钮 建立中间结点，表示处理中间状态11. 投入1元硬币且押下饮料按