软件测试之黑盒测试ppt课件

1、软件测试软件测试 黑盒测试方法黑盒测试方法 黑盒测试把测试对象看作一个黑盒，测试黑盒测试把测试对象看作一个黑盒，测试人员不思索程序的内部逻辑构造和内部特人员不思索程序的内部逻辑构造和内部特性，只根据程序需求和功能规格阐明，检性，只根据程序需求和功能规格阐明，检查程序的功能能否符合它的功能阐明。查程序的功能能否符合它的功能阐明。 黑盒测试方法是在程序接口上进展测试，黑盒测试方法是在程序接口上进展测试，主要是为了发现以下错误：主要是为了发现以下错误： 能否有不正确或脱漏了的功能？能否有不正确或脱漏了的功能？ 在接口上，输入能否正确地接受？在接口上，输入能否正确地接受？ 能否输出正确的结果？能否输出

2、正确的结果？ 能否有数据构造错误或外部信息例如能否有数据构造错误或外部信息例如数据文件访问错误？数据文件访问错误？ 性能上能否可以满足要求？能否有初始性能上能否可以满足要求？能否有初始化或终止性错误？化或终止性错误？黑盒测试方法黑盒测试方法 黑盒测试方法主要包括：黑盒测试方法主要包括： 等价类划分法等价类划分法 边境值分析法边境值分析法 错误猜测法错误猜测法 因果图法因果图法 等等等等 等价类划分等价类划分 是一种典型的黑盒测试方法。是一种典型的黑盒测试方法。 能有效处理穷举法的不可行性，提高测能有效处理穷举法的不可行性，提高测试的效率试的效率等价类划分法等价类划分法主要思想：主要思想：根据被

3、测对象的功能阐明和输入域，根据被测对象的功能阐明和输入域，按合理的或不合理划分为假设干等按合理的或不合理划分为假设干等价类，价类，为每个等价类设计一个测试用例，为每个等价类设计一个测试用例，这样大大减少测试次数，提高测试这样大大减少测试次数，提高测试效率。效率。等价类等价类 等价类是等价类是 某个输入域的子集合。某个输入域的子集合。 在该子集合中，各个输入数据对于揭露程在该子集合中，各个输入数据对于揭露程序中的错误都是等效的。序中的错误都是等效的。 测试某等价类的代表值就等价于对这一类测试某等价类的代表值就等价于对这一类其它值的测试。其它值的测试。 等价类可分为两种：有效等价类和无效等等价类可

4、分为两种：有效等价类和无效等价类。价类。 有效等价类是由那些对程序的规格阐明有有效等价类是由那些对程序的规格阐明有意义的、合理的输入数据所构成的集合；意义的、合理的输入数据所构成的集合； 无效等价类那么是那些对程序的规格阐明无效等价类那么是那些对程序的规格阐明不合理的或无意义的输入数据所构成的集不合理的或无意义的输入数据所构成的集合。合。 在设计测试用例时，要同时思索有效等价在设计测试用例时，要同时思索有效等价类和无效等价类的设计。类和无效等价类的设计。等价类划分方法进展测试的步骤等价类划分方法进展测试的步骤根据一定的原那么进展等价类的划分根据一定的原那么进展等价类的划分为上一步得到的每一个等

5、价类构造测试用为上一步得到的每一个等价类构造测试用例例根据所得的测试用例进展测试根据所得的测试用例进展测试1 1根据以下原那么划分等价类根据以下原那么划分等价类假设某个输入条件阐明了一个必需成立假设某个输入条件阐明了一个必需成立的情况，那么可划分一个有效等价类和的情况，那么可划分一个有效等价类和一个无效等价类。一个无效等价类。例如：输入数据必需是数字例如：输入数据必需是数字一个有效等价类：输入数据是数字一个有效等价类：输入数据是数字一个无效等价类：输入数据不是数字一个无效等价类：输入数据不是数字 假设某个输入条件对取值的范围或值的假设某个输入条件对取值的范围或值的个数进展了规定，那么可确定一个

