软件检验测试规范标准》.pdfVIP

软件检验测试规范标准》--第1页

软件检验测试规范标准》

本文介绍了软件测试规范草案，旨在标准化测试流程，提

高软件产品的质量。该标准适用于软件测试流程的管理和测试

的具体操作过程，使用者可以是企业内部的测试人员和开发人

员。

软件测试的方法和技术有多种，其中包括静态测试、动态

测试、黑盒测试和白盒测试等。静态测试是指不运行被测程序

本身，仅通过分析或检查源程序的文法、结构、过程、接口等

来检查程序的正确性。动态测试是指通过运行被测程序，检查

运行结果与预期结果的差异，并分析运行效率和健壮性等性能。

黑盒测试主要用于软件确认测试，它只检查程序功能是否按照

需求规格说明书的规定正常使用，程序是否能适当地接收输入

数锯而产生正确的输出信息，并且保持外部信息的完整性。白

盒测试则是针对程序内部结构进行测试，主要用于软件验证测

试。

总之，软件测试是软件工程的重要组成部分，测试工作的

标准化是软件质量保证重要而且必须的环节。各种测试方法和

软件检验测试规范标准》--第1页

软件检验测试规范标准》--第2页

技术都有各自的优缺点，在实际测试中需要根据具体情况选择

合适的方法和技术。

白盒测试，也称为结构测试或逻辑驱动测试，是一种了解

产品内部工作过程的测试方法，可以通过测试来检测产品内部

动作是否按照规格说明书的规定正常进行。白盒测试的主要方

法有逻辑驱动和基路测试，主要用于软件验证。

白盒”法是一种全面了解程序内部逻辑结构，并对所有逻

辑路径进行测试的方法。在使用这种方法时，测试者必须检查

程序的内部结构，从检查程序的逻辑着手，得出测试数据。然

而，即使每条路径都测试了，仍然可能存在错误。首先，穷举

路径测试无法检测出程序违反了设计规范，即程序本身存在错

误。其次，穷举路径测试不可能检测出因遗漏路径而导致的错

误。第三，穷举路径测试可能无法检测出与数据相关的错误。

ALAC（Act-like-a-customer）测试是一种基于客户使用产

品的知识开发出来的测试方法。它是基于复杂的软件产品存在

许多错误的原则。最大的受益者是用户，缺陷查找和改正将针

对哪些客户最容易遇到的错误。

软件检验测试规范标准》--第2页

软件检验测试规范标准》--第3页

单元测试是一种测试方法，其任务包括模块接口测试、模

块局部数据结构测试、模块边界条件测试、模块中所有独立执

行通路测试以及模块的各条错误处理通路测试。模块接口测试

是单元测试的基础，只有在数据能正确流入、流出模块的前提

下，其他测试才有意义。

接口测试是测试接口正确与否的一种方法，应该考虑输入

的实际参数与形式参数的个数、属性和量纲是否匹配，调用其

他模块时所给实际参数的个数、属性和量纲是否与被调模块的

形参相同，以及是否存在与当前入口点无关的参数引用、是否

修改了只读型参数等因素。如果模块内包括外部输入输出，还

应该考虑文件属性是否正确、OPEN/CLOSE语句是否正确、

格式说明与输入输出语句是否匹配、缓冲区大小与记录长度是

否匹配等因素。

在进行单元测试之后，集成测试是测试软件系统的下一步。

以下是集成测试的基本方法：

7.1自顶向下集成测试

自顶向下集成测试是一种逐步集成软件系统的方法。在该

方法中，从最高级别的模块开始，逐步将低级别的模块集成进

软件检验测试规范标准》--第3页

软件检验测试规范标准》--第4页

来，直到整个系统被完全集成。这种方法可以及早发现系统级