从一段对话谈起
甲、乙、丙三人对“所有奇数都是质数”这个假设进行测试。
甲说：“3是质数，5是质数，7是质数。看起来这个假设没错。”
乙说：“3是质数，5是质数，7是质数，9是质数，11是质数……”
丙说：“错！9就是一个非质数奇数。”
软件测试就是从一个错误陈述（“系统能正常运行”）开始，从无限种可能中选出与该陈述矛盾的输入。必须避免甲犯过的错误（没有验证合适的值），也要避免犯乙犯过的错误（验证了合适的值，但是没有发现矛盾之处），需要像丙那样，用最小工作量找出合适的反例。
IEEE把软件测试定义为:从通常是无限大的执行域中恰当地选取一组有限测试用例，对照程序已经定义的预期行为，动态地检验程序的行为。
从这个定义可以看出软件测试的四个特点：首先是“动态”，软件测试总要通过一组输入执行程序。但是，单靠输入值并不总能充分地确定一个测试，因为对于复杂、非确定的系统，由于系统会处于不同的状态，因此对于同样的输入可能产生不同的响应。所以，特定的输入通常还要指定系统的特定状态。其次是“有限”，在测试中实际能够观察的执行数量是有限的。测试永远都意味着有限资源和计划进度与本质上是无限测试需求之间的折衷：正是这种矛盾带来了大家经常提到的技术（测试充分性评判准则）和管理（测试工作量估计）两个方面的测试问题。接着是“选取”，很多测试手段的本质区别就是如何选择有限的测试集。针对特定条件确定最合适的选取准则是一个非常复杂的问题，在实践中需要运用风险分析技术和测试工程专门知识。最后是“预期”，必须能够确定所观察到的程序执行输出是不是可接受的，否则测试工作就是无用的。
软件测试通常要在不同层次上执行，大体上划分为三大阶段：单元测试、集成测试和系统测试。单元测试检验独立软件模块的机能，软件模块可以是独立子程序，也可以是由紧密相关的数个单元组成的较大构件，单元测试一般需要对被测代码进行访问并借助调试工具的支持，并且可能需要被测代码编程人员的介入; 集成测试检验系统各部件间的交互性。经典的集成测试策略有自顶向下或自底向上两种，用于传统的、分级的结构化软件系统。现代的集成测试策略更多是结构驱动的，这意味着对软件部件或子系统的集成是基于确定的功能线程，因此集成测试是一个连续活动，在每一阶段测试人员必须抽象出低一级的情况并集中于正在处理的这一级的状况; 系统测试关注的则是整个系统的行为，它需要将系统与非功能性系统需求进行比较，非功能性系统需求指系统的安全性、速率、精确性、可靠性等。系统与其它软件、应用程序、硬件设备或操作环境的外部接口评估也在系统测试中进行。
测试技术分类
从软件生产发达国家来看，20世纪60年代，软件测试主要以代码调试为主；70年代主要以演示软件系统的正确性为主；80年代到90年代中期，主要以检查程序错误为主；90年代中期以后，软件测试开始更注重软件质量特性的整体评估。目前软件测试最主要的目标是评估软件功能，但一般也要测试软件的非功能属性。
目前应用于软件测试领域的技术有很多，而且差别很大，大致有两种分类方法。
第一种是按测试的生成来源划分，即基于测试人员的直觉和经验（即兴测试）、需求规格说明（包括等价类划分、边界值分析、判定表、基于有限状态机、形式化语言转换和随机测试等）、代码结构（基于流程图、调用关系图等参考模型、基于控制流标准、基于数据流的标准）、发现的错误（以过去经验为基础的错误推测法、增加一个被测程序变种的变异测试）、被测程序的使用领域（操作剖面、软件可靠性工程测试）和被测程序类型（面向对象、基于构件、网站、GUI、并发程序、协议一致性、分布式系统、实时系统、科学计算软件测试）的测试技术。
第二种是经典的分类方法，即黑盒测试和白盒测试。依赖于被测软件设计及编码信息进行的测试称为白盒测试（基于代码测试的参考模型、基于控制流标准、基于数据流标准和变异测试等），只依靠被测软件输入/输出行为而没有关于输入/输出之间信息状况的测试称为黑盒测试（等价类划分、边界值分析、判定表、基于有限状态机、源于形式化需求规格说明、错误推测法、随机测试、操作剖面和软件可靠性工程测试等）。
在实际测试中，往往综合采用这些技术。
测试过程有章可循
过程是一组把输入转换为输出的相关活动。不同层次上的测试活动必须与人员、工具、政策、度量一起组织于一个良定义的过程中，这一过程是软件生命周期的完整组成部分。测试过程需要加以控制并进行持续改进。
软件测试过程的决定性因素是人。对于成功的测试来说，一个必要条件是人员对测试活动所采取的积极和相互协作的态度。另外，应该使软件产品涉及的所有人员都认识到：及早发现软件错误是大家共同的目标，而不仅仅是测试人员的责任。
文档是测试过程规范化的一个完整组成部分。IEEE 829完整描述了各种测试文档、文档间关联及文档与测试过程间的关联。测试文档包括测试计划、测试设计说明、测试过程说明、测试案例说明、测试日志和测试事件或问题报告等。用于测试过程控制与改进的度量包括:设计的测试用例数、执行的测试用例数、通过的测试用例数、失败的测试用例数等。
测试管理的一个关键性任务是决定什么样的测试是充分的，某个测试阶段何时可以终止。对此，充分性度量和错误密度估价、操作可靠性评估都可提供有益支持，但只有这些还不充分。决策还应考虑潜在的遗留失效可能造成的损失和风险，并将之与进一步测试所需成本进行对比。为使测试和维护工作有组织、成本效益高，应将各测试手段系统化地加以重用。为此，应在测试的各个层次，对测试脚本、测试用例和预期结果进行精心定义并记录。
用于特定环境、特定类型程序的测试方案，以及决策动机，构成了测试模式。测试模式本身也可文档化，并可重用于以后的类似项目。
延伸阅读
文章来源于领测软件测试网 https://www.ltesting.net/