6、有效个数进展了规定，那么可确定一个有效等价类和两个无效等价类。等价类和两个无效等价类。 例如，在程序的规格阐明中，对输入条例如，在程序的规格阐明中，对输入条件有一句话：件有一句话：“项数可以从项数可以从1 1到到999 999 有效等价类是有效等价类是“11项数项数999999两个无效等价类是两个无效等价类是“项数项数1 1或或“项数项数999999。 假设输入条件是一个布尔量，那么可以假设输入条件是一个布尔量，那么可以确定一个有效等价类和一个无效等价类。确定一个有效等价类和一个无效等价类。 假设在某个输入条件中对输入数据的一假设在某个输入条件中对输入数据的一组能够值进展了规定，并且程序是用不

7、组能够值进展了规定，并且程序是用不同的方式处置每一种值的，那么可为每同的方式处置每一种值的，那么可为每一种值划分一个有效等价类，并划分一一种值划分一个有效等价类，并划分一个无效等价类，它是一切不允许的输入个无效等价类，它是一切不允许的输入值的集合。值的集合。 例如，在教师上岗方案中规定对教授、例如，在教师上岗方案中规定对教授、副教授、讲师和助教分别计算分数，做副教授、讲师和助教分别计算分数，做相应的处置。相应的处置。 可以确定可以确定4 4个有效等价类为教授、副教授、个有效等价类为教授、副教授、讲师和助教。讲师和助教。 一个无效等价类，它是一切不符合以上一个无效等价类，它是一切不符合以上身分的

8、人员的输入值的集合。身分的人员的输入值的集合。 假设已划分的某等价类中的各个元素假设已划分的某等价类中的各个元素例子在程序中的处置方式是不同例子在程序中的处置方式是不同的，那么该当将此等价类进一步划分的，那么该当将此等价类进一步划分成更小的等价类。成更小的等价类。 假设规定了输入数据必需遵守的规那假设规定了输入数据必需遵守的规那么，那么可以确立一个有效等价类么，那么可以确立一个有效等价类符合规那么和假设干个无效等价符合规那么和假设干个无效等价类从不同角度违反规那么。类从不同角度违反规那么。 例如，例如，PascalPascal言语规定言语规定 “一个语句必需一个语句必需以分号以分号; ;终了。

9、终了。 可以确定一个有效等价类可以确定一个有效等价类 “以以; ;终了终了 假设干个无效等价类假设干个无效等价类 “以以: :终了终了 “以以, ,终了终了 “以以 终了终了 “以以LFLF终了等。终了等。2 2由等价类表选取测试用例由等价类表选取测试用例 在得到最终的等价类表之后，就可以确定在得到最终的等价类表之后，就可以确定测试用例，详细的过程如下：测试用例，详细的过程如下： 首先为等价表中的每一个等价类分配一个首先为等价表中的每一个等价类分配一个独一的编号。独一的编号。 设计一个新的测试用例，使它可以尽量覆设计一个新的测试用例，使它可以尽量覆盖尚未覆盖的有效等价类。反复这一步骤，盖尚未覆

10、盖的有效等价类。反复这一步骤，从而使一切有效等价类均被测试用例所覆从而使一切有效等价类均被测试用例所覆盖。盖。 与第二步类似，设计一个新的测试用例，与第二步类似，设计一个新的测试用例，使它只覆盖一个无效等价类。反复这一步使它只覆盖一个无效等价类。反复这一步骤，从而使一切无效等价类均被测试用例骤，从而使一切无效等价类均被测试用例所覆盖。所覆盖。 测试用例设计例如测试用例设计例如 某工厂公开招工，规定报名者年龄应该在某工厂公开招工，规定报名者年龄应该在1616周岁到周岁到3535周岁之间到周岁之间到20192019年年1212月月3131日日为止。即出生年月不在上述范围内的人为止。即出生年月不在上

