动态黑盒测试：带上眼罩测试软件

不深入代码细节测试软件的方法称为动态黑盒测试。其常被称为行为测试，因为测试的是软件在使用过程中的实际行为。

有效的动态测试需要关于软件行为的一些定义——即需求文档或者产品说明书。不必了解软件“盒子”内发生的事情——只需知道输入A输出B或执行操作C得到结果D。好的产品说明书会提供这些细节信息。

清楚了被测试软件的输入和输出之后，接下来要开始定义测试用例。测试用例是指进行测试时使用的特定输入，以及测试软件的过程步骤。

注意：选择测试用例是软件测试员最重要的一项任务。不正确的选择可能导致测试量过大或者过小，甚至测试目标不对。准确评估风险，把无穷尽的可能性减少到可以控制的范围是成功的诀窍。

通过性测试和失效性测试

测试软件有两种基本方法：通过性测试和失效性测试。

在进行通过性测试时，实际上是确认软件至少能做什么，而不会考验其能力。

确信软件在普通情况下能正常运行之后，就可以采取各种手段搞垮软件来找出缺陷。纯粹为了破坏软件而设计和执行的测试用例称为失效性测试或者错误强制测试。

等价类划分

选择测试用例是软件测试员最重要的任务。选择测试用例的方法是等价类划分，也称等价划分。等价类划分是指分步骤地把海量测试用例集减地很小，但过程同样有效。

等价类划分的目标是把可能的测试用例集缩到可控制且仍然足以测试软件的小范围内。因为选择了不完全测试，就要冒一定的风险，所以选择分类时必须仔细。

数据测试

对软件最简单的认识就是将其分成两部分：数据和程序。数据包括键盘输入、鼠标单击、磁盘文件、打印输出等。程序是指可执行的流程、转换、逻辑和运算。软件测试常用的一个方法是把测试工作按同样的形式划分。

对数据进行软件测试，就是在检查用户输入的信息、返回的结果以及中间计算结果是否正确。
数据的例子如下：
在文字处理程序中输入的文字。
电子表格中输入的数据。
太空游戏中余下的射击次数。

使所有这些数据得以测试的技巧是，根据一些关键的原则进行等价类划分，以合理减少测试用例，这些关键的原则是：边界条件、次边界条件、空值和无效数据。

边界条件

边界条件是特殊情况，因为编程从根本上说在边界上容易产生问题。

次边界条件

有些边界在软件内部，最终用户几乎看不到，但是软件测试员仍有必要进行检查。这样的边界条件称为次边界条件或者内部边界。

状态测试

软件测试的另一方面是通过不同的状态验证的程序的逻辑流程。软件状态是软件当前所处的条件或模式。

软件通过代码执行进入某一个分支，触发一些数据位，设置某些变量，读取某些数据，转入一个新的状态。