测试用例设计—自动售货机因果图分析

测试用例设计—自动售货机因果图分析

实验三黑盒测试（二）

一、实验目的

通过本实验，掌握因果图法生成测试用例的步骤。

二、相关内容

利用因果图生成测试用例的基本步骤如下：

（1）分析软件规格说明中哪些是原因（即输入条件或输入条件的等价类），哪些是结果（即输出条件），并给每个原因和结果赋予一个标识符。

（2）分析软件规格说明中的语义，找出原因与结果之间、原因与原因之间对应的关系，根据这些关系画出因果图。

（3）由于语法或环境的限制，有些原因与原因之间、原因与结果之间的组合情况不可能出现。为表明这些特殊情况，在因果图上用一些记号表明约束或限制条件。

（4）把因果图转换为决策表。

（5）根据决策表中的每一列设计测试用例。

三、实验内容

有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元

硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。

编写程序实现之，然后用因果图法对自动售货机设计测试用例并测试之。

要求：

1、编写程序，实现上述自动售货过程。（任选一种自己熟悉的语言，有无界面均可，实现相应的功能即可。）

2、用因果图法设计测试用例。

（1）正确画出因果图。（2）画出决策表。（3）给出测试用例。

提示：可按如下步骤进行：

1）分析这一段说明，列出原因和结果。

2）画出因果图。（所有原因结点列在左边，所有结果点列在右边。可以考虑建立中间结点，表示处理的中间状态。比如，可设如下几种中间状态：该找5角，可找5角，按下按钮、钱已付清）

3）画出决策表。

4）给出测试用例。

四、实验报告

实验报告提交内容：源程序清单、因果图、决策表。（测

试用例有时间就设计，没有时间可以不设计）

一，因果图；

因果图－画条件

和结果

有零钱

选橙汁

选啤酒

投5角

投1元

红灯亮

出橙汁

出啤酒

找5角

找1元

出橙汁

出啤酒

找5角

找1元

E E

因果图－应该找零钱

有零钱

选橙汁

选啤酒投5角

投1元

红灯亮

出橙汁

出啤酒

找5角

找1元

E

E 选商品

钱付清

V

V

V

应该找零钱

V

出橙汁

出啤酒

找5角

找1元

E

E

有零钱

选橙汁

选啤酒投5角

投1元

红灯亮

出橙汁

出啤酒

找5角

找1元

E

E 选商品

钱付清

V

V

V

应该找零钱V

能够找零钱

V

因果图－5角钱付清

红灯亮

出橙汁

出啤酒

找5角

找1元

E

E

因果图－退还1元

有零钱

选橙汁

选啤酒投5角

投1元

红灯亮

出橙汁

出啤酒

找5角

找1元

E

E 选商品

钱付清

V

V

V

V

应该找零钱V

能够找零钱

V

V

判定表

去除无效用例

合并判定表

二，源程序：

#include

#include

main()

{ float a;

int b;

float LingQian=50;

system("graftabl 936");

clrscr();

B:

if(LingQian==0)

{

printf("\n零钱找完！红灯亮！\n");

}

printf("\n请投币：\n");

scanf("%f",&a);

if(LingQian==0&&a==1)

{printf("返回1元") ;

goto B;

};

if(a==0.5||a==1)

{

printf("请选择饮料:\n 1为可乐！ 2为啤酒！\n");

scanf("%d",&b);

if(a==1&&b==1)

{

printf("\n可乐 \n 找零：0.5元\n"); LingQian=LingQian-0.5;

}

else if(a==1&&b==2)

{

printf("\n啤酒 \n 找零： 0.5元\n"); LingQian=LingQian-0.5;

}

else if(a==0.5&&b==1)

{

printf("\n可乐\n");

LingQian=LingQian+0.5;

}

else if(a==0.5&&b==2)

{

printf("\n啤酒 \n");

LingQian=LingQian+0.5;

}

}

else

{goto B;} goto B;

}