11、述范围内的人员将不予接受，并显示员将不予接受，并显示“年龄不合格的年龄不合格的出错信息。出错信息。 现用等价类划分的方法设计测试用例。现用等价类划分的方法设计测试用例。 第一步：划分等价类第一步：划分等价类 假定知出生年月由假定知出生年月由6 6位数字字符表示，前位数字字符表示，前4 4位代表年，后位代表年，后2 2位代表月，那么可以划分位代表月，那么可以划分3 3个有效等价类，个有效等价类，7 7个无效等价类，如下表所个无效等价类，如下表所示：示： 输入数据输入数据有效等价类有效等价类无效等价类无效等价类出生年月出生年月 6 6位数位数含非数字字符含非数字字符数字字符少于数字字符少于6 6个

12、个数字字符多于数字字符多于6 6个个对应数值对应数值197001197001198912198912小于小于197001197001大于大于198912198912月份月份1 11212之间之间等于等于0 0大于大于1212 第二步：设计有效等价类第二步：设计有效等价类 例如，上表中、例如，上表中、 这三个有效等这三个有效等价类，可以公用一个测试用例：价类，可以公用一个测试用例： 测试数据测试数据 期望结果期望结果 测试范测试范围围 197703 197703 输入有效输入有效 、 第三步，为每一个无效等价类至少设计一第三步，为每一个无效等价类至少设计一个测试用例。个测试用例。 边境值分析法边

13、境值分析法 实际中，大量的错误是发生在输入或输出实际中，大量的错误是发生在输入或输出范围的边境上，而不是在输入范围的内部，范围的边境上，而不是在输入范围的内部，针对各种边境情况设计测试用例，可以查针对各种边境情况设计测试用例，可以查出更多的错误。出更多的错误。 与前面提到的等价类划分法不同，其测试与前面提到的等价类划分法不同，其测试用例来自于等价类的边境，是对等价类划用例来自于等价类的边境，是对等价类划分方法的补充。分方法的补充。 比如，在做三角形计算时，要输入三比如，在做三角形计算时，要输入三角形的三个边长：角形的三个边长：A A、B B和和C C。 应留意到这三个数值该当满足应留意到这三个

14、数值该当满足A A0 0、B B0 0、C C0 0、A AB BC C、A AC CB B、B BC CA A，才干构成三角形。，才干构成三角形。 但假设把六个不等式中的任何一个大但假设把六个不等式中的任何一个大于号于号“错写成大于等于号错写成大于等于号“，那就不能构成三角形。那就不能构成三角形。 问题恰出如今容易被忽略的边境附近。问题恰出如今容易被忽略的边境附近。 边境值分析法进展测试用例设计应留边境值分析法进展测试用例设计应留意遵照如下原那么：意遵照如下原那么：假设输入条件对取值范围进展了界定，假设输入条件对取值范围进展了界定，那么应以边境内部以及恰巧超出边境那么应以边境内部以及恰巧超出

15、边境范围的值作为测试用例。范围的值作为测试用例。 例如，假设输入值的范围是例如，假设输入值的范围是-0.100-0.100到到1.0001.000，那么可以选择：，那么可以选择：-0.101-0.101、0.9990.999、-0.099-0.099和和1.0011.001作为测试输入作为测试输入数据。数据。 假设对取值的个数进展了界定，那么该假设对取值的个数进展了界定，那么该当分别选择最大个数、最小个数及稍小当分别选择最大个数、最小个数及稍小于最小个数比最小个数少于最小个数比最小个数少1 1、稍大于、稍大于最大个数比最大个数多最大个数比最大个数多1 1等作为测试等作为测试用例。用例。例如，假

16、设一个输入文件可以有例如，假设一个输入文件可以有1 1到到255255个记录，那么可以分别设计具有个记录，那么可以分别设计具有1 1个记录、个记录、255255个记录以及个记录以及0 0个记录和个记录和256256个记录的输个记录的输入文件。入文件。 对于输出条件，同样可以运用上面提到对于输出条件，同样可以运用上面提到的两条原那么来进展测试用例设计。的两条原那么来进展测试用例设计。 假设在程序规格阐明书中提到的输入或假设在程序规格阐明书中提到的输入或输出域是一个有序的集合如顺序文件、输出域是一个有序的集合如顺序文件、表格等，就应留意选取该有序集合中表格等，就应留意选取该有序集合中的第一个和最后

