验证
验证是保证软件正确地实现了一些特定功能的一系列活动,即保证软件做了你所期望的
事情。
1.确定软件生存周期中的一个给定阶段的产品是否达到前阶段确立的需求的过程;
2.程序正确性的形式证明,即采用形式理论证明程序符号设计规约规定的过程;
确认
1.静态确认,不在计算机上实际执行程序,通过人工或程序分析来证明软件的正确性;
2.动态确认,通过执行程序做分析,测试程序的动态行为,以证实软件是否存在问题。
软件测试的分类
一、 常用分类
1.
从是否需要执行被测软件的角度,可分为:
-静态测试
-动态测试
2.
从测试是否针对系统的内部结构和具体实现算法的角度来看,可分为 :
-白盒测试
-黑盒测试
二、黑盒测试和白盒测试
黑盒测试:
指的是把被测软件看作是一个黑盒子,我们不去关心盒子里面的结构是什么样子,只关
心软件的输入数据和输出结果。
黑盒测试方法是在程序接口上进行测试,主要是为了发现以下错误:
• 是否有不正确或遗漏了的功能?
• 在接口上,输入能否正确地接受? 能否输出正确的结果?
• 是否有数据结构错误或外部信息(例如数据文件)访问错误?
•性能上是否能够满足要求?
• 是否有初始化或终止性错误?
黑盒测试的测试用例设计
•等价划分法
•边界值法
•错误推测法
•因果图法
白盒测试:
白盒测试的主要方法:
1.基本路径测试
2.逻辑驱动测试:
•
语句覆盖
•
判断覆盖
•
条件覆盖