单元3设计测试工作 之任务3 使用白盒测试方法设计测试用例1
- 格式:ppt
- 大小:1.37 MB
- 文档页数:45
关于白盒测试的测试用例设计方法叙述下载提示:该文档是本店铺精心编制而成的,希望大家下载后,能够帮助大家解决实际问题。
关于白盒测试的测试用例设计方法叙述该文档下载后可定制修改,请根据实际需要进行调整和使用,谢谢!本店铺为大家提供各种类型的实用资料,如教育随笔、日记赏析、句子摘抄、古诗大全、经典美文、话题作文、工作总结、词语解析、文案摘录、其他资料等等,想了解不同资料格式和写法,敬请关注!Download tips: This document is carefully compiled by this editor. I hope that after you download it, it can help you solve practical problems. The document 关于白盒测试的测试用例设计方法叙述 can be customized and modified after downloading, please adjust and use it according to actual needs, thank you! In addition, this shop provides you with various types of practical materials, such as educational essays, diary appreciation, sentence excerpts, ancient poems, classic articles, topic composition, work summary,word parsing, copy excerpts, other materials and so on, want to know different data formats and writing methods, please pay attention!白盒测试是软件测试中的一种重要方法,它基于了解软件内部结构和源代码的原理,以验证程序的逻辑正确性、代码覆盖率和结构设计是否合理。
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)画出程序的流图(控制流程图)。
学号:《软件测试技术》实验报告与习题册2014 / 2015 学年第2学期系别计算机科学与技术专业计算机软件班级一班姓名指导教师目录实验一:基于白盒测试的用例设计与验证(一)一.实验目的(1)熟悉Eclipse开发环境(2)掌握Java语言的基本语法,能够利用Java实现简单的程序开发(3)熟悉白盒测试基本原理(4)掌握白盒测试的逻辑覆盖法,能够依据语句覆盖、判定覆盖、条件覆盖、判定\条件覆盖、条件组合覆盖的原理进行相应测试用例的设计工作。
二.实验内容(1)选择一门语言,完成指定的单元程序开发。
(2)分别依据白盒测试逻辑覆盖法中的语句覆盖、判定覆盖、条件覆盖、判定\条件覆盖、条件组合覆盖的原理设计相应的测试用例。
(3)根据给定的流程图,实际运行测试用例,检测程序的实现是否正确。
三.程序流程图运行结果示例程序源码#include<stdio.h>void main(){int m;int n;int p;int q;printf("请输入m的值:");scanf("%d",&m);printf("请输入n的值:");scanf("%d",&n);printf("请输入p的值:");scanf("%d",&p);printf("请输入q的值:");scanf("%d",&q);printf("输入完毕\n");if(m>0 && n<6){m=n+3;n=n*2;}if(p>5 || q<0){p=2*q+5;q=q++;}printf("m:%d\n",m);printf("n:%d\n",n);printf("p:%d\n",p);printf("q:%d\n",q);}1.语句覆盖程序中的每个可执行语句至少被执行一次2.判定覆盖3.条件覆盖4.判定-条件覆盖判断条件中的所有条件可能取值至少执行一次,同时,所有判断的可能结果至少执行一次。
白盒测试用例设计方式:常常利用的黑盒测试用例设计方式有等价类划分法、边界值测试法、决策表法、错误猜想法和场景法,在进展黑盒测试用例设计时的主要依据是软件系统规格说明书,因此在进展黑盒测试之前必需保证软件系统规格说明书是通过审核的,若是未经审核,那么需要进展探索式测试。
等价类划分法是指将输入数据进展等价类划分,划分依据为系统的预期结果,隶属于同一个等价类的输入数据会引发一样的预期结果,而且吻合一样的输入标准。
边界值测试法是对等价类划分法的一种补充,对于每一个等价类来讲,都会存在类的边缘,经研究证明,边缘的数据更易在系统运行中产生问题,因此边界值方式是一种超级必要的方式。
决策表方式适合于解决多个逻辑条件的组合。
判定表包括条件桩、条件项、动作桩、动作项。
条件桩中列出所有执行条件,顺序无关;条件项中列出所对应条件的所有可能情况下的取值;动作桩中列出可能采取的操作,顺序无关;动作项中列出条件项各类取值情况下采取的操作。
错误推测法概念:基于经历和直觉推测程序中所有可能存在的各类错误, 从而有针对性的设计测试用例的方式。
错误推测方式的根本思想:列举出程序中所有可能有的错误和容易发生错误的特殊情况,按照他们选择测试用例。
场景法:ERP系统本身是一种业务流程很复杂,单据报表众多,逻辑性很强的系统,质量保证方面很宝贵到严格的控制的软件系统,在测试进程中常常会出现测试设计遗漏、测试执行遗漏等问题发生,一般的ERP系统设计可能包括以下几方面:、业务流程测试、数据逻辑测试、接口测试、兼容性测试、、易用性测试、用户体验测试等等;在针对ERP系统的测试进程中,必需具有清楚的测试设计思路,搭建根本的测试设计框架;其次熟悉所要设计的系统或模块的业务,所要实现的功能;然后灵活运用常常利用的测试设计方式〔等价类、边界值、错误猜想、路径分析法、场景法、正交验证法……用例设计方式〕;最后运用比拟合理统一的风格和模板进展设计测试用例;“业务场景、业务流程、数据逻辑〞是关键,业务理解清楚是做好ERP测试的根底;ERP系统测试用例分为几类来写比拟好:功能用例、业务流程用例、数据逻辑用例、接口用例,最好是把功能与流程类的测试用例分开来写;就个人而言,设计覆盖率高、冗余度低的测试用例应该从以下几个方面入手:一、功能用例设计:相对而言比拟简单,按照需求规格说明书、界面原型提取测试功能点/项,运用等价类、边界值、错误猜想、正交表等根本用例设计方式来设计,结合经历积累完善用例设计就可以够弄定,难度不大;需要按照文档/功能点/业务的转变进展修订/细化用例,提高功能用例的覆盖度;关于功能用例设计的方式和有很多,都可以借鉴和参考增加自身的经历积累和和知识沉淀。
白盒测试测试用例设计方法
白盒测试是基于代码的内部结构、逻辑和路径进行测试的方法。
以下是一些常用的白盒测试测试用例设计方法:
1. 语句覆盖(Statement Coverage):测试用例被设计为执行程序中的每个语句至少一次。
这是最基本的覆盖准则。
2. 分支覆盖(Branch Coverage):测试用例被设计为执行程序中的每个分支(if-else语句、switch语句等)至少一次。
目标是确保每个分支的执行至少一次。
3. 条件覆盖(Condition Coverage):测试用例被设计为满足每个条件的真值和假值至少一次。
例如,if语句中的每个条件都应该至少执行一次为真和一次为假的情况。
4. 路径覆盖(Path Coverage):测试用例被设计为覆盖程序中的每个可能路径。
这种方法通常会创建测试用例来测试每种可能的路径,以确保程序在各种情况下正常工作。
5. 逻辑覆盖(Logical Coverage):测试用例被设计为覆盖逻辑运算符(例如AND,OR)的各种情况。
目标是测试程序在逻辑操作方面的准确性。
6. 循环覆盖(Loop Coverage):测试用例被设计为满足循环的不同情况,包括循环开始、循环中和循环结束的情况。
7. 数据流覆盖(Data Flow Coverage):测试用例被设计为覆盖程序中的数据流转。
目标是测试程序在处理数据输入和输出时的准确性。
这些测试用例设计方法可以根据具体的应用场景和需求进行组合使用,以确保对代码的全面测试。
白盒测试用例设计方法
白盒测试用例设计方法是通过了解软件系统的内部结构和代码的执行路径来设计测试用例。
下面是几种常用的白盒测试用例设计方法:
1. 语句覆盖:确保每个代码语句至少被执行一次。
设计测试用例以覆盖代码中的每个语句。
2. 判定覆盖:设计测试用例以覆盖代码中的每个条件判断语句的每个路径。
包括覆盖判断条件为真和为假的两个路径。
3. 条件覆盖:确保每个条件判断语句中的每个条件都被测试覆盖。
为此,需要设计多个测试用例来测试各种组合情况。
4. 路径覆盖:设计测试用例以覆盖代码中的每个可能路径。
这种方法通常会生成大量的测试用例,因为需要测试所有可能的路径组合。
5. 循环覆盖:确保所有的循环结构被至少测试一次。
设计测试用例以覆盖循环的各种情况,如循环未执行、执行一次、多次等。
6. 数据流覆盖:设计测试用例以覆盖代码中使用的各种数据流。
包括输入数据、输出数据和中间数据的覆盖。
以上是一些常用的白盒测试用例设计方法,根据具体的软件系统和测试目标,可以选择合适的方法来设计测试用例。
白盒测试用例练习题(1)白盒测试用例练习1.为以下所示的程序段设计一组测试用例,要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖,并画出相应的程序流程图。
voiddowork(intx,inty,intz){intk=0,j=0;if((x>3)&&(z<10)){k=x*y-1;j=sqrt(k);//语句块1}if((x==4)||(y>5)){j=x*y+10;}//语句块2j=j%3;//语句块3}k=0j=0aycx>3andz<10k=x*y-1j=sqrt(k)nbx=4eoryy>5j=x*y+10ndj=j%3由这个流程图可以窥见,该程序模块存有4条相同的路径:p1:(a-c-e)p2:(a-c-d)p3:(a-b-e)p4:(a-b-d)将里面的判定条件和过程记录如下:判定条件m={x>3andz<10}判定条件n={x=4ory>5}1、语句覆盖测试用例输出x=4,z=5,y=82、判定覆盖p1和p4可以做为测试用例,其中p1做为挑真的路径,p4做为row的路径。
测试用例输出x=4,z=5,y=8x=2,z=11,y=5输入k=31,j=0k=0,j=0认定m的值域认定n的值域tftf 全面覆盖路径p1(a-c-e)p4(a-b-d)输入k=31,j=0认定m的值域认定n的值域tt全面覆盖路径p1(a-c-e)也可以使测试用例测试路径p2和p3。
适当的两组输出数据如下:测试用例输出x=5,z=5,y=4x=4,z=11,y=63、条件覆盖对于m:x>3挑真时t1,取假时f1;z<10挑真时t2,取假时f2;对于n:x=4挑真时t3,取假时f3;y>5挑真时t4,取假时f4。
条件:x>3,z<10,x=4,y>5条件:x<=3,z>=10,x!=4,y<=5根据条件全面覆盖的基本思路,和这8个条件值域,女团测试用例例如表中右图:测试用例输出x=4,z=5,y=8x=3,z=11,y=5输入k=31,j=0k=0,j=0值域条件具体内容值域条件全面覆盖路径p1(a-c-e)t1,t2,t3,t4x>3,z<10,x=4,y>5输入k=19,j=sqrt(19)%3k=0,j=1认定m的值域认定n的值域tfft全面覆盖路径p2(a-c-d)p3(a-b-e)f1,f2,f3,f4x<=3,z>=10,x!=4,y<=5p4(a-b-d)4、认定/条件全面覆盖测试用例输出x=4,z=5,y=8x=3,z=11,y=5输入k=31,j=0k=0,j=0值域条件具体内容值域条件全面覆盖路径p1(a-c-e)t1,t2,t3,t4x>3,z<10,x=4,y>5f1,f2,f3,f4x<=3,z>=10,x!=4,y<=5p4(a-b-d)5、女团全面覆盖条件组合1)x>3,z<102)x>3,z>=103)x<=3,z<104)x<=3,z>=105)x=4,y>56)x=4,y<=57)x!=4,y>58)x!= 4,y<=5测试用例输出x=4,z=5,y=6x=4,z=10,y=5x=3,z=5,y=6z=3,z=10,y=56、路径全面覆盖测试用例输出x=4,z=5,y=8x=5,z=5,y=4x=4,z=11,y=6x=2,z=11,y=5输出k=31,j=0k=0,j=1k=0,j=0覆盖条件取值覆盖条件组合1,51,82,54,8覆盖路径p1(a-c-e)p2(a-c-d)p3(a-b-e)p4(a-b-d)输出k=23,j=1k=0,j=0k=14j=1k=0,j=2覆盖条件取值t1,t2,t3,t4t1,f2,t3,f4f1,t2,f3,t4f1,f2,f3,f4覆盖条件组合1,52,63,74,8覆盖路径p1(a-c-e)p2(a-c-d)p3(a-b-e)p4(a-b-d)t1,t2,t3,t4t1,f2,t3,t4f1,f2,f3,f4k=19,j=sqrt(19)%3t1,t2,f3,f4。
白盒测试用例实验报告《白盒测试用例实验报告》一、实验目的本实验旨在通过白盒测试用例的实验报告,了解白盒测试的原理和方法,掌握白盒测试用例的编写和执行过程。
二、实验环境1. 软件环境:Windows 10操作系统、Eclipse集成开发环境2. 硬件环境:个人电脑三、实验内容1. 理解白盒测试的原理和方法2. 编写白盒测试用例3. 执行白盒测试用例4. 分析测试结果并撰写实验报告四、实验步骤1. 阅读相关文献,了解白盒测试的原理和方法2. 选择一个简单的软件模块,编写白盒测试用例3. 在Eclipse中创建测试类,并将编写的测试用例添加到测试类中4. 执行测试用例,观察测试结果5. 分析测试结果,撰写实验报告五、实验结果1. 经过测试,所有编写的白盒测试用例均能正确执行,并且符合预期结果2. 通过对测试结果的分析,发现了一些潜在的代码逻辑错误,并及时进行了修复3. 实验报告中详细记录了测试用例的编写过程、执行结果和分析结论六、实验总结通过本次实验,我对白盒测试有了更深入的了解,掌握了白盒测试用例的编写和执行方法。
同时,通过对测试结果的分析,我也发现了一些代码逻辑上的问题,并及时进行了修复。
这次实验不仅提高了我的软件测试能力,也增强了我对软件质量控制的认识。
七、实验感想白盒测试是软件测试中非常重要的一部分,通过本次实验,我深刻体会到了白盒测试对软件质量的重要性。
在今后的学习和工作中,我将继续深入学习白盒测试的理论知识,提高自己的测试能力,为软件质量的提升贡献自己的力量。
八、参考文献1. 《软件测试与质量保障》,王晓敏,清华大学出版社2. 《软件测试方法与技术》,李彦,人民邮电出版社以上就是本次实验的白盒测试用例实验报告,希望对大家有所帮助。
一、白盒测试概念1、定义白盒测试又称结构测试、透明盒测试、逻辑驱动测试、基于代码的测试。
盒子指被测试的软件,白盒指盒子是可视的。
白盒测试是一种测试用例设计方法,测试人员依据程序内部逻辑结构相关信息,设计或选择测试用例。
白盒测试主要针对被测程序的源代码,主要用于软件验证,不考虑软件的功能实现,只验证内部动作是否按照设计说明书的规定进行。
2、目的我们一方面注重软件功能需求的实现,另一方面还要注重程序逻辑细节,主要是因为软件自身的缺陷,具体如下:1)逻辑错误和不正确假设与一条程序路径被运行的可能性成反比。
日常处理往往被很好地了解,而“特殊情况”的处理则难于发现。
2)我们经常相信某逻辑路径不可能被执行,而事实上,它可能在正常的基础上被执行。
程序的逻辑流有时是违反直觉的,只有路径测试才能发现这些错误。
3)代码中的笔误是随机且无法杜绝的。
笔误出现在主流上和不明显的逻辑路径上的机率是一样的。
很多被语法检查机制发现,但是其他的会在测试开始时才会被发现。
4)功能测试本身的局限性。
如果程序实现了没有被描述的行为,功能测试是无法发现的,例如病毒,而白盒测试很容易发现它。
3、目标采用白盒测试必须遵循以下几条原则,才能达到测试的目标:1)保证一个模块中的所有独立路径至少被测试一次。
2)所有逻辑值均需测试真(true) 和假(false) 两种情况。
3)检查程序的内部数据结构,保证其结构的有效性。
4)在上下边界及可操作范围内运行所有循环。
4、黑白灰区别黑盒测试技术:也称功能测试或数据驱动测试,只关注规格说明中的功能,测试者在程序接口对软件界面和软件功能进行测试,它只检查实现了的功能是否按照“用户需求说明书”的规定正常使用,程序是否能适当地接收输入数据而产生正确的输出信息,并且保持外部信息(如数据库或文件)的完整性。
主要用于软件确认测试,结合兼容、性能测试等方面,但黑盒测试不能保证已经实现的各个部分都被测试到。
黑盒测试适用于各阶段测试。
第3章测试用例设计
一、选择题
1.测试设计员的职责有:。
①制定测试计划②设计测试用例③设计测试过程、脚本④评估测试活动
A: ①④B: ②③C:①③D:以上都是
2.方法根据输出对输入的依赖关系设计测试用例。
A、路经测试
B、等价类
C、因果图
D、边界值
3.对于业务流清晰的关系系统可以利用贯穿整个测试用例设计过程广
在用例中综合使用各种测试方法,对于参数配置类的软件,要用选择较少的组合方式达到最佳效果,如果程序的功能说明中含有含有输入条件的组合情,则一开始就可以选用
和判定表驱动法。
等价类划分B、因果图法C、正交实验法D、场景法
一、填空题
1.软件测试按照不同的划分方法,有不同的分类:
1)按照软件的测试用例的设计方法二论,软件测试可分为_________
和。
2)从是否执行程序的策略和过程来分类,软件测试可分为__________
和。
3)按照软件测试的策略和过程来分类,软件测试可分
为、、、和。
2.一个文本框要求输入6为数字密码,且对每个账户每次只允许出闲三次输入
错误,对此文本框进行测试设计的等价区间有:;;。
二、简答题
1.白盒测试有几种方法
2.请设计一个关于ATM自动提款机的测试用例。
计算机与信息工程学院实验报告姓名:学号:专业:软件工程年级: 2017级课程:软件测试主讲教师:辅导教师:实验时间: 2019年4月3、10日上午8时至10时,实验地点 201 实验题目:实验三白盒测试实验目的:针对实验一编写的样本程序,进行白盒测试。
实验环境(硬件和软件)操作系统:Windows;单元测试环境:Eclipse集成开发环境;实验内容:根据实验伙伴提供的程序流程图,进行分析,设计达到以下覆盖要求的测试用例:(1) 条件组合覆盖(2) 基本路径覆盖实验步骤:一、条件组合覆盖设计足够的测试用例,使得判断中每个条件的所有可能组合至少出现一次,并且每个判断本身的判定结果也至少出现一次。
二、基本路径覆盖第一步:画出控制流图第二步:计算圈复杂度第三步:确定基本路径集合第四步:设计测试用例实验数据记录(按照实验指导要求的前三项):三角形判定(1)条件组合覆盖:如图对于M:(a+b)>c,(b+c)>a,(a+c)>b取真取假时分别为T1,F1,T2,T3, F2,F3对于N:a==b, b==c取真取假时分别为T4,F4,T5,F5对于O:a==b,b==c, a==c取真取假时分别为T6,F6,T7,F7,T8,F8 对于P:a*a+b*b==c*c,a*a+c*c==b*b,b*b+c*c==a*a取真取假时分别为T9,F9,T10,F10,T11,F11(2)基本路径覆盖:圈复杂度V(G)=5可确定5条独立的路径P1:1P2:2-3P3:2-4-5P4:2-4-6-7P5:2-4-6-8设计用例问题讨论(作业题):教材第三章思考题4(明确:每个判定的右分支是“真”分支、下分支是“假”分支)4.根据如图3-16所示程序流程图,分别用最少的测试用例完成语句覆盖、判定覆盖、条件覆盖和路径覆盖的测试设计。
编号:语句覆盖判定覆盖条件覆盖:对于测试用例:对于M:X>0取真时为T1,取假时F1Y>10取真时为T2,取假时F2对于N:X<-10取真时为T3,取假时F3Y<0取真时为T4,取假时F4路径覆盖补充:修正的条件/判定覆盖(MC/DC)要求对于多个独立条件构成的判定式:●判定中的每个条件的所有可能结果至少取值一次;●判定中的每个条件曾经独立地对判定的结果产生影响;对于n个条件组成的判定式,需要n+1个测试用例满足MC/DC要求。
软件测试的两个方面而已。
白盒测试:是通过程序的源代码进行测试而不使用用户界面。
这种类型的测试需要从代码句法发现内部代码在算法,溢出,路径,条件等等中的缺点或者错误,进而加以修正。
黑盒测试:是通过使用整个软件或某种软件功能来严格地测试, 而并没有通过检查程序的源代码或者很清楚地了解该软件的源代码程序具体是怎样设计的。
测试人员通过输入他们的数据然后看输出的结果从而了解软件怎样工作。
在测试时,把程序看作一个不能打开的黑盆子,在完全不考虑程序内部结构和内部特性的情况下,测试者在程序接口进行测试,它只检查程序功能是否按照需求规格说明书的规定正常使用,程序是否能适当地接收和正确的输出。
白盒测试实例之一——需求说明三角形的问题在很多软件测试的书籍中都出现过,问题虽小,五脏俱全,是个很不错的软件测试的教学例子。
本文借助这个例子结合教学经验,从更高的视角来探讨需求分析、软件设计、软件开发与软件测试之间的关系与作用。
题目:根据下面给出的三角形的需求完成程序并完成测试:一、输入条件:1、条件1:a+b>c2、条件2:a+c>b3、条件3:b+c>a4、条件4:0<a<2005、条件5:0<b<2006、条件6:0<c<2007、条件7:a==b8、条件8:a==c9、条件9:b==c10、条件10:a2+b2==c211、条件11:a2+ c2== b212、条件12:c2+b2== a2二、输出结果:1、不能组成三角形2、等边三角形3、等腰三角形4、直角三角形5、一般三角形6、某些边不满足限制白盒测试实例之二——答案很多初学者一看到这个需求(详见白盒测试实例之一——需求说明收藏),都觉得很简单,然后立刻就开始动手写代码了,这并不是一个很好的习惯。
如果你的第一直觉也是这样的,不妨耐心看到文章的最后。
大部分人的思路:1、首先建立一个main函数,main函数第一件事是提示用户输入三角形的三边,然后获取用户的输入(假设用户的输入都是整数的情况),用C语言来写,这一步基本上不是问题(printf和scanf),但是要求用java来写的话,很多学生就马上遇到问题了,java5.0及之前的版本不容易获取用户的输入。
1.白盒测试用例设计方法1.1. 白盒测试概述由于逻辑错误和不正确假设与一条程序路径被运行的可能性成反比。
由于我们经常相信某逻辑路径不可能被执行,而事实上,它可能在正常的情况下被执行。
由于代码中的笔误是随机且无法杜绝的,因此我们要进行白盒测试。
白盒测试又称结构测试,透明盒测试、逻辑驱动测试或基于代码的测试。
白盒测试是一种测试用例设计方法,盒子指的是被测试的软件,白盒指的是盒子是可视的,你清楚盒子内部的东西以及里面是如何运作的。
1.白盒的测试用例需要做到➢保证一个模块中的所有独立路径至少被使用一次;➢对所有逻辑值均需测试true 和false;➢在上下边界及可操作范围内运行所有循环;➢检查内部数据结构以确保其有效性。
2.白盒测试的目的通过检查软件内部的逻辑结构,对软件中的逻辑路径进行覆盖测试;在程序不同地方设立检查点,检查程序的状态,以确定实际运行状态与预期状态是否一致。
3.白盒测试的特点依据软件设计说明书进行测试、对程序内部细节的严密检验、针对特定条件设计测试用例、对软件的逻辑路径进行覆盖测试。
4.白盒测试的实施步骤1)测试计划阶段:根据需求说明书,制定测试进度。
2)测试设计阶段:依据程序设计说明书,按照一定标准化的方法进行软件结构划分和设计测试用例。
3)测试执行阶段:输入测试用例,得到测试结果。
4)测试总结阶段:比照测试的结果和代码的预期结果,分析错误原因,找到并解决错误。
5.白盒测试的方法总体上分为静态方法和动态方法两大类。
➢静态分析:是一种不通过执行程序而进行测试的技术。
静态分析的关键功能是检查软件的表示和描述是否一致,没有冲突或者没有歧义。
➢动态分析:主要特点是当软件系统在模拟的或真实的环境中执行之前、之中和之后, 对软件系统行为的分析。
动态分析包含了程序在受控的环境下使用特定的期望结果进行正式的运行。
它显示了一个系统在检查状态下是正确还是不正确。
在动态分析技术中,最重要的技术是路径和分支测试。