17、一个元素作为测试用例。的第一个和最后一个元素作为测试用例。 假设程序内部运用了一个内部数据构造，假设程序内部运用了一个内部数据构造，那么应中选择这个内部数据构造的边境那么应中选择这个内部数据构造的边境值作为测试用例。值作为测试用例。例如，假设程序中定义了一个数组，其例如，假设程序中定义了一个数组，其元素下标的下界是元素下标的下界是0 0，上界是，上界是127127，那么，那么应该选择到达这个数组下标边境的值应该选择到达这个数组下标边境的值0 0和和127127作为测试用例。作为测试用例。 留意留意 运用边境值分析方法设计测试用例，首先运用边境值分析方法设计测试用例，首先应确定边境情况。应中选取

18、正好等于、刚应确定边境情况。应中选取正好等于、刚大于、或刚小于边境的值做为测试数据，大于、或刚小于边境的值做为测试数据，而不是选取等价类中的典型值或恣意值做而不是选取等价类中的典型值或恣意值做为测试数据。为测试数据。错误猜测法错误猜测法 所谓猜错，就是猜测被测程序在哪些地方所谓猜错，就是猜测被测程序在哪些地方容易出错，然后针对能够的薄弱环节来设容易出错，然后针对能够的薄弱环节来设计测试用例。计测试用例。 它更多地依赖于人们的先验知识，因此，它更多地依赖于人们的先验知识，因此，错误猜测法普通作为辅助性测试用例设计错误猜测法普通作为辅助性测试用例设计方法运用。方法运用。 错误猜测法的根本思想：错误

19、猜测法的根本思想： 列举出程序中一切能够有的错列举出程序中一切能够有的错误和容易发生错误的特殊情况，根据误和容易发生错误的特殊情况，根据这些内容选择测试用例。这些内容选择测试用例。 如：输入、输出数据为零的情况；输如：输入、输出数据为零的情况；输入表格为空或输入表格只需一行的情入表格为空或输入表格只需一行的情况。况。因果图法因果图法 因果图方法就是从程序规格阐明书的描画因果图方法就是从程序规格阐明书的描画中找出因输入条件和果输出或程序中找出因输入条件和果输出或程序形状的改动之间的关系，经过将因果图形状的改动之间的关系，经过将因果图转换为断定表，最后为断定表中的每一列转换为断定表，最后为断定表中

20、的每一列设计一个测试用例。设计一个测试用例。 这一方法思索了输入情况的各种组合以及这一方法思索了输入情况的各种组合以及各个输入情况之间的相互制约关系。各个输入情况之间的相互制约关系。 适用范围：适用范围： 假设在测试时必需思索输入条件的各种组假设在测试时必需思索输入条件的各种组合，可运用一种适宜于描画对于多种条件合，可运用一种适宜于描画对于多种条件的组合，相应产生多个动作的方式来设计的组合，相应产生多个动作的方式来设计测试用例，此时可以利用因果图。测试用例，此时可以利用因果图。 详细的测试用例设计步骤如下：详细的测试用例设计步骤如下： 分析软件规格阐明描画中，哪分析软件规格阐明描画中，哪些是缘

21、由些是缘由 ( (即输入条件或输入即输入条件或输入条件的等价类条件的等价类) )，哪些是结果，哪些是结果 ( (即输出条件即输出条件) )，并给每个缘由，并给每个缘由和结果赋予一个标识符。和结果赋予一个标识符。 分析软件规格阐明描画中的语义，找出缘分析软件规格阐明描画中的语义，找出缘由与结果之间，缘由与缘由之间对应的是由与结果之间，缘由与缘由之间对应的是什么关系。根据这些关系，画出因果图。什么关系。根据这些关系，画出因果图。由于语法或环境限制，有些缘由与缘由之由于语法或环境限制，有些缘由与缘由之间，缘由与结果之间的组合情况不能够出间，缘由与结果之间的组合情况不能够出现。为阐明这些特殊情况，在因

