计算机软件可靠性测试概述-----计算机软件测试论文昆明理工大学信息院计算机应用技术时间：2010-12-18软件测试的定义是在1983年由IEEE在软件工程标准术语中给出的：使用人工或自动手段来运行或评价某个系统或系统部件的过程，其目的在于检验它是否满足规定的需求；或是弄清预期结果和实际结果之间的差别。该定义非常明确地指出了软件测试是以检验是否满足需求为目标。软件测试是为了找出错误和缺陷而进行的，而不是为了证明软件的正确性。保证软件产品的质量，需要从软件开发过程、开发技术水平、软件测试等多方面进行保障。而软件测试又是保障软件质量的最重要的手段之一。软件可靠性测试是软件开发过程中的一个环节，软件可靠性测试的目的是对软件的可靠性进行验证。是软件生命周期的一个重要阶段和关键步骤。通过排除软件测试中发现的错误和缺陷，可以有效实现软件可靠性的增长。随着软件规模的不断扩大，软件功能的不断增加，软件测试的难度进一步提高，软件产品的可靠性也更加难以度量。由于目前在软件可靠性方面还没有建立起权威性的管理体系和规范，建立的许多软件可靠性模型在一定程度上描述了软件可靠性，但均存在局限性，至今尚无哪一个模型能够适合广泛的应用。因此从事软件可靠性测试与评估研究是一个具有理论价值和实际意义的工作。一.软件测试软件测试指为了发现错误而执行程序的过程。它是根据软件开发各阶段的规格说明和程序的内部结构精心设计一批测试用例，用这些测试用例去执行程序，以发现程序错误的过程。软件测试追求的是通过系统的测试方法，发现软件中的错误。软件测试是软件开发过程中一个非常重要的阶段。其目标是在精心控制的环境下执行程序，以发现程序中的错误，给出程序可靠性的鉴定。1.1静态分析静态分析的基本特征是在对软件进行分析、审查和测试时不实际运行被测程序。而是采用其它手段达到检测的目的。由专用的软件测试工具评审软件文档或程序，度量程序静态复杂度，检查软件是否符合编程标准，借以发现编写的程序的不足之处，减少错误出现的概率。静态分析是对被测程序进行特性分析的一些方法的总称。这些方法本身各有自己的目标和步骤。比如，有的是要收集一些程序信息，以利于查找程序中的各种欠缺和可疑的程序构造：有的只是从程序中提出语义的或结构要点，供进一步分析。静态分析只是对代码进行扫描分析，检测它的语法规则等是否规范，以发现程序的不足之处。它主要是为软件的质量保证提供依据，以提高软件的可靠性和易维护性。静态分析包含对软件开发过程中的软件需求、设计和编码所生成的文档的检验。(1)需求分析阶段检验需求分析文档与用户要求是否一致：检验所有参加项目人员对需求分析文档和用户要求的理解是否正确。(2)设计阶段检验设计(概要设计和详细设计)是否与需求分析文档一致；设计的结构化程序及每个模块是否合理；检验每个模块是否符合系统规范要求；检验模块与系统间的组合，特别重要的输入及边界条件下的组合。(3)编码阶段逐行地阅读、校验书面程序是否正确，以便发现代码中的错误，及对计算机环境规范方面的差错。1.2动态测试“动态测试”也就是要经过程序运行测试用例而进行的测试，所以动态测试常称“程序测试”。程序测试通常有“黑盒测试”和“白盒测试”之分。如果软件产品具备的功能已经知道，测试软件产品的每一个功能是否达到了预期的要求，这种测试称为黑盒测试；如果知道软件程序的内部活动方式，测试程序内部活动是否符合设计要求，这种测试称为“白盒测试”。黑盒测试(Black-BoxTesting)又称功能测试，数据驱动测试(DataDrivingTesting)或基于规格说明的测试。在进行黑盒测试时，仅把软件当作一个黑盒，只需知道程序输出和输入之间的关系或者程序的功能。因此，黑盒测试是从用户的观点出发的测试。它是从软件需求出发，根据软件需求规格说明设计测试用例，并根据测试用例的要求运行被测程序的测试方法。它较少关心程序内部的实现过程，侧重于程序的执行结果，将被测程序看成是不可见的黑盒子，因此被称为黑盒测试。黑盒测试着重于验证软件功能和性能的正确性，其典型测试项目包括功能测试、性能测试、边界测试、强度测试等。白盒测试(White—BoxTesting)又称结构测试，逻辑驱动测试或基于程序的测试。采用这一测试方法，测试者必须看到被测的源程序，分析程序的内部结构，并根据其内部构造设计测试用例。白盒测试是一种按照程序内部的逻辑结构和编码结构设计并执行测试用例的测试方法。采用这种测试方法，测试者需要掌握被测程序的内部结构。白盒测试通常根据覆盖准则设计测试用例，使程序中的每个语句、每个条件分支、每个控制路径都在程序测试中受到检验。白盒测试需要运行程序，并能在运行过程中跟踪程