文档介绍：word
word
1 / 56
word
摘要
随着中国IT行业的发展和软件市场的成熟，人们对软件作用期望值越来越高，软件的质量、性能、可靠性等方面也正逐渐成为人们关注的焦点。近年来，由于软件错误而造成经济损失，导致严重后果的事多地找出错误，那么测试就应该直接针对软件比较复杂的部分或是以前出错比较多的位置。如果测试目的是为了给最终用户提供具有一定可信度的质量评价，那么测试就应该直接针对在实际应用中会经常用到的商业假设。在谈到软件测试时，引用Grenford J. Myers在《The Art of Software Testing》一书中的观点:
(1)软件测试是为了发现错误而执行程序的过程;
(2)测试是为了证明程序有错，而不是证明程序无错误;
(3)一个好的测试用例是在于它能发现至今未发现的错误;
(4)一个成功的测试是发现了至今未发现的错误的测试。
这种观点可以提醒人们测试要以查找错误为中心，而不是为了演示软件的正确功能。但是仅凭字面意思理解这一观点可能会产生误导，认为发现错误是软件测试的唯一目，查找不出错误的测试就是没有价值的，事实并非如此。
首先，测试并不仅仅是为了要找出错误。通过分析错误产生的原因和错误的分布特征，可以帮助项目管理者发现当前所采用的软件过程的缺陷，以便改进。同时，这种分析也能帮助我们设计出有针对性地检测方法，改善测试的有效性。其次，没有发现错误的测试也是有价值的，完整的测试是评定测试质量的一种方法。
word
word
4 / 56
word
软件测试的容
验证(verification)是保证软件正确地实现了一些特定功能的一系列活动, 即保证软件做了你所期望的事情。(Do the right thing)
；
, 即采用形式理论证明程序符号设计规约规定的过程；
、审查、测试、检查、审计等各类活动, 或对某些项处理、服务或文件等是否和规定的需求相一致进行判断和提出报告。
确认(validation)是一系列的活动和过程, 目的是想证实在一个给定的外部环境中软件的逻辑正确性。即保证软件以正确的方式来做了这个事件(Do it right)
, 不在计算机上实际执行程序, 通过人工或程序分析来证明软件的正确性；
, 通过执行程序做分析, 测试程序的动态行为, 以证实软件是否存在问题。
软件测试的对象不仅仅是程序测试, 软件测试应该包括整个软件开发期问各个阶段所产生的文档, 如需求规格说明、概要设计文档、详细设计文档, 当然软件测试的主要对象还是源程序。
word
word
5 / 56
word
第二章相关技术和工具介绍
相关技术介绍
按照软件测试用例的设计方法而论，软件测试可分为黑盒测试和白盒测试；
白盒测试
白盒测试也称结构测试或逻辑驱动测试，它是知道产品部工作过程，可通过测试来检测产品部动作是否按照规格说明书的规定正常进行，按照程序部的结构测试程序，检验程序中的每条通路是否都有能按预定要求正确工作，而不顾它的功能，白盒测试的主要方法有逻辑测试、基路测试等，主要用于软件部结构的验证。
黑盒测试
黑盒测试也称功能测试或数据驱动测试，它是在已知产品所应具有的功能，通过测试来检测每个功能是否都能正常使用，在测试时，把程序看作一个不能打开的黑盆子，在完全不考虑程序部结构和部特性的情况下，测试者在程序接口进行测试，它只检查程序功能是否按照需求规格说明书的规定正常使用，程序是否能适当地接收输入数锯而产生正确的输出信息，并且保持外部信息（如数据库或文件）的完整性。黑盒测试方法主要有等价类划分、边界值分析、因—果图、错误推测等，主要用于软件确认测试。
等价类划分:是把所有可能的输入数据,即程序的输入域划分成若干部分（子集）,,常用的黑盒测试用例设计方法.
边界值分析法：:长期的测试工作经验告诉我们,大量的错误是发生在输入或输出围的边界上,,可以查出更多的错误.
word
word
7 / 56
word
前面介绍的等价类划分方法和边界值分析方法,都是着重考虑输入条件,但未考虑输入条件之间的联系, 相互组合等. 考虑输入条件之间的相互组合,可能会产生一些新的情况. 但要检查输入条件的组合不是一件容易的事情, 即使把所有输入条件划分成等价类,他们之间的组合情