22、果图上用现。为阐明这些特殊情况，在因果图上用一些记号标明约束或限制条件。一些记号标明约束或限制条件。 把因果图转换成断定表。把因果图转换成断定表。把断定表的每一列拿出来作为根据，把断定表的每一列拿出来作为根据，设计测试用例。设计测试用例。 在因果图中出现的根本元素阐明在因果图中出现的根本元素阐明: : 通常在因果图中用通常在因果图中用CiCi表示缘由，用表示缘由，用EiEi表表示结果。示结果。 各结点表示形状，可取值各结点表示形状，可取值“0 0或或“1 1。“0 0表示某形状不出现，表示某形状不出现，“1 1表示某形表示某形状出现。状出现。因果图：缘由和结果之间的关系因果图：缘由和结果之间的

23、关系a a衡等：表示缘由与结果之间一对一的对应关系。衡等：表示缘由与结果之间一对一的对应关系。假设缘由出现，那么结果出现。假设缘由不出现，假设缘由出现，那么结果出现。假设缘由不出现，那么结果也不出现。那么结果也不出现。b b非：表示缘由与结果之间的一种否认关系。假非：表示缘由与结果之间的一种否认关系。假设缘由出现，那么结果不出现。假设缘由不出现，设缘由出现，那么结果不出现。假设缘由不出现，反而结果出现。反而结果出现。 c c或：表示假设几个缘由中有一个出现，那么结或：表示假设几个缘由中有一个出现，那么结果出现，只需当这几个缘由都不出现时，结果才果出现，只需当这几个缘由都不出现时，结果才不出现。

24、不出现。d d与：表示假设几个缘由都出现，结果才出现。与：表示假设几个缘由都出现，结果才出现。假设几个缘由中有一个不出现，结果就不出现。假设几个缘由中有一个不出现，结果就不出现。 为了表示缘由与缘由之间，结果与结果之为了表示缘由与缘由之间，结果与结果之间能够存在的约束条件，在因果图中可以间能够存在的约束条件，在因果图中可以附加附加5 5种表示约束条件的符号。种表示约束条件的符号。 从输入缘由角度思索，有从输入缘由角度思索，有4 4种约束；种约束； 从输出结果角度思索，那么有从输出结果角度思索，那么有1 1种约束。种约束。 这些符号的详细方式及其语义如下：这些符号的详细方式及其语义如下： E E

25、互斥：它表示互斥：它表示a a，b b两个缘由不会同时成两个缘由不会同时成立，两个中最多有一个能够成立。立，两个中最多有一个能够成立。I I包含：它表示包含：它表示a a，b b，c c三个缘由中至少有三个缘由中至少有一个必需成立。一个必需成立。O O独一：它表示独一：它表示a a和和b b当中必需有一个，且当中必需有一个，且仅有一个成立。仅有一个成立。 R R要求：它表示当要求：它表示当a a出现时，出现时，b b必需也出现。必需也出现。不能够不能够a a出现，出现，b b不出现。不出现。M M屏蔽：假设从输出结果思索，还有屏蔽：假设从输出结果思索，还有一种约束。它表示当一种约束。它表示当a

26、 a是是1 1时，时，b b必需是必需是0 0；当；当a a为为0 0时，时，b b的值不定。的值不定。 实例实例 思索一个处置单价为思索一个处置单价为5 5角钱饮料的自动售角钱饮料的自动售货机软件的测试用例设计问题。其规格阐货机软件的测试用例设计问题。其规格阐明如下：明如下： 假设投入假设投入5 5角钱或角钱或1 1元钱的硬币，按下橙元钱的硬币，按下橙汁或啤酒的按钮，那么相应的饮料汁或啤酒的按钮，那么相应的饮料就送出来。就送出来。 假设售货机没有零钱找，那么一个显示假设售货机没有零钱找，那么一个显示零钱找完的红灯亮，这时在投入零钱找完的红灯亮，这时在投入1 1元元硬币并按下按钮后，饮料不送出

