下载文档原格式
20 14 —20 15 学年第 2 学期
软件测试技术课程
实验报告
学院：计算机科学技术
专业：软件工程
班级：软件12401
*名：***
学号：*********
任课教师：***
实验日期：2015年 6 月16 日实验题目实验5、白盒测试：路径测试及测试用例设计
实验目的1、掌握独立路径，程序基本路径测试的概念。
2、掌握独立路径测试法。
实验内容
程序int binsearch(int array[],int key)实现折半查找的功能。
数组array元素按升序排列，length为数组array的长度，key为要查找的值。
试用独立路径集测试法测试该程序，撰写实验报告。
关键代码如下（Java实现）
public static int binsearch(int array[],int key)
{
int low = 0;
int high = array.length - 1;
int middle;
while(low <= high)
{
middle = (low+high)/2;
if(array.[middle] == key)
{
return middle;
}else
if(array.[middle] < key)
{
low = middle +1;
}else
{
high = middle - 1;
}
}
return -1;
}
实验步骤：
1）画出程序的流图(控制流程图)。
单项选择题（每小题1分，共10分）1、在结构性的瀑布模型中，哪一个阶段定义的标准将成为软件测试中的系统测试阶段的目标（ A ）（A）需求分析阶段（B）详细设计阶段（C）概要设计阶段（D）可行性2、研究阶段软件工程方法中普遍定义的方法之一是结构化生命周期方法（SLC方法），下述哪一个论述不具有SLC方法的主要特征（ C ）A 严格定义需求B 划分开发阶段C 规范文档格式D 分析控制流程3、软件结构中两个模块之间有调用关系，传递简单数据值，相当于高级语言中的值传递，这两个模块之间的耦合是（ D ）（A）公共耦合（B）控制耦合（C）标记耦合（D）数据耦合4、软件维护的四类维护活动是（ A ）（A）改正性维护，适应性维护，完善性维护和预防性维护。
（B）适应性维护，完善性维护，抢救性维护和辅助性维护。
（C）改正性维护，适应性维护，完善性维护和辅助性维护。
（D）适应性维护，完善性维护，抢救性维护和预防性维护。
5、主要从（ A ）几个方面进行系统可行性研究。
（A）技术可行性，经济可行性，操作可行性。
（B）技术可行性，经济可行性，系统可行性。
（C）经济可行性，系统可行性，操作可行性。
（D）经济可行性，系统可行性，时间可行性。
6、进行需求分析可使用多种工具，但（ C ）是不适用的。
（A）数据流图（B）判定表（C）PAD图（D）数据字典7、软件需求分析阶段的工作，可以分为四个方面：对问题的识别、分析与综合、编写需求分析文档以及（ B ）（A）软件的总结（B）需求分析评审（C）阶段性报告（D）以上答案都不对8、OMT（Object Modelling Technique）方法的第一步是从问题的陈述入手，构造系统模型。
系统模型由对象模型、（ C ）组成。
A静态模型和功能模型 B动态模型和过程模型C动态模型和功能模型 D静态模型和操作模型9、为了表示项目管理功能工作中各项任务之间的进度衔接关系，常用的计划管理工具是（ D ）（A）程序结构图（B）数据流图（C） E-R图（D）甘特（Gantt）图①软件生命周期中所花费用最多的阶段是（D）A．详细设计B．软件编码C．软件测试D．软件维护②可行性分析是在系统开发的早期所做的一项重要的论证工作，它是决定该系统是否开发的决策依据，因必须给出（B）的回答。
请写出判断三角形的代码，设计用例达到测试效果语句覆盖判定覆盖条件组合覆盖#include<stdio.h>void main(){int a, b, c;printf("please enter three integer:");scanf("%d%d%d", &a, &b, &c);if(0<a && a<200 && 0<b && b<200 && 0<c && c<200){if(a+b>c && a+c>b && c+b>a){if(a==b && b==c && a==c) //这里可以省掉一个判断{printf("1是等边三角形");}else{if(a==b || b==c || a==c){printf("2是等腰三角形");}else{if(a*a+b*b==c*c || a*a+c*c==b*b || b*b+c*c==a*a){printf("3是直角三角形");}else{printf("4是一般三角形");}}}}else{printf("5不能组成三角形");}}else{printf("6某些边不满足限制");}}1.为三角形程序开发判定/条件覆盖和条件组合覆盖的测试用例。
1）判定/条件覆盖对于第一个判定a>0&&b>0&&c>0 ：条件a>0 取真值记为T1，取假值记为-T1条件b>0 取真值记为T2，取假值记为-T2条件c>0 取真值记为T3，取假值记为-T3对于第二个判定( a+b>c)&&(a+c>b)&&(b+c>a )：条件a+b>c 取真值记为T4，取假值记为-T4条件a+c>b 取真值记为T5，取假值记为-T5条件b+c>a 取真值记为T6，取假值记为-T62.对下面的流程图用逻辑覆盖法设计测试用例（至少三种）1)..语句覆盖：语句覆盖可以保证程序中的每个语句都得到执行。
二、填空题1．为了支持软件人员开发和维护活动而使用的软件一般是指___软件工具_____。
3．在软件结构的设计中，各个模块之间要力求降低耦合性，提高__内聚性_____。
5．数据流图(DFD)一般可分为变换型和__事务性_____两类。
6．软件维护的内容包括校正性维护、适应性维护、__完善性维护__和预防性维护。
7．软件的生产经历了三个阶段，分别是程序设计时代、程序系统时代和___软件工程时代___。
8．渐增模型是瀑布模型的变种，分为两类：增量构造模型和__演化提交模型__。
9．状态图反映了_事件与状态____的关系。
10．软件项目管理过程一个关键的活动是__制定项目计划__，它是软件开发工作的第一步。
11．组成软件的两个部分是：____程序和文档________。
14．变换型数据流图是由输入、__变换（或处理）_____和输出三部分组成的。
15．Jackson方法是一种面向___数据结构_____的开发方法。
16．结构化语言是介于___自然语言_____和形式语言之间的一种半形式语言。
17．软件产品在交付使用之前一般要经过___单元测试___、集成测试、确认测试和系统测试。
18．不采用软件工程的方法开发软件，软件只有程序而无文档，从而导致维护工作困难，这是一种__结构化______的维护。
19．子类自动共享父类数据结构和方法的机制是___继承性_____，这是类之间的一种关系。
21．软件生产的发展经历了三个阶段，分别是程序设计时代、程序系统时代和___软件工程____时代。
22．可行性研究从以下三个方面研究每种解决方法的可行性：经济可行性、社会可行性和__技术可行性____。
23．HIPO图的H图用于描述软件的层次关系，矩形框表示一个模块，矩形框之间的直线表示模块之间的____调用_____关系。
24．数据流图描绘数据在系统中___流动和处理___的过程。
25．为了便于对照检查，测试用例应由输入数据和预期的___输出结果（输出数据）____两部分组成。
测试的基本⽅法1、等价类划分法等价类划分法就是：是把所有可能的输⼊数据,即程序的输⼊域划分成若⼲部分（⼦集）,然后从每⼀个⼦集中选取少数具有代表性的数据作为测试⽤例。
该⽅法是⼀种重要的,常⽤的⿊盒测试⽤例设计⽅法。
2、边界值分析法定义：边界值分析法就是对输⼊或输出的边界值进⾏测试的⼀种⿊盒测试⽅法。
通常边界值分析法是作为对等价类划分法的补充，这种情况下，其测试⽤例来⾃等价类的边界。
3、错误推测⽅法定义：基于经验和直觉推测程序中所有可能存在的各种错误, 从⽽有针对性的设计测试⽤例的⽅法。
4、因果图法定义：是⼀种利⽤图解法分析输⼊的各种组合情况，从⽽设计测试⽤例的⽅法，它适合于检查程序输⼊条件的各种组合情况。
5、判定表驱动分析⽅法定义：判定表是分析和表达多逻辑条件下执⾏不同操作的情况的⼯具。
6、正交实验设计⽅法正交实验设计⽅法:依据Galois理论,从⼤量的（实验）数据（测试例）中挑选适量的,有代表性的点（例）,从⽽合理地安排实验（测试）的⼀种科学实验设计⽅法.类似的⽅法有:聚类分析⽅法,因⼦⽅法⽅法等.测试⽤例设计综合策略1. Myers提出了使⽤各种测试⽅法的综合策略：1)在任何情况下都必须使⽤边界值分析⽅法，经验表明⽤这种⽅法设计出测试⽤例发现程序错误的能⼒最强。
2)必要时⽤等价类划分⽅法补充⼀些测试⽤例。
3)⽤错误推测法再追加⼀些测试⽤例。
4)对照程序逻辑，检查已设计出的测试⽤例的逻辑覆盖程度，如果没有达到要求的覆盖标准，应当再补充⾜够的测试⽤例。
5)如果程序的功能说明中含有输⼊条件的组合情况，则⼀开始就可选⽤因果图法。
2.测试⽤例的设计步骤1)构造根据设计规格得出的基本功能测试⽤例；2)边界值测试⽤例；3)状态转换测试⽤例；4)错误猜测测试⽤例；5)异常测试⽤例；6)性能测试⽤例；7)压⼒测试⽤例。
3.优化测试⽤例的⽅法1)利⽤设计测试⽤例的8种⽅法不断的对测试⽤例进⾏分解与合并；2)采⽤遗传算法理论进化测试⽤例；3)在测试时利⽤发散思维构造测试⽤例。
填空1．软件测试的目的是尽可能多地发现软件中存在的错误,将测试结果作为纠错的依据。
2．测试阶段的基本任务是根据软件开发各阶段的和程序的，精心设计一组，利用这些实例执行，找出软件中潜在的各种和。
3．测试用例由和预期的两部分组成.4．软件测试方法一般分为两大类：方法和方法。
5．动态测试通过发现错误。
根据的设计方法不同，动态测试又分为与两类。
6．静态测试采用和的手段对程序进行检测。
7．人工审查程序偏重于的检验，而软件审查除了审查还要对各阶段进行检验。
8．计算机辅助静态分析利用工具对测试程序进行分析。
9．黑盒法只在软件的处进行测试，依据说明书，检查程序是否满足要求。
10．白盒法必须考虑程序的和，以检查的细节为基础，对程序中尽可能多的逻辑路径进行.11．白盒测试是测试，被测对象是,以程序的为基础设计测试用例.12．逻辑覆盖是对程序内部有存在的逻辑结构设计测试用例，根据程序内部的逻辑覆盖程度又可分为、、、、和6种覆盖技术。
13．实际的逻辑覆盖测试中，一般以覆盖为主设计测试用例,然后再补充部分用例，以达到覆盖测试标准. 14．循环覆盖是对程序内部有存在的逻辑结构设计测试用例,它通过限制来测试。
15．基本路径测试是在程序基础上，通过分析控制构造的复杂性,导出集合，从而设计测试用例。
16．黑盒测试是测试，用黑盒技术设计测试用例有4种方法：、、和。
17．等价类划分从程序的说明，找出一个输入条件（通常是或），然后将每个输入条件划分成两个或多个。
18．边界值分析是将测试情况作为重点目标，选取正好等于、刚刚大于或刚刚小于的测试数据。
如果输入或输出域是一个有序集合，则应选取集合的元素和元素作为测试用例。
19．在测试程序时，根据经验或直觉推测程序中可能存在的各种错误，称为。
20．因果图的基本原理是通过画图，把用自然语言描述的转换为，最后为每一列设计一个测试用例。
21．测试的综合策略是在测试中，联合使用各种方法。
通常先用法设计基本的测试用例，再用法补充一些必要的测试用例。
实验04：使用基本路径测试法求解“自动售货机”问题实验学时：2实验类型：设计实验要求：必修一、实验目的●理解并掌握基本路径覆盖测试法，能够实际运用；●使用Eclipse+JUnit+EclEmma进行单元测试。
二、实验要求●开发环境：Eclipse v3.7及以上版本；JUnit v4.10及以上版本；文本编辑软件。
●硬件要求：CPU PIV 以上，256M 内存，1G 硬盘空间。
●系统要求：Windows98/Me/XP/NT/2000，IE 5 以上。
三、实验内容1.下载并安装Eclipse+JUnit+EclEmma实验环境；2.通读自动售货机程序，并在Eclipse环境下运行该程序；3.使用基本路径测试法设计测试用例；⏹绘制程序控制流图；⏹计算环路复杂度；⏹确定基本路径；⏹设计测试用例。
4.完整填写以下表格：5.编写JUnit测试用例，并运行程序，保证所有测试用例通过测试；6.使用EclEmma检测测试用例覆盖率，保证覆盖率达到100%。
四、实验结果检查与评定●提交时间：2013年4月24日之前/2013年5月1日22:00之前●提交地址：学习委员邮箱●文档命名方式：12软件专升本X班_0907052XXX_张三_实验04.doc实验报告实验序号：实验项目名称：附录问题描述自动售货机程序：●若投入5角钱或1元钱的硬币，按下“橙汁”或“啤酒”按钮，则相应的饮料就送出来；●若售货机没有零钱找，则显示“零钱找完”的红灯亮，这是再投入一元硬币并按下按钮后，饮料不送出来而且1元硬币也退出来；●若有零钱找，则显示“零钱找完”的红灯灭，在送出饮料的同时退还5角硬币。
程序流程图实验源代码（有缺陷的源代码）public class Sale Mac hine {priv ate in t c ount OfB eer, c o untO fOr ang eJu ice, co unt OfF i veCe nts, c oun tOfO neD oll ar;priv ate St rin g[] typ eOf Goo d s = {"B eer", "Ora nge Jui ce"};priv ate St rin g re sul tOf Dea l;publ ic Sal eMa chin e(){init ial();}publ ic voi d i niti al(){coun tOfBee r = 6;coun tOfOra nge Juic e = 6;coun tOfFiv eCe nts= 6;coun tOfOne Dol lar = 6;}publ ic Sal eMa chin e(i nt fiv e Cent s, int on eDol lar, i nt n umOf Bee r, int num OfO ran ge) //便于测试的初始化函数{coun tOfFiv eCe nts= f ive Cen t s;coun tOfOne Dol lar = o neD oll a r;countOf Bee r = num OfB eer;coun tOfOra nge Juic e = nu mOf O rang e;}publ ic Str ing cur ren tSt ate(){Stri ng sta te = "C urr ent St a te\n" +"Be er: "+ c oun tOf Bee r +"\n"+"Or ang e J uic e: " +co unt Of Oran geJ uic e +"\n" +"5 Cen ts: "+ c oun tOf Fiv eC ents + "\n" +"1 Dol lar: " + cou ntO fOn eD olla r;retu rn sta te;}publ ic Str ing ope rat ion(St r ing typ e, Str ing mon ey)//ty pe是用户选择的产品，m one y是用户投币种类{if(m oney.e qua lsIg nor eCa se("5C")) //如果用户投入5角钱{if(t ype.eq ual s(ty peO fGo ods[0]))//如果用户选择啤酒{if(c oun tOf Bee r>0)//如果还有啤酒{coun tOf Bee r--;coun tOf Fiv eCe nts++;resu ltO fDe al= "I npu t I nfo r mati on \n" +"Ty pe: Be er; Mo ney: 5 Ce nt s; C han ge: 0\n\n" + currentSta te();retu rn res ult OfDe al;}else{resu ltO fDe al= "F ail ure In f orma tio n \n"+ "B eer Sh ort a ge";retu rn res ult OfDe al;}}else if (t ype.equ als(ty peO f Good s[1]))//用户选择橙汁{if(c oun tOf Ora ngeJ uic e > 0){coun tOf Ora nge Juic e--;coun tOf Fiv eCe nts++;resu ltO fDe al= "I npu t I nfo r mati on \n" +"Ty pe: Or ang eJu ice; M one y: 5 C ent s; Cha nge: 0\n\n" + currentSta te();retu rn res ult OfDe al;}else{resu ltO fDe al= "F ail ure In f orma tio n \n"+ "T ype Er ror";retu rn res ult OfDe al;}}else{resu ltO fDe al= "F ail ure In f orma tio n \n"+ "T ype Er ror";retu rn res ult OfDe al;}}else if(mo ney.equ als Ign ore C ase("1D"))//如果用户投入一元钱{if(c oun tOf Fiv eCen ts>0) //如果用户投入一元钱{if(c oun tOf Fiv eCen ts> 0) //如果用户有零钱{if(t ype.eq ual s(ty peO fGo ods[0])&&co unt OfB eer>0)//如果用户选择啤酒而且还有啤酒{coun tOf Bee r--;coun tOf Fiv eCe nts--;coun tOf One Dol lar++;resu ltO fDe al= "I npu t I nfo r mati on \n" +"yp e: Bee r; M one y: 1 Do lla r; Ch ang e: 5 Ce nts\n\n"+ currentSta te();retu rn res ult OfDe al;}else if (t ype.equ als(ty peO f Good s[1]))//如果用户选择橙汁而且还有橙汁{coun tOf Ora nge Juic e --;coun tOf Fiv eCe nts--;coun tOf One Dol lar ++;resu ltO fDe al= "I npu t I nfo r mati on: \n" +"Ty pe: Or ang eJu ice; M one y: 1 D oll ar; Ch ange: 5 Cents\n\n" + curr ent Sta te();retu rn res ult OfDe al;}else{if(t ype.eq ual s(ty peO fGo ods[0])&&co unt OfO rang eJu ice<=0){resu ltO fDe al= "F ail ue Inf o rmat ion \n" +"Be er Sho rta g e";retu rn res ult OfDe al;}else if(ty pe.equa ls(typ eOf G oods[1])&&cou ntOf Ora nge Jui c e<=0){resu ltO fDe al= "Fai lur e Info r mati on \n"+"O ran geJ uice S hor tage";retu rn res ult OfDe al;}else{resu ltO fDe al= "F ail ure In f orma tio n \n"+ "T ype Er ror";retu rn res ult OfDe al;}}}else{resu ltO fDe al= "F ail ure In f orma tio n \n"+ "C han ge Sho r tage";retu rn res ult OfDe al;}}else{resu ltO fDe al= "F ail ure In f orma tio n \n"+ "M one y E rro r";retu rn res ult OfDe al;}}resu ltOfDe al = "F ail ure In f orma tio n \n"+ "M one y E rro r";retu rn res ult OfDe al;}}测试用例示例代码：import static org.junit.Assert.*;import org.junit.Before;import org.junit.Test;public class SaleMachineTest {SaleMachine saleMachine = new SaleMachine();@Beforepublic void setUp() throws Exception {}@Testpublic void testOperation1() {String expectedResult = "Input Information \n" +"Type: OrangeJuice; Money: 5 Cents; Change: 0\n\n" +"Current State\n" +"Beer: 6\n" +"Orange Juice: 5\n" +"5 Cents: 7\n" +"1 Dollar: 6";assertEquals(expectedResult,saleMachine.operation("OrangeJuice", "5C"));}}。
白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、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
对应的逻辑为：
独立路径：至少沿一条新的边移动的路径
基本路径测试法的步骤：
o 第一步：画出控制流图
流程图用来描述程序控制结构。
可将流程图映射到一个相应的流图(假设流程图的菱形决定框中不包含复合条件)。
在流图中，每一个圆，称为流图的结点，代表一个或多个语句。
一个处理方框序列和一个菱形决测框可被映射为一个结点，流图中的箭头，称为边或连接，代表控制流，类似于流程图中的箭头。
一条边必须终止于一个结点，即使该结点并不代表任何语句(例如：if-else-then结构)。
由边和结点限定的范围称为区域。
计算区域时应包括图外部的范围。
画出其程序流程图和对应的控制流图如下
第二步：计算圈复杂度
圈复杂度是一种为程序逻辑复杂性提供定量测度的软件度量，将该度量用于计算程序的基本的独立路径数目，为确保所有语句至少执行一次的测试数量的上界。
独立路径必须包含一条在定义之前不曾用到的边。
有以下三种方法计算圈复杂度：
流图中区域的数量对应于环型的复杂性;
给定流图G的圈复杂度V(G)，定义为V(G)=E-N+2，E是流图中边的数量，N是流图中结点的数量;
给定流图G的圈复杂度V(G)，定义为V(G)=P+1，P是流图G中判定结点的数量。
第三步：导出测试用例
根据上面的计算方法，可得出四个独立的路径。
(一条独立路径是指，和其他的独立路径相比，至少引入一个新处理语句或一个新判断的程序通路。
V(G)值正好等于该程序的独立路径的条数。
) ü路径1：4-14
ü路径2：4-6-7-14
ü路径3：4-6-8-10-13-4-14
ü路径4：4-6-8-11-13-4-14
根据上面的独立路径，去设计输入数据，使程序分别执行到上面四条路径。
o 第四步：准备测试用例
为了确保基本路径集中的每一条路径的执行，根据判断结点给出的条件，选择适当的数据以保证某一条路径可以被测试到，满足上面例子基本路径集的测试用例是：
举例说明：
例：下例程序流程图描述了最多输入50个值(以–1作为输入结束标志)，计算其中有效的学生分数的个数、总分数和平均值。
步骤1：导出过程的流图。
步骤2:确定环形复杂性度量V(G)：
1)V(G)= 6 (个区域)
2)V(G)=E–N+2=16–12+2=6
其中E为流图中的边数，N为结点数;
3)V(G)=P+1=5+1=6
其中P为谓词结点的个数。
在流图中，结点2、3、5、6、9是谓词结点。
步骤3：确定基本路径集合(即独立路径集合)。
于是可确定6条独立的路径：
路径1：1-2-9-10-12
路径2：1-2-9-11-12
路径3：1-2-3-9-10-12
路径4：1-2-3-4-5-8-2…
路径5：1-2-3-4-5-6-8-2…
路径6：1-2-3-4-5-6-7-8-2…
步骤4：为每一条独立路径各设计一组测试用例，以便强迫程序沿着该路径至少执行一次。
1)路径1(1-2-9-10-12)的测试用例：
score[k]=有效分数值，当k < i ;
score[i]=–1, 2≤i≤50;
期望结果：根据输入的有效分数算出正确的分数个数n1、总分sum和平均分average。
2)路径2(1-2-9-11-12)的测试用例：
score[ 1 ]= – 1 ;
期望的结果：average = – 1 ，其他量保持初值。
3)路径3(1-2-3-9-10-12)的测试用例：
输入多于50个有效分数，即试图处理51个分数，要求前51个为有效分数;
期望结果：n1=50、且算出正确的总分和平均分。
4)路径4(1-2-3-4-5-8-2…)的测试用例：
score[i]=有效分数，当i<50;
score[k]<0，k< i ;
期望结果：根据输入的有效分数算出正确的分数个数n1、总分sum和平均分average。
2.3.3 基本路径测试法
基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行的路径集合，从而设计测试用例的方法。
设计出的测试用例要保证在测试中程序的每个执行语句至少执行一次。
基本路径测试法的重点内容如下：
程序的控制流图：描述程序控制流的一种图示方法。
程序环形复杂度：McCabe复杂性度量。
从程序的环路复杂性可导出程序基本路径集合中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必需的测试用例数目的上界。
导出测试用例：根据圈复杂度和程序结构设计用例数据输入和预期结果。
准备测试用例：确保基本路径集中的每一条路径的执行。
程序控制流图（可简称流图）是对程序流程图进行简化后得到的，它突出表示程序控制流的结构。
程序控制流图是描述程序控制流的一种方式，其要点如下：
1）图形符号：圆圈代表一个结点，表示一个或多个无分支的语句或源程序语句。
2）程序控制流边和点圈定的部分叫做区域。
当对区域计数时，图形外的一个部分也应记为一个区域。
3）判断语句中的条件为复合条件（即条件表达式由一个或多个逻辑运算符连接的逻辑表达式（a and b）)时，则需要改变复合条件的判断为一系列只有单个条件的嵌套的判断。
结点由带标号的圆圈表示，可代表一个或多个语句、一个处理框序列和一个条件判定框（假设不包含复合条件）。
控制流线由带箭头的弧或线表示，可称为边，它代表程序中的控制流。
为了满足路径覆盖，必须首先确定具体的路径以及路径的个数。
我们通常采用控制流图的边（弧）序列和节点列表示某一条具体路径。
路径测试就是从一个程序的入口开始，执行所经历的各个语句的完整过程。
任何关于路径分析的测试都可以叫做路径测试。
程序的环形复杂度也称为圈复杂度，它是一种为程序逻辑复杂度提供定量尺度的软件度量。
将环形复杂度用于基本路径方法，可以提供程序基本集的独立路径数量，确保所有语句至少执行一次测试。
独立路径是指程序中至少引入了一个新的处理语句集合或一个新条件的程序通路，包括一组以前没有处理的语句或条件的一条路径。
通常环形复杂度以图论为基础，提供软件度量。
四、基本路径测试
只要设计出的测试用例能够确保这些基本路径的执行，就可以使得程序中的每个可执行语句至少执行一次，每个条件的取真和取假分支也能得到测试。
基本路径集不是唯一的，对于给定的控制流图，可以得到不同的基本路径集。
（a）程序流程图
（b）控制流图
图10-4-9程序流程图与对应的控制流图。
