一、实验目的
掌握逻辑覆盖法设计测试用例、下载并安装功能测试工具且熟悉脚本的录制
二、实验内容
1.
下载LoadRunner 工具，下载安装，录制邮箱登陆的脚本，并回放。如需了解打开登录页面到登录成功的时间，要怎样修改脚本？2.用逻辑覆盖法设计下面问题的测试用例。
result=∑=|
|0N k k ，且result 三、实验环境 Windows XP、LoadRunner 四、实验步骤 1、LoadRunner 工具录制测试 一、截取代码如下： vuser_init() { web_url("aHR0cDovL21haWwuMTI2LmNvbS8=", "URL=https://www.doczj.com/doc/8b18038437.html,/checkurl/aHR0cDovL21haWwuMTI2LmNvbS8=/?type=1&key =983333520", "Resource=0", "RecContentType=text/html", "Referer=", "Snapshot=t20.inf", "Mode=HTML", LAST); web_add_cookie("logType=df;DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("nts_mail_user=zvlvjv:-1:1;DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("NETEASE_SSN=zvlvjv;DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("P_INFO=zvlvjv@https://www.doczj.com/doc/8b18038437.html,|1630361621|0|mail163|11&17|1;DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("MAIL163_SSN=zvlvjv;DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("logType=df;DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("nts_mail_user=zvlvjv:-1:1;DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("NETEASE_SSN=zvlvjv;DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("P_INFO=zvlvjv@https://www.doczj.com/doc/8b18038437.html,|1630361621|0|mail163|11&17|1; DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("MAIL163_SSN=zvlvjv;DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_url("https://www.doczj.com/doc/8b18038437.html,", "URL=https://www.doczj.com/doc/8b18038437.html,/", "Resource=0", "RecContentType=text/html", "Referer=", "Snapshot=t21.inf", "Mode=HTML", EXTRARES, "Url=https://www.doczj.com/doc/8b18038437.html,/index/2009/img/bgimg2.jpg",ENDITEM, "Url=https://www.doczj.com/doc/8b18038437.html,/index/2009/img/2010countdown.jpg",ENDITEM, "Url=https://www.doczj.com/doc/8b18038437.html,/ggimg/163/img/091109_indexbg_menghuan.jpg", ENDITEM, "Url=https://www.doczj.com/doc/8b18038437.html,/p/dm3style/js/0906031436/engine1.js",ENDITEM, LAST); lr_think_time(20);/ web_url("cmVzOi8vZTolNWN0aGV3b3J-MSU1Y3RoZXdvcmxkLmV4ZS9OQVZJRVJSLkhUTSMtMj E0NjY5NzIwOCNodHRwczovL3JlZy4xNjMuY29tL2xvZ2lucy5qc3A-dHlwZT0xJnByb2R1Y3Q9bWFpb DEyNiZ1cmw9aHR0cDovL2VudHJ5Lm1haWwuMTI2LmNvbS9jZ2kvbnRlc2Rvb3I-aGlkJTNEMTAwMTAx MDIlMjZsaWdodHdlaWdodCUzRDElMjZ2", "URL=https://www.doczj.com/doc/8b18038437.html,/checkurl/cmVzOi8vZTolNWN0aGV3b3J-MSU1Y3RoZXdvcmxk LmV4ZS9OQVZJRVJSLkhUTSMtMjE0NjY5NzIwOCNodHRwczovL3JlZy4xNjMuY29tL2xvZ2lucy5qc3A -dHlwZT0xJnByb2R1Y3Q9bWFpbDEyNiZ1cmw9aHR0cDovL2VudHJ5Lm1haWwuMTI2LmNvbS9jZ2kvbn Rlc2Rvb3I-aGlkJTNEMTAwMTAxMDIlMjZsaWdodHdlaWdodCUzRDElMjZ2ZXJpZnljb29raWUlM0QxJ TI2bGFuZ3VhZ2UlM0QwJTI2c3R5bGUlM0QtMQ==/?type=1&key=983333520", "Resource=0", "RecContentType=text/html", "Referer=", "Snapshot=t22.inf", "Mode=HTML", EXTRARES, "Url=https://www.doczj.com/doc/8b18038437.html,/ErrorConfig/sina.json?t=3814","Referer=", ENDITEM, "Url=https://www.doczj.com/doc/8b18038437.html,/img/ia_1.gif","Referer=",ENDITEM, LAST); web_add_cookie("USERTRACK=222.76.5.196.1259676376299376; DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("_ntes_nnid=62309a4e7ecf8d784d31cfc369e43fd8,0; DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("_ntes_nuid=62309a4e7ecf8d784d31cfc369e43fd8; DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("Province=0590;DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("City=0591;DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("P_INFO=zvlvjv@https://www.doczj.com/doc/8b18038437.html,|1630361621|0|mail163|11&17|1; DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("vjuids=-2cefe9a48.1256d53573d.0.fd6deb9a5a3e1; DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("vjlast=1630259596.1630259596.30;DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("ntes_ucc=;DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("NTES_UFC=20100000000000011000000000000000000000000000000000 00000000000000;DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("isGd=0;DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("isFs=0;DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_add_cookie("MUSIC_BOX_STATE=-1,,;DOMAIN=https://www.doczj.com/doc/8b18038437.html,"); web_url("logins.jsp", "URL=https://https://www.doczj.com/doc/8b18038437.html,/logins.jsp?type=1&product=mail163&url=http://entry. https://www.doczj.com/doc/8b18038437.html,/cgi/ntesdoor?hid%3D10010102%26lightweight%3D1%26verifycookie%3D1%2 6language%3D0%26style%3D-1", "Resource=0", "RecContentType=text/html", "Referer=", "Snapshot=t23.inf", "Mode=HTML", EXTRARES, "Url=/img/newindex/b_bg.gif", "Referer=https://https://www.doczj.com/doc/8b18038437.html,/logins.jsp?type=1&product=mail163&url=http://entry. https://www.doczj.com/doc/8b18038437.html,/cgi/ntesdoor?hid%3D10010102%26lightweight%3D1%26verifycookie%3D1%2 6language%3D0%26style%3D-1",ENDITEM, "Url=/img/newindex/btn.gif", "Referer=https://https://www.doczj.com/doc/8b18038437.html,/logins.jsp?type=1&product=mail163&url=http://entry. https://www.doczj.com/doc/8b18038437.html,/cgi/ntesdoor?hid%3D10010102%26lightweight%3D1%26verifycookie%3D1%2 6language%3D0%26style%3D-1",ENDITEM, "Url=/img/newindex/top_titi.gif", "Referer=https://https://www.doczj.com/doc/8b18038437.html,/logins.jsp?type=1&product=mail163&url=http://entry. https://www.doczj.com/doc/8b18038437.html,/cgi/ntesdoor?hid%3D10010102%26lightweight%3D1%26verifycookie%3D1%2 6language%3D0%26style%3D-1",ENDITEM, "Url=/img/imgRight-2.gif", "Referer=https://https://www.doczj.com/doc/8b18038437.html,/logins.jsp?type=1&product=mail163&url=http://entry. https://www.doczj.com/doc/8b18038437.html,/cgi/ntesdoor?hid%3D10010102%26lightweight%3D1%26verifycookie%3D1%2 6language%3D0%26style%3D-1",ENDITEM, "Url=/img/newindex/t3.gif", "Referer=https://https://www.doczj.com/doc/8b18038437.html,/logins.jsp?type=1&product=mail163&url=http://entry. https://www.doczj.com/doc/8b18038437.html,/cgi/ntesdoor?hid%3D10010102%26lightweight%3D1%26verifycookie%3D1%2 6language%3D0%26style%3D-1",ENDITEM, "Url=/img/newindex/logo_bg2.gif", "Referer=https://https://www.doczj.com/doc/8b18038437.html,/logins.jsp?type=1&product=mail163&url=http://entry. https://www.doczj.com/doc/8b18038437.html,/cgi/ntesdoor?hid%3D10010102%26lightweight%3D1%26verifycookie%3D1%2 6language%3D0%26style%3D-1",ENDITEM, "Url=/img/newindex/t2.gif", "Referer=https://https://www.doczj.com/doc/8b18038437.html,/logins.jsp?type=1&product=mail163&url=http://entry. https://www.doczj.com/doc/8b18038437.html,/cgi/ntesdoor?hid%3D10010102%26lightweight%3D1%26verifycookie%3D1%2 6language%3D0%26style%3D-1",ENDITEM, LAST); lr_think_time(17); web_submit_data("logins.jsp_2", "Action=https://https://www.doczj.com/doc/8b18038437.html,/logins.jsp", "Method=POST", "RecContentType=text/html", "Referer=https://https://www.doczj.com/doc/8b18038437.html,/logins.jsp?type=1&product=mail163&url=http://e https://www.doczj.com/doc/8b18038437.html,/cgi/ntesdoor?hid%3D10010102%26lightweight%3D1%26verifycookie% 3D1%26language%3D0%26style%3D-1", "Snapshot=t24.inf", "Mode=HTML", ITEMDATA, "Name=url", "Value=https://www.doczj.com/doc/8b18038437.html,/cgi/ntesdoor?hid=10010102&lightweight=1&verify cookie=1&language=0&style=-1",ENDITEM, "Name=type","Value=1",ENDITEM, "Name=product","Value=mail163",ENDITEM, "Name=savelogin","Value=",ENDITEM, "Name=outfoxer","Value=",ENDITEM, "Name=domains","Value=",ENDITEM, "Name=syscheckcode","Value=ed7cacd7d7c9c92b769ed4cce84771c67d6415dd", ENDITEM, "Name=username","Value=zvlvjv@https://www.doczj.com/doc/8b18038437.html,",ENDITEM, "Name=password","Value=1232320",ENDITEM, "Name=Submit","Value=",ENDITEM, LAST); } 2、逻辑覆盖法设计 一、根据所给的条件画出数据注流程图，如下所示： |N| result= ∑=||0N k k result T T F F end 简化路径 (1)语句覆盖 要实现语句覆盖，覆盖程序中的所有可执行语句。 只要通过路径MKNJP 就可以语句覆盖。 测试用例输入为：{Max=6、N=3、K=3} 程序执行的路径是：MKNJP (2)判定覆盖 要实现判定覆盖，使每个判断的取真假经历一次 测试用例的输入为： {Max=56、N=10、K=10}；{Max=5、N=-3、K=3} 程序执行的路径分别是：MKNJP、MNP (3)条件覆盖 对于第一个判定(N 条件N 对于第二个判定(result 条件result 设计测试用例如下： 测试用例执行路径覆盖条件覆盖分支 Max=20、N=-5、K=10abcd T1、T2MKNJP Max=0、N=2、K=1aeg-T1、-T2MNP 路径覆盖 根据路径覆盖的基本思想，则可以实现路径覆盖： 测试用例执行路径覆盖条件 Max=6、N=2、K=3MNKJP T1、T2 Max=1、N=2、K=3MKNP T1、-T2 Max=1、N=5、K=1MNJP-T1、T2 Max=0、N=2、K=1MNP-T1、-T2 五、实验结果与讨论 成功完成实验内容 六、总结 通过此次实验，掌握了掌握逻辑覆盖法设计测试用例、下载并安装功能测试工具且熟悉脚本的录制，也了解了如何利用测试工具录制脚本与怎样修改脚本。 覆盖测试 1.为以下流程图所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖。 一、语句覆盖 二、判定覆盖 三、条件覆盖 对于第一个判定(X>8 AND Y>5) 条件X>8取真值记为T1，取假值记为-T1 条件Y>5取真值记为T2，取假值记为-T2 对于第二个判定(X>0 OR Y>0) 条件X>0取真值记为T3，取假值记为-T3 条件Y>0取真值记为T4，取假值记为-T4 对于第三个判定(X>16 OR Y>10) 条件X>16取真值记为T5，取假值记为-T5 四、判定/条件覆盖 五、组合覆盖 1、X>8, Y>5 记做T1 T2，第一个判定的取真分支 2、X>8, Y<=5 记做T1 -T2，第一个判定的取假分支 3、X<=8, Y>5 记做-T1 T2，第一个判定的取假分支 4、X<=8,Y<=5 记做-T1 -T2，第一个判定的取假分支 5、X>0,Y>0 记做T3 T4，第二个判定的取真分支 6、X>0,Y<=0 记做T3 -T4，第二个判定的取真分支 7、X<=0,Y>0 记做-T3 T4，第二个判定的取真分支 8、X<=0,Y<=0 记做-T3 -T4，第二个判定的取假分支 9、X>16,Y>10 记做T5 T6，第三个判定的取真分支 10、X>16,Y<=10 记做T5 –T6，第三个判定的取真分支 11、X<=16,Y>10 记做-T5 T6，第三个判定的取真分支 12、X<=16,Y<=10 记做-T5 –T6，第三个判定的取假分支 六、路径覆盖 基本路径测试方法2、使用基本路径测试方法，为以下程序段设计测试用例。 void Do (int X,int A,int B) { 1 if ( (A>1)&&(B=0) ) 2 X = X/A; 3 if ( (A=2)||(X>1) ) 4 X = X+1; 5 } 一、控制流图： 二、计算环形复杂度： 环形复杂度：V(G)=10-7+2=5或V(G)=4+1=5 三、导出独立路径（用语句编号表示） 路径1: 1A→1B→2→3A→4→5 路径2: 1A→1B→2→3A→3X→4→5 路径3: 1A→1B→2→3A→3X→5 路径4: 1A→1B→3A→4→5 路径5: 1A→3A→3X→5 四、设计测试用例： 1.引言 等价类划分方法和边界值分析方法，都是着重考虑输入条件，但未考虑输入条件之间的联系、相互组合等。考虑输入条件之间的相互组合，可能会产生一些新的情况。但要检查输入条件的组合不是一件容易的事情，即使把所有输入条件划分成等价类，他们之间的组合情况也相当多。因此必须考虑采用一种适合于描述对于多种条件的组合，相应产生多个动作的形式来考虑设计测试用例。这就需要利用因果图（逻辑模型）。 因果图（Cause-Effect Graphing）提供了一个把规格转化为判定表的系统化方法，从该图中可以产生测试数据。其中原因是表示输入条件，结果是对输入执行的一系列计算后得到的输出。 因果图方法最终生成的就是判定表，它适合于检查程序输入条件的各种组合情况。 2.因果图介绍 2.1图例说明 1、4种符号分别表示了规格说明中向4种因果关系。如图2-1所示。 图2-1 因果图关系 2、因果图中使用了简单的逻辑符号，以直线联接左右结点。左结点表示输入状态（或称原因），右结点表示输出状态（或称结果）。 3、ci表示原因，通常置于图的左部；ei表示结果，通常在图的右部。ci和ei均可取值0或1，0表示某状态不出现，1表示某状态出现。 2.2因果图概念 1、关系（图2-1 因果图关系） ①恒等：若ci是1，则ei也是1；否则ei为0。 ②非：若ci是1，则ei是0；否则ei是1。 ③或：若c1或c2或c3是1，则ei是1；否则ei为0。“或”可有任意个输入。 ④与：若c1和c2都是1，则ei为1；否则ei为0。“与”也可有任意个输入。 2、约束 输入状态相互之间还可能存在某些依赖关系，称为约束。例如，某些输入条件本身不可能同时出现。输出状态之间也往往存在约束。在因果图中，用特定的符号标明这些约束。如图2-2所示。 图2-2因果图约束 .输入条件的约束有以下4类： ①E约束（异）：a和b中至多有一个可能为1，即a和b不能同时为1。 ②I约束（或）：a、b和c中至少有一个必须是1，即a、b 和c不能同时为0。 ③O约束（唯一）；a和b必须有一个，且仅有1个为1。 ④R约束（要求）：a是1时，b必须是1，即不可能a是1时b是0。 B.输出条件约束类型 输出条件的约束只有M约束（强制）：若结果a是1，则结果b强制为0。 2.3因果图法设计测试用例步骤 1、分析待测得系统规格，找出原因与结果 分析软件规格说明描述中，那些是原因(即输入条件或输入条件的等价类)，那些是结果(即输出条件), 并给每个原因和结果赋予一个标识符。 2、画出因果图 三角形基本路径覆盖测试 于名飞学号2220130799 刘振昌学号2220130793 陈诗明学号2220120200 张超宁学号2220120210 王永峰学号2220120193 1三角形基本路径覆盖测试 对于上述三角形基本路径覆盖测试程序流程，根据条件判定来生成测试用例，得到的测试用例如下： 用例输入取值覆盖路径 case1 a=8, b=9, c=10 0→1→3→5→7→8→9→10→11 case2 a=8, b=20, c=9 0→1→3→5→7→8→9→10→12 case3 a=20, b=8, c=9 0→1→3→5→7→8→9→12 case4 a=8, b=9, c=30 0→1→3→5→7→8→12 case5 a=10, b=10, c=30 0→1→2→3→5→7→13→14→12 case6 a=10, b=10, c=9 0→1→2→3→5→7→13→14→15 case7 a=10, b=30, c=10 0→1→3→4→5→7→13→16→17→12 case8 a=10, b=9, c=10 0→1→3→4→5→7→13→16→17→15 case9 a=30, b=10, c=10 0→1→3→5→6→7→13→16→18→19→12 case10 a=9, b=10, c=10 0→1→3→5→6→7→13→16→18→19→15 case11 a=10, b=10, c=10 0→1→2→3→4→5→6→7→13→16→18→20 2开发环境 操作系统: Window7 开发环境: VS2008、C# 运行环境: Window 2000/XP/2003/7/8、.net FrameWork 2.0 屏幕分辨率要求大于1024x768 3编程思路 完成该系统，实现基本的判定条件和路径覆盖，从编程的角度来说比较简单，但为了能够实现较好的可视化效果，希望能够将程序执行路径的每一步分别顺序输出，并能够在可视化的流程图上动态展现出来。 3.1参考故障树知识库来表示流程 为了达到较好的可视化效果，这里面将路径执行过程参考故障树知识库的形式进行组织。 1)产生式知识表示法 产生式表示方法由前提和结论两部分组成，这种格式容易对知识进行扩展，有助于系统推理的实现。其基本形式如下： IF P THEN R 其中，P代表产生式规则的前提，R代表该规则的结论或操作。例如： IF “a=b”THEN “将match+1” 2)调度器 按照系统建造者所给的控制知识，从议程中选择一个项作为系统下一步要执行的动作。 3)执行器 应用知识库中的及黑板中记录的信息，执行调度器所选定的动作。 白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、Z路径覆盖、程序变异。 其中运用最为广泛的是基本路径测试法。 基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。 设计出的测试用例要保证在测试中程序的每个可执行语句至少执行一次。 在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例。包括以下4个步骤和一个工具方法： 1. 程序的控制流图：描述程序控制流的一种图示方法。 2. 程序圈复杂度：McCabe复杂性度量。从程序的环路复杂性可导出程序基本路径集合中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上界。 3. 导出测试用例：根据圈复杂度和程序结构设计用例数据输入和预期结果。 4. 准备测试用例：确保基本路径集中的每一条路径的执行。 工具方法： 图形矩阵：是在基本路径测试中起辅助作用的软件工具，利用它可以实现自动地确定一个基本路径集。 程序的控制流图：描述程序控制流的一种图示方法。 圆圈称为控制流图的一个结点，表示一个或多个无分支的语句或源程序语句 流图只有二种图形符号： 图中的每一个圆称为流图的结点，代表一条或多条语句。 流图中的箭头称为边或连接，代表控制流 任何过程设计都要被翻译成控制流图。 如何根据程序流程图画出控制流程图? 在将程序流程图简化成控制流图时，应注意： n 在选择或多分支结构中，分支的汇聚处应有一个汇聚结点。 n 边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为一个区域。 如下页图所示 n 如果判断中的条件表达式是由一个或多个逻辑运算符(OR, AND, NAND, NOR) 连接的复合条件表达式，则需要改为一系列只有单条件的嵌套的判断。 例如： 1 if a or b 2 x 3 else 4 y 对应的逻辑为： 测试用例设计方法之因果图法 (一)因果图法的来源 大家熟悉的等价类划分法和边界值分析法，都是着重考虑输入条件，但未考虑输入条件之间的联系、相互组合等； 但是，如考虑所输入条件之间的相互组合，会由于组合情况数目相当大，需要大量的测试用例； 因果图法，是一种帮助人们系统地选择一组高效率测试用例的方法。(二)因果图法的特点 考虑输入条件间的组合关系； 考虑输出条件对输入条件的信赖关系，即因果关系； 测试用例发现错误的效率高； 能检查出功能说明中的某些不一致或遗漏； 因果图方法最终生产的就是判定表，它适合于检查程序输入条件和各种组合情况。 (三)因果图法基本步骤 1.分割功能说明书 对于规模比较大的程序来说，由于输入条件的组合数太大，所以很难整体上使用一个因果图。我们可以把它划分为若干部分，然后分别对每个部分使用因果图。例如，测试编译程序时，可以把每个语句作为一个部分。 2.识别出“原因”和“结果”，并加以编号 所谓原因，是指输入条件或输入条件的等价类；而结果则是指输出条件或输出条件的等价类。每个原因或结果都对应于因果图中的一个节点。当原因或结果成立（或出现）时，相应的节点取值为1，否则为0。 例如，有一个饮料自动售货机（处理单价为5角钱）的控制处理软件，它的软件规格说明如下： 若投入5角钱的硬币，按下“橙汁”或“啤酒”的按钮，则相应的饮料就送出来。若投入1元钱的硬币，同样也是按“橙汁”或“啤酒”的按钮，则自动售货机在送出相应饮料的同时退回5角钱的硬币。 分析这一段说明，我们可以列出原因和结果。 原因如下： ?投入1元硬币； ?投入5角硬币； ?按下“橙汁”按钮； ?按下“啤酒”按钮 结果 ?退还5角钱； ?送出“橙汁”饮料； ?送出“啤酒”饮料 3.根据功能说明书中规定的原因和结果之间的关系画出因果图 因果图的基本符号如图1所示： 1.因果图的基本符号 图中左边的节点表示原因，右边的节点表示结果。恒等、非、或、与的含义： ?恒等：若a=1，则b=1；若a=0，则b=0； ?非：若a=1，则b=0，若a=0，则b=1； ?或：若a=1或b=1或c=1，则d=1；若a= b= c=0，则d=0； ?与：若a= b= c=1，则d=1；若a=0或b=0或c=0，则d=0。 画因果图时，原因在左，结果在右，由上而下排列，并根据功能说明书中规定的原因和结果之间的关系，用上述基本符号连接起来。在因果图中还可以引入一些中间节点。 江西工业职业技术学院 毕业综合实践 课题名称：安卓手机计算器 作者：廖杰学号：20112715 分院：电子与信息工程分院 专业：计算机网络技术 指导老师：占华为专业技术职务讲师 2013年 11 月 14日 一、问题描述： 用Java实现求两整数的加、减、乘、除运算结果，要求两整数的范围都是[0,100]。从键盘输入数m，数n，判断他们的范围，若不在[0,100]范围内，则输出提示语，要求重新输入，并且在做除法运算时，当除数为0时，输出提示语，说明除数不能为0。 将两数的范围定在[0,100]，以更好的进行边界值分析，等价类测试等黑盒测试方法；为充分体现白盒测试的特点，有些地方故意用了if-else语句，while循环；另外，加、减、乘、除运算分别用了四个函数来计算，这样既可以在主函数中调用，又可以在Junit框架中分别对这四种运算进行测试。 二、程序源代码： 1. import java.util.Scanner; 2. public class Computer { 3. private int a; 4. private int b; 5. public Computer (int x,int y) //构造函数，初始化 6. { 7. a=x; //注意：Juint中需要输入测试值在0~100范围内 8. b=y; 9. } 10. public double add() //加法 11. { 12. return a+b; 13. } 14. public double minus() //减法 15. { 16. return a-b; 17. } 18. public double multiply() //乘法 路径覆盖测试 吕金和 （沈阳市电化教育馆，辽宁沈阳 110032） 摘要随着软件的广泛应用及其规模和复杂度不断地提高，软件测试的方法也有许多。本文讨论了完全路径覆盖测试方法和基于控制流图的路径测试的改进方法。 关键词完全路径覆盖；基于控制流图 1 引言 软件测试的步骤是单元测试、集成测试、系统测试、确认测试和回归测试。单元测试是软件测试的基本组成部分，也是最重要的部分之一。而单元测试主要采用的是白盒测试的技术。 白盒测试又称结构测试、逻辑驱动测试或基于程序的测试。一般用来分析程序的内部结构。它依赖于对程序细节的严密验证，针对特定条件和循环设计测试用例，对程序的逻辑路径进行测试。通过在程序的不同点检验程序状态，来判定其实际情况是否和预期的状态相一致。 用这种方法进行程序测试时，测试者可以看到被测程序，并利用其分析程序的内部构造。因此，白盒测试要求对被测程序的结构特性做到一定程度的覆盖，并以软件中的某类成分是否都已经得到测试为准则来判断软件测试的充分性，也称为基于覆盖的测试技术。例如，语句覆盖是一种逻辑覆盖准则，它要求选择测试数据使得程序中所有语句都得到运行，并根据是否所有语句都得到了运行来决定测试是否可以终止。到目前为止，已提出了几十种覆盖技术。 在这些覆盖的技术中，覆盖率最高的就是路径覆盖技术。路径覆盖，要求程序的每条可能路径都至少执行一次，如果程序中有环，则要求每个环至少经过一次。一般来说，语句覆盖是很弱的逻辑覆盖标准，判断覆盖比语句覆盖强，条件覆盖通常比判定覆盖强，判定一条件覆盖是判定覆盖和条件覆盖的综合，条件组合覆盖则比前面几种覆盖标准要强，但并不一定比路径覆盖强，下面我们讨论的完全路径覆盖测试方法和基于控制流图的路径测试的改进方法研究。 2 完全路径覆盖测试方法 虽然路径覆盖是覆盖率最高的，但是，简单的程序路径数量很少，而复杂的程序路径数量巨大，要实现路径覆盖几乎不可能，即测试量过大；另外，即使满足了程序结构一般意义上的路径覆盖，仍然不能保证被测程序的正确性，即测试不足。如果要求测试更加充分，则要求增加更多的测试用例来提高覆盖率，测试量会更大，于是，测试中就产生了测试量过大和测试不足这一对矛盾。 对于独立路径数的计算可以采用下面的方法： 第一步，从流图中找出程序所有的必经节点（流图中任何独立路径都必定经过的节点叫做必经节点），记作Ⅳ（i），其中i为整数且0 <= i <= N。 第二步，从流图中找出从必经节点N（i）到必经节点N（i+1）的独立路径数W（i），其中i 为整数且0 <= i < N 。 第三步，重复上一步，直到程序结尾。 第四步，根据乘法法则，独立路径数= W（i），其中i为整数且0 <= i < N，即独立路径数=W（0） * W（1） * ? * W（N一1）。 完全路径是指所有独立路径的集合，非完全路径就是所有独立路径集合的真子集。由于程序中可能会包含有多个条件的判定，所以程序流程图可能包含有隐含路径，从而有程序流图转换成的对应流图可能包含有隐藏路径。如图1、图2所示。 计算器测试报告 计算器测试报告 共 7 页 拟制孙姝萍2014 年 4 月24 日审核李晨曦2014 年 4 月25 日会签易厚旭2014 年 4 月25 日 1 范围 本文档适用于windows计算器的功能测试。 1.2 系统概述 使用“计算器”可以完成任意的通常借助手持计算器来完成的标准运算。“计算器”可用于基本的算术运算，比如加减运算等。同时它还具有科学计算器的功能，比如对数运算和阶乘运算等。 1.3 文档概述 本文档用于对windows计算器的测试工作阶段成果的描述。包括对软件测试的整体描述，软件测试的分类和级别，软件测试的过程描述，软件测试的结果等内容。 2 使用文档 《计算器帮助文档》 《计算器测试计划》 《计算器测试用例》 3 测试概述 本次测试主要完成一下目标： 1.执行简单的加减乘除运算，记录结果 2.执行科学计算，记录结果 3.执行统计计算，记录结果 4.在标准型和科学型间转换数据，记录结果； 5.使用数字分组，查看结果； 3.1 测试小结 本次测试对windows计算器进行了功能测试，重要依据为计算器的帮助文档所描述的功能。测试工作分为三个阶段。第一阶段进行了测试计划制定，第二阶段测试用例设计、第三阶段执行测试。 测试过程中，使用了自动化测试（QTP）和人工测试两种方法，分别记录了测试结果和画面截屏。 测试结果表明，windows计算器的功能比较完善，基本符合用户需求。 3.2 测试结果记录 目标1：执行简单的加减乘除运算 错误为超出范围。此时使用人工测试截屏。如下： 当超出范围时，显示如上。 目标2：执行科学计算 实际输出见测试用例文档，测试结果表明，计算器功能完善。目标3：执行阶乘 以中国象棋中走马的测试用例设计为例学习因果图的使用方法。 分析中国象棋中走马的实际情况（下面未注明的均指的是对马的说明） 1如果落点在棋盘外，则不移动棋子； 2、如果落点与起点不构成日字型，则不移动棋子； 3、如果落点处有自己方棋子，则不移动棋子； 4、如果在落点方向的邻近交叉点有棋子（绊马腿），则不移动棋子； 5、如果不属于1-4条，且落点处无棋子，则移动棋子； 6、如果不属于1-4条，且落点处为对方棋子（非老将），则移动棋子并除去对方棋子； 7、如果不属于1-4条，且落点处为对方老将，则移动棋子，并提示战胜对方，游戏结束。原因：结果： 1、落点在棋盘上； 2、落点与起点构成日字； 3、落点处为自己方棋子； 4、落点方向的邻近交叉点无棋子； 5、落点处无棋子； 6、洛点处为对方棋子（非老将）； 7、洛点处为对方老将。21、不移动棋子； 22、移动棋子； 23、移动棋子，并除去对方棋子； 24、移动棋子，并提示战胜对方，结束游戏。 L2345678 111110000 2]101I00 3L3101c10 11111100 2200001 2101000 23（.1010] 测试 用例 A3 A8 AR A? R5 B4 RN ur Cl X6 SD PS 考虑结果不能同时发生，所以对其施加唯一约束施加异约束E。 根据因果图建立判定表：（分为两表）0。原因5、6、7不能同时发生，所以对其 添加中间节点11，目的是作为导出结果的进一步原因，简化因果图导出的判定表 注：1、以上判定表中由于表格大小限制没有列出最后所选的测试用例；2、第2表中部分列被合并表示不可能发生的现象；3、通过中间节点将用例的判定表简化为两个小表。减少工 作量。 四、根据判定表写测试用例表（略） 各种覆盖率方法介绍STIN-GZH提供作者：三原 下载：https://www.doczj.com/doc/8b18038437.html, 1 简介 1.1 代码覆盖率分析 这篇文章给出了一个完整的代码覆盖率分析方面的概念。 代码覆盖率分析是这样一个过程： · 找出程序经过一系列测试而没有执行的部分代码 · 创建一个附加的测试用例来增加覆盖率 · 决定代码覆盖的定量度量。 代码覆盖率分析的一个有效方面是： · 识别出没有增加覆盖率的无效的测试用例。 覆盖率分析需要被测试程序的源代码，并且经常需要用一个特殊的命令重新编译它。这篇文章讨论你应当考虑你的测试计划中应该如何增加覆盖率分析的细节问题。覆盖率分析有一定的好处和弱点。你应该选择一个测量方法的范围。你应该建立一个覆盖率要达到的最小百分比，来决定你什么时候停止覆盖率分析。覆盖率分析只是许多测试技术的一种，你不能只是依靠它。 1.2 结构化测试和功能测试（Structural testing&Functional testing） 代码覆盖率分析是一种结构化测试技术(AKA glass box testing and white box testing). 结构化测试是比较被测试程序的行为和源代码的外观目的。和功能测试相比(AKA black-box testing), 功能测试是比较被测试程序的行为和确定的需求。结构化测试检查程序的工作，考虑结构中可能存在的逻辑缺陷。功能测试检查被测试程序的完成需求的能力，不考虑它是怎么工作的。 结构化测试也叫路径测试（path testing）， 因为你选择测试用例来通过程序结构的路径。不要和路径覆盖率度量（path coverage）混淆，下面会介绍。 粗略的看，结构化测试似乎不安全，结构化测试不能发现需求疏忽的错误，但是，需求定义有时并不存在，而且并不完整。这个现象是实际存在的，当产品开发的时间线就要到的时候，当需求定义很少更新，产品自身代替了需求定义的作用的时候。 1.3 假定 一些基本原理的假定如下所列： · Faults ―――和控制流相关的缺陷，你可以发现这些缺陷通过变更控制流[Beizer1990 p.60]。例如，一个程序写为"if (c)" 比"if (!c)"好。 · 你可以寻找缺陷而不必知道这个缺陷可能引起的后果和所有测试的可靠性。 · 其它的假定包括可完成需求的定义、没有疏忽的缺陷和没有不可以达到的代码等。 计算器黑盒测试 一、测试目的 按照等价类法设计测试用例、使用边界值法设计测试用例 二、测试内容 (一)、实现一个小的计算器程序，只需要完成加、减、乘、除运算，用等价类法设计 测试用例，进行测试。然后假设运算数值的范围在0到100之间，使用边界值法设计测试用例，并测试。 三、测试步骤 (一)、计算器： （1）等价类测试： 1、4个等价类测试用例的分析过程如下: 2、对应测试的结果： 整型： 1.加（60+50） 2.减（55-31） 3.乘（22*23） 4.除（65/21） 小数 1.加(24.1+65.3) 2.减(77.6-54.2) 3.乘(23.6*33.7) 4.除(6 5.3/23.6) 5.(其中算式写法错误导致正常运算错误) 负数 6.加 -55+-76 7.减((-38)-(-54)) 8.乘-54*-12 (其中算式写法错误导致正常运算错误) 9.除 65.3/23.6 (其中算式写法错误导致正常运算错误) 无效输入 1．加（e5+t6）： 程序中无效数字无法正常输入，程序无法进行。 2．减（g6-k4） 程序中无效数字无法正常输入，程序无法进行。（同上）3．乘（i6*l9） 程序中无效数字无法正常输入，程序无法进行。（同上）4．除（Ff/se） 程序中无效数字无法正常输入，程序无法进行。（同上）（2）边界值法设计测试： 加法： 1、计算器4个标准等价类测试用例的分析过程如下: 2、对应测试与结果： 测试结果运算均属正常，对应的部分的示图如下：Test1结果： Test2结果： Test3结果： Test4结果： Test5结果： 有一个求平均值的过程Averagy,用PDL 描述如下： PROCEDURE Averagy; INTERFACE RETURNS average,total.input,total.valid; INTERFACE ACCEPTS value,minimum,maximum,sum IS SCALAR; TYPE valid[0..100] IS SCALAR ARRAY; TYPE averagy,total.input,total.valid,minimum,maximum,sun IS SCALAR; TYPE i IS INTEGER; i = 1; total.input=total.valid = 0; sum=0; increment total.input by 1; THEN increment total.valid by 1; sum= sum + value[i]; ELSE skip ENDIF; increment i by 1; ENDDO T HEN averagy = sum / total.valid; E LSE averagy = -999; ENDIF END Averagy ? 由过程导出控制流图 ? 计算得到的控制流图的环路复杂度 V(G)=6 ? 确定线性无关的基本路径 计算出的环路复杂性的值，就是该图已有的 线性无关基本路径集中的路径数目： Path1:1-2-10-11-13 Path2:1-2-10-12-13 Path3:1-2-3-10-11-13 Path4:1-2-3-4-5-6-7-8-9-2 Path5:1-2-3-4-5-6-8-9-2 Path6:1-2-3-4-5-8-9-2 ? 准备测试用例，确保基本路径集中的每一 条路径的执行。 根据判定结点给出的条件，选择适当的数据， 以保证某一条路径可以被测试到，满足上例基本路 径集的测试用例： Path1: 输入数据 value[k]=有效输入，限于 k 测试用例设计方法 1等价类划分 1.1 理论知识 等价类划分是一种典型的黑盒测试方法。这一方法完全不考虑程序的内部结构，只依据程序的规格说明来设计测试用例。 等价类是指某个输入域的子集合。在该子集合中，各个输入数据对于揭示程序中的错误都是等效的。 等价类合理地假设：某个等价类的代表值，与该等价类的其他值，对于测试来说是等价的。 因此，可以把全部的输入数据划分成若干的等价类，在每一个等价类中取一个数据来进行测试。这样就能以较少的具有代表性的数据进行测试，而取得较好的测试效果。 等价类划分是把所有可能的输入数据,即程序的输入域划分成若干部分（子集）,然后从每一个子集中选取少数具有代表性的数据作为测试用例.该方法是一种重要的,常用的黑盒测试用例设计方法. 1) 分类： 划分等价类: 等价类是指某个输入域的子集合.在该子集合中,各个输入数据对于揭露程序中的错误都是等效的.并合理地假定:测试某等价类的代表值就等于对这一类其它值的测试.因此,可以把全部输入数据合理划分为若干等价类,在每一个等价类中取一个数据作为测试的输入条件,就可以用少量代表性的测试数据.取得较好的测试结果.等价类划分可有两种不同的情况:有效等价类和无效等价类. 有效等价类:是指对于程序的规格说明来说是合理的,有意义的输入数据构成的集合.利用有效等价类可检验程序是否实现了规格说明中所规定的功能和性能. 无效等价类:与有效等价类的定义恰巧相反. 设计测试用例时,要同时考虑这两种等价类.因为,软件不仅要能接收合理的数据,也要能经受意外的考验.这样的测试才能确保软件具有更高的可靠性. 2）划分等价类的方法: 下面给出六条确定等价类的原则： ①在输入条件规定了取值范围或值的个数的情况下,则可以确立一个有效等价类和两个无效等价类. ②在输入条件规定了输入值的集合或者规定了“必须如何”的条件的情况下,可确立一个有效 一、实验目的 针对实验一编写的源代码进行白盒测试。要求绘制出程序的控制流图，采用逻辑覆盖和基路径方法设计测试用例。执行测试用例，并分析测试结果。如果是C++源码，请使用C++Test对代码进行静态检查和动态测试。如果是Java源码，请使用JUnit进行动态测试。 二、实验内容 （一）、题目白盒测试 （1）画控制流图 （2）设计测试用例，实现语句覆盖、判定覆盖、条件覆盖、基路径测试 （3）练习用单元测试 （4）测试结果分析 （二）实验过程 （1）针对计算器的黑盒测试的基础上，可以根据实验一的源代码进行白盒测试，以下是程序的流程图以及控制流图 （2）设计测试用例，实现语句覆盖、判定覆盖、条件覆盖、基路径测试 判定覆盖测试用例： 每个判定必须至少获得一次“真”值和“假”值，则测试用例： 条件覆盖测试用例： 表 9 条件覆盖 路径覆盖： 测试用例要求覆盖所有可能的路径： 表10 路径覆盖 条件组合覆盖： 表11 条件组合覆盖 基路径测试 （1）程序环路复杂度：V(G)=E-N+2=13-11+2=4 （2）独立路径： Path1：1-2-3-11 Path2：1-2-4-5-10-11 Path3：1-2-4-6-7-9-10-11 Path4：1-2-4-6-8-9-10-11 （三）实验结果测试 由于程序是用MFC写的计算器的程序，所以在进行测试的时候有点困难，没有很好的辅助工具来进行具体的测试，但是在分析的时候我很细致的列举了各类的测试用例，以达到测试用例的完整，同时保证测试结果的正确性 （四）测试用例设计体会： 在这次软件测试过程中，我扮演了用户、程序员、测试员三钟角色，为了充分体现黑盒、白盒的特点，我特意设计了一个0—100之间的整数、小数。负数简单加减乘除运算。 对于白盒测试，在设计测试用例时首先对程序进行分析，从程序的内部结构出发设计测试用例，涉及到程序的控制方法、源语句、编码细节、数据库设计等。设计测试用例时应用了白盒测试中的多种测试方法，其中包括：测试覆盖（语句覆盖、分支覆盖、分支条件覆盖等）、基路径测试等方法。白盒测试中，对代码的测试比较透彻，但不容易生成测试用例，而且测试工作量很大，。因为白盒测试是基于代码的基础上，所以对变量的定义、数据的分析、精度的度量都有严格的要求。 总之，在这次测试设计让我对软件测试有了一个深入了解，对于测试方法、测试过程，都有了较好的认识，学会了如何进行黑盒测试、白盒测试、以及一些测试工具（如Junit）。当然，对于以后企业上的软件测试，还有待很大的提高。 白盒测试中的六种覆盖方法 摘要：白盒测试作为测试人员常用的一种测试方法，越来越受到测试工程师的重视。白盒测试并不是简单的按照代码设计用例，而是需要根据不同的测试需求，结合不同的测试对象，使用适合的方法进行测试。因为对于不同复杂度的代码逻辑，可以衍生出许多种执行路径，只有适当的测试方法，才能帮助我们从代码的迷雾森林中找到正确的方向。本文介绍六种白盒子测试方法：语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖、路径覆盖。 白盒测试的概述 由于逻辑错误和不正确假设与一条程序路径被运行的可能性成反比。由于我们经常相信某逻辑路径不可能被执行, 而事实上,它可能在正常的情况下被执行。由于代码中的笔误是随机且无法杜绝的，因此我们要进行白盒测试。 白盒测试又称结构测试,透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的,你清楚盒子内部的东西以及里面是如何运作的。 白盒的测试用例需要做到： ·保证一个模块中的所有独立路径至少被使用一次 ·对所有逻辑值均需测试 true 和 false ·在上下边界及可操作范围内运行所有循环 ·检查内部数据结构以确保其有效性 白盒测试的目的：通过检查软件内部的逻辑结构，对软件中的逻辑路径进行覆盖测试；在程序不同地方设立检查点，检查程序的状态，以确定实际运行状态与预期状态是否一致。 白盒测试的特点：依据软件设计说明书进行测试、对程序内部细节的严密检验、针对特定条件设计测试用例、对软件的逻辑路径进行覆盖测试。 白盒测试的实施步骤： 1.测试计划阶段：根据需求说明书，制定测试进度。 2.测试设计阶段：依据程序设计说明书，按照一定规范化的方法进行软件结构划分和设计测试用例。 3.测试执行阶段：输入测试用例，得到测试结果。 4.测试总结阶段：对比测试的结果和代码的预期结果，分析错误原因，找到并解决错误。 白盒测试的方法：总体上分为静态方法和动态方法两大类。 1.白盒测试用例设计方法 1.1. 白盒测试概述 由于逻辑错误和不正确假设与一条程序路径被运行的可能性成反比。由于我们经常相信某逻辑路径不可能被执行，而事实上，它可能在正常的情况下被执行。由于代码中的笔误是随机且无法杜绝的，因此我们要进行白盒测试。 白盒测试又称结构测试，透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的，你清楚盒子部的东西以及里面是如何运作的。 1.白盒的测试用例需要做到 ?保证一个模块中的所有独立路径至少被使用一次； ?对所有逻辑值均需测试true 和false； ?在上下边界及可操作围运行所有循环； ?检查部数据结构以确保其有效性。 2.白盒测试的目的 通过检查软件部的逻辑结构，对软件中的逻辑路径进行覆盖测试；在程序不同地方设立检查点，检查程序的状态，以确定实际运行状态与预期状态是否一致。 3.白盒测试的特点 依据软件设计说明书进行测试、对程序部细节的严密检验、针对特定条件设计测试用例、对软件的逻辑路径进行覆盖测试。 4.白盒测试的实施步骤 1）测试计划阶段：根据需求说明书，制定测试进度。 2）测试设计阶段：依据程序设计说明书，按照一定规化的方法进行软件结构划分和设计测试用例。 3）测试执行阶段：输入测试用例，得到测试结果。 4）测试总结阶段：对比测试的结果和代码的预期结果，分析错误原因，找到并解决错误。 5.白盒测试的方法 总体上分为静态方法和动态方法两大类。 ?静态分析：是一种不通过执行程序而进行测试的技术。静态分析的关键功能是检查软件的表示和描述是否一致,没有冲突或者没有歧义。 ?动态分析：主要特点是当软件系统在模拟的或真实的环境中执行之前、之中和之后, 对软件系统行为的分析。动态分析包含了程序在受控的环 境下使用特定的期望结果进行正式的运行。它显示了一个系统在检查状 态下是正确还是不正确。在动态分析技术中,最重要的技术是路径和分支 测试。下面要介绍的六种覆盖测试方法属于动态分析方法。 6.白盒测试的优缺点 ?优点：迫使测试人员去仔细思考软件的实现；可以检测代码中的每条分支和路径；揭示隐藏在代码中的错误；对代码的测试比较彻底； 最优化 ?缺点：费用昂贵；无法检测代码中遗漏的路径和数据敏感性错误； 不验证规格的正确性。 1.2. 白盒测试基本技术 1.2.1.控制流图 1.2.1.1.定义 程序流程图是软件开发过程中进行详细设计时，表示模块部逻辑的一个常用的、也非常有效的图示法。程序流程图详细地反映了程序部控制流的处理和转移过程，它一般是进行模块编码的参考依据。在程序流程图中，通常拥有很多种图示元素，例如，“矩形框”表示一个计算处理过程，而“菱形框”表示一个判断条件等。通常测试人员为某个程序模块做白盒测试过程中，在做与路径相关的各种分析的时候，这些非常细节的信息往往是不太重要。因此，为了更清晰突出地显示出程序的控制结构，反映控制流的转移过程，一种简化了的程序流程图便出现了，就是程序的控制流图。在控制流图中一般只有两种简单的图示符号：节点和控制流。 A. a>=1&&a<=5 B. b>=1&&b<=12 C. d>=10001&&d<=32767 D. a[i].kahao!=d D1. b=1&&b=2; D2. b=1&&b=2; E. a[i].m[b].yfgz>=0; F. a[i].m[b].sf>=0 G. a[i].m[b].df>=0 H. b=1&&b=2 I strcmp(a[i].xingming,c)==0)&&i T A. a>=1&&a<=5 TB. b>=1&&b<=12 TC. d>=10001&&d<=32767 TD. a[i].kahao!=d TD1. b=1TD2. b=1 TE. a[i].m[b].yfgz>=0; TF. a[i].m[b].sf>=0 TG. a[i].m[b].df>=0 TH. b=1TI strcmp(a[i].xingming,c)==0)&&i 命题 有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1 元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。分析 根据该命题，我们可以分析出，自动售货机的业务中一共存在5个条件和5个结果，分别是：条件： 1.售货机有零钱找 2.投入1元硬币 3.投入5角硬币 4.押下橙汁按钮 5.押下啤酒按钮 结果： 1.售货机〖零钱找完〗灯亮???当售货机中没有零钱的时候就有亮红灯 2.退还1元硬币当投入1元，而且售货机中没有零钱可找的时候 3.退还5角硬币????????????当投入1元，而且售货机中有零钱可找的时候 4.送出橙汁饮料 5.送出啤酒饮料 因果图－画条件和结果 因果图－画简单关系 在画完空白的条件和结果之后，我们可以将题目中最直接和简单的因果条件标出 1、条件“有零钱”和结果“红灯亮”是一个“非”的关系，当“有零钱”的时候，红灯是不亮的，而当售货机中“没有零钱”的时候，红灯必须要亮的。 2、条件“投1元”和条件“投5角”是一个“E”的关系，这两个动作不可能同时发生，即同时投入1元钱和5角钱（不能同时为真）；但是我们允许即“不投入1元钱”也“不投入5角钱”（可以同时为假）。 3、条件“选啤酒”和条件“选橙汁”是一个“E”的关系，这两个动作不可能同时发生，即同时“选择啤酒”和“选择橙汁”（不能同时为真）；但是我们允许即“不选择啤酒”也“不选择橙汁”（可以同时为假）。 4、条件“选啤酒”和条件“选橙汁”对于程序处理过程是等价的，即二者无论是价格还是系统的处理方法都是相同的，因此这两个条件可以合并为一个中间节点。而且这两个条件之间使用“或”的关系。 5、注意，条件“投1元”和条件“投5角”不是等价关系，表面上看，他们都是“钱”，好像差不多，但是对于程序的处理过程确实完全不同的，“投5角”后完全不用判断当前售货机中是否有零钱（因为题目中规定所有的商品都是5角钱），而“投1元”就不行了。 因果图－送出商品 现在我们从结果的角度考虑，要想“出啤酒”或者“出橙汁”，从现实买卖中分析必须要有什么先决条件呢？是的，就是“你的钱要付清”，而且你一定要选择了“啤酒”或者“橙汁”才行。而在上面的已有因果图中，我们无法找到“钱付清”的因素，因此这时候我们可以试着再加一个中间节点，就叫“钱付清”吧。 要想获得选中的商品，则条件“钱付清”和条件“选啤酒/选橙汁”必须要同时成立，因此是“与”的关系。 因果图－应该找零钱 根据题意，当投入1元钱，而且又选中了某一种商品的时候，系统是需要找零钱的。而现有条件和结果中并没有涉及到“应该找零钱”这种情况，因此我们还需要增加一个中间节点“应该找零钱”。 浅谈：白盒测试中的六种覆盖方法 白盒测试作为测试人员常用的一种测试方法，越来越受到测试工程师的重视。白盒测试并不是简单的按照代码设计用例，而是需要根据不同的测试需求，结合不同的测试对象，使用适合的方法进行测试。因为对于不同复杂度的代码逻辑，可以衍生出许多种执行路径，只有适当的测试方法，才能帮助我们从代码的迷雾森林中找到正确的方向。本文介绍六种白盒子测试方法：语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖、路径覆盖。 白盒测试的概述 由于逻辑错误和不正确假设与一条程序路径被运行的可能性成反比。由于我们经常相信某逻辑路径不可能被执行, 而事实上,它可能在正常的情况下被执行。由于代码中的笔误是随机且无法杜绝的，因此我们要进行白盒测试。 白盒测试又称结构测试,透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的,你清楚盒子内部的东西以及里面是如何运作的。 白盒的测试用例需要做到： ·保证一个模块中的所有独立路径至少被使用一次 ·对所有逻辑值均需测试true 和false ·在上下边界及可操作范围内运行所有循环 ·检查内部数据结构以确保其有效性 白盒测试的目的：通过检查软件内部的逻辑结构，对软件中的逻辑路径进行覆盖测试；在程序不同地方设立检查点，检查程序的状态，以确定实际运行状态与预期状态是否一致。 白盒测试的特点：依据软件设计说明书进行测试、对程序内部细节的严密检验、针对特定条件设计测试用例、对软件的逻辑路径进行覆盖测试。 白盒测试的实施步骤： 1.测试计划阶段：根据需求说明书，制定测试进度。 2.测试设计阶段：依据程序设计说明书，按照一定规范化的方法进行软件结构划分和设计测试用例。 3.测试执行阶段：输入测试用例，得到测试结果。覆盖测试练习
因果图测试用例
三角形基本路径覆盖测试 三角形白盒测试
(整理)基本路径测试
测试用例设计方法之因果图法
计算器软件测试报告
测试用例之路径覆盖
计算器测试报告
以中国象棋中走马的测试用例设计为例学习因果图的使用方法
软件测试各种覆盖方法介绍
计算器黑盒测试
基本路径覆盖的例子
测试用例八大设计方法和实例
计算器白盒测试
白盒测试中的六种覆盖方法
白盒测试用例设计方法
软件测试流程图白盒测试条件覆盖路径覆盖样本
测试用例设计—自动售货机因果图分析
浅谈测试覆盖
相关主题
文本预览