27、来而且硬币并按下按钮后，饮料不送出来而且1 1元硬币也退出来；元硬币也退出来； 假设有零钱找，那么显示零钱找完的假设有零钱找，那么显示零钱找完的红灯灭，在送出饮料的同时退还红灯灭，在送出饮料的同时退还5 5角硬币。角硬币。 分析这一段阐明，列出缘由和结果分析这一段阐明，列出缘由和结果缘由：缘由： 1. 1. 售货机有零钱找售货机有零钱找 2. 2. 投入投入1 1元硬币元硬币 3. 3. 投入投入5 5角硬币角硬币 4. 4. 押下橙汁按钮押下橙汁按钮 5. 5. 押下啤酒按钮押下啤酒按钮 建立中间结点，表示处置中间形状建立中间结点，表示处置中间形状 11. 11. 投入投入1 1元硬币且押下

28、饮料按钮元硬币且押下饮料按钮12. 12. 押下橙汁或啤酒的按钮押下橙汁或啤酒的按钮13. 13. 该当找该当找5 5角零钱并且售货机有零钱找角零钱并且售货机有零钱找14. 14. 钱已付清钱已付清 结果： 21. 售货机零钱找完灯亮 22. 退还1元硬币 23. 退还5角硬币 24. 送出橙汁饮料 25. 送出啤酒饮料 画出因果图。一切缘由结点列在左边，画出因果图。一切缘由结点列在左边，一切结果结点列在右边。一切结果结点列在右边。由于由于 2 2 与与 3 3 ，4 4 与与 5 5 不能同时发生，不能同时发生，分别加上约束条件分别加上约束条件E E。 因果图转换成断定表。 且断定表中没有被

29、划去的每一列就是一个测试用例。 黑盒测试方法的选择黑盒测试方法的选择 普通来说，在确定测试方法时，应该遵普通来说，在确定测试方法时，应该遵照以下原那么：照以下原那么： 第一，要根据程序的重要性和一旦发生第一，要根据程序的重要性和一旦发生缺点将呵斥的损失来确定它的测试等级缺点将呵斥的损失来确定它的测试等级和测试重点；和测试重点； 第二，要仔细研讨测试战略，以便能运第二，要仔细研讨测试战略，以便能运用尽能够少的测试用例，发现尽能够多用尽能够少的测试用例，发现尽能够多的程序错误。的程序错误。 以下是各种测试方法选择的综合战略，以下是各种测试方法选择的综合战略，可供读者在实践运用过程中参考。可供读者在

30、实践运用过程中参考。 首先进展等价类划分，包括输入条件首先进展等价类划分，包括输入条件和输出条件的等价划分，将无限测试变和输出条件的等价划分，将无限测试变成有限测试，这是减少任务量和提高测成有限测试，这是减少任务量和提高测试效率最有效的方法。试效率最有效的方法。 在任何情况下都必需运用边境值分析在任何情况下都必需运用边境值分析方法。阅历阐明，用这种方法设计出的方法。阅历阐明，用这种方法设计出的测试用例发现程序错误的才干最强。测试用例发现程序错误的才干最强。 可以用错误推测法追加一些测试用例，这需可以用错误推测法追加一些测试用例，这需求依托测试工程师的智慧和阅历。求依托测试工程师的智慧和阅历。

31、对照程序逻辑，检查已设计出的测试用例的对照程序逻辑，检查已设计出的测试用例的逻辑覆盖程度。假设没有到达要求的覆盖规逻辑覆盖程度。假设没有到达要求的覆盖规范，该当再补充足够的测试用例。范，该当再补充足够的测试用例。 假设程序的功能阐明中含有输入条件的组合假设程序的功能阐明中含有输入条件的组合情况，那么一开场就可选用因果图法和断定情况，那么一开场就可选用因果图法和断定表驱动法。表驱动法。形状测试形状测试q经过不同的形状验证的程序的逻辑流程。经过不同的形状验证的程序的逻辑流程。q软件形状软件形状software state是指软件是指软件当前所处的条件或者方式例：画笔程序当前所处的条件或者方式例：画

