◆

测试是为了发现程序中的错误而执行程序的过程；

◆

好的测试方案是极可能发现迄今为止尚未发现的错误的测试方案；

◆

成功的测试是发现了至今为止尚未发现的错误的测试。

1.3.3 软件测试的内容

软件测试主要工作内容是验证和确认，下面分别给出其概念：
验证是保证软件正确地实现了一些特定功能的一系列活动，即保证软件做

了你所期望的事情。

◆

确定软件生存周期中的一个给定阶段的产品是否达到前阶段确立的需求的

过程；

◆

程序正确性的形式证明，即采用形式理论证明程序符号设一计规约规定的

过程；

◆

评市、审查、测试、检查、审计等各类活动，或对某些项处理、服务或文件等是

否和规定的需求相一致进行判断和提出报告。

确认是一系列的活动和过程，目的是想证实在一个给定的外部环境中软件

的逻辑正确性，即保证软件以正确的方式来做了这个事件。

◆

静态确认，不在计算机上实际执行程序，通过人工或程序分析来证明软

件的正确性；

◆

动态确认，通过执行程序做分析，测试程序的动态行为，以证实软件是否

存在问题。

第二章