什么是软件测试，主要测试哪些内容？

软件测试主要工作内容，包括两个方面验证（verification）和确认（validation）。

验证(verification)是保证软件正确地实现了一些特定功能的一系列活动， 即保证软件以正确的方式来做了这个事件。

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

2.程序正确性的形式证明，即采用形式理论证明程序符合设计规约规定的过程。

3.评审、审查、测试、检查、审计等各类活动，或对某些项处理、服务或文件等是否和规定的需求相一致进行判断和提出报告。

确认（validation）是一系列的活动和过程，目的是想证实在一个给定的外部环境中软件的逻辑正确性。即保证软件做了你所期望的事情。

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

2.动态确认，通过执行程序做分析，测试程序的动态行为，以证实软件是否存在问题。

其实，软件测试的对象不仅仅是程序测试，软件测试应该包括整个软件开发期间各个阶段所产生的文档，如需求规格说明、概要设计文档、详细设计文档，当然软件测试的主要对象还是源程序。

软件测试 中会涉及到判定覆盖(Decision Coverage)这个概念，判定覆盖又称为分支覆盖，其原则是设计足够多的测试用例，在测试过程中保证每个判定至少有一次为真值，有一次为假值。判定覆盖的作用是使真假分支均被执行，虽然判定覆盖比语句覆盖测试能力强，但仍然具有和语句覆盖一样的单一性。以图3-1及其程序为例，设计判定覆盖测试用例。如表3-1所示。

由表3-1可以看出，这4个测试用例覆盖了acd、abd、ace、abe4条路径，使得每个判定语句的取值都满足了各有一次“真”与“假”。相比于语句覆盖，判定覆盖的覆盖范围更广泛。判定覆盖虽然保证了每个判定至少有一次为真值，有一次为假值，但是却没有考虑到程序内部的取值情况，例如，测试用例test4，没有将x>2作为条件进行判断，仅仅判断了z>0的条件。

判定覆盖语句一般是由多个逻辑条件组成的，如果仅仅判断测试程序执行的最终结果而忽略每个条件的取值，必然会遗漏部分测试路径，因此，判定覆盖也属于弱覆盖。

---