32、笔程序q软件测试员必需测试程序的形状及其转换。软件测试员必需测试程序的形状及其转换。 一、测试软件的逻辑流程一、测试软件的逻辑流程 软件能够进入的每一种独立形状软件能够进入的每一种独立形状 从一种形状转入另一种形状所需的输入和从一种形状转入另一种形状所需的输入和条件条件 进入或者退出某种形状时的设置条件及输进入或者退出某种形状时的设置条件及输出结果出结果 不用了解代码中设置的底层变量。从软件不用了解代码中设置的底层变量。从软件用户的角度建立形状图即可用户的角度建立形状图即可 例子：自动柜员机例子：自动柜员机SATMSATM欢迎运用欢迎运用简单自动柜员机简单自动柜员机请插入请插入ATM卡卡现金给

33、付口现金给付口存款信封口存款信封口收据口收据口插卡口插卡口1234567890取消取消B1B2B3 形状：形状：欢迎欢迎请插入请插入ATM卡卡请输入个人身份编号请输入个人身份编号假设输错请按假设输错请按“取消取消个人身份编号有误，个人身份编号有误，请重新输入请重新输入无效标志，他的卡将无效标志，他的卡将被留下，请给银行打被留下，请给银行打请选择买卖类型：请选择买卖类型：余额余额 /存款存款 /取款取款请选择帐户类型：请选择帐户类型：支票支票 /储蓄储蓄假设输错请按假设输错请按“取消取消请输入帐号请输入帐号假设输错请按假设输错请按“取消取消余额缺乏余额缺乏请输入一个新帐号请输入一个新帐号假设输错

34、请按假设输错请按“取消取消无法支付该金额无法支付该金额暂时无法取款，进展暂时无法取款，进展另一个买卖吗？另一个买卖吗？是是 / 否否正在更新余额，请正在更新余额，请取走现金取走现金暂时无法存款，进展暂时无法存款，进展另一个买卖吗？另一个买卖吗？是是 / 否否请将信封放入存款请将信封放入存款槽中，余额将被更新槽中，余额将被更新新余额正打印在收据新余额正打印在收据上，进展另一个买卖吗？上，进展另一个买卖吗？是是 / 否否请取走收据和请取走收据和ATM卡谢谢卡谢谢空闲空闲等待等待PIN等待买卖等待买卖选择选择存款存款终了会话终了会话余额余额取款取款坏卡坏卡取消或取消或PIN失败失败取消取消卡正常卡正

35、常PIN无问题，显示屏幕无问题，显示屏幕是是否否B1B2B3上层形状机上层形状机 测试要点：测试要点： 每种形状至少访问一次每种形状至少访问一次 测试看起来是最常见和最普遍的形状转换测试看起来是最常见和最普遍的形状转换 测试形状之间最不常用的分支测试形状之间最不常用的分支 测试一切错误形状及其前往值测试一切错误形状及其前往值 测试随机形状转换测试随机形状转换 例子例子 ：Windows画图程序启动形状画图程序启动形状其中失败形状其中失败形状 主要是主要是 竞争条件竞争条件 反复反复 压迫压迫 重负重负 竞争条件和时序错乱竞争条件和时序错乱 在真正的多义务环境中软件设计必需处置在真正的多义务环境

36、中软件设计必需处置随时被中断的情况，可以与其他任何软件随时被中断的情况，可以与其他任何软件在系统中同时运转，并且共享内存、磁盘、在系统中同时运转，并且共享内存、磁盘、通讯设备以及其他硬件资源。通讯设备以及其他硬件资源。 这样的结果，就是导致竞争条件问题；软这样的结果，就是导致竞争条件问题；软件未预料到的中断发生，时序就会发生错件未预料到的中断发生，时序就会发生错乱。乱。 竞争条件和时序错乱竞争条件和时序错乱 竞争条件测试难以设计，最好是首先仔细竞争条件测试难以设计，最好是首先仔细查看形状转换图中的每一个形状，以找出查看形状转换图中的每一个形状，以找出哪些外部影响会中断该形状。哪些外部影响会中断该形状。 思索要运用数据假设没有预备好，或者在思索要运用数据假设没有预备