软件检验测试规范标准》
本文介绍了软件测试规范草案，旨在标准化测试流程，提高软件产品的质量。该标准适用于软件测试流程的管理和测试的具体操作过程，使用者可以是企业内部的测试人员和开发人员。
软件测试的方法和技术有多种，其中包括静态测试、动态测试、黑盒测试和白盒测试等。静态测试是指不运行被测程序本身，仅通过分析或检查源程序的文法、结构、过程、接口等来检查程序的正确性。动态测试是指通过运行被测程序，检查运行结果与预期结果的差异，并分析运行效率和健壮性等性能。黑盒测试主要用于软件确认测试，它只检查程序功能是否按照需求规格说明书的规定正常使用，程序是否能适当地接收输入数锯而产生正确的输出信息，并且保持外部信息的完整性。白盒测试则是针对程序内部结构进行测试，主要用于软件验证测试。
总之，软件测试是软件工程的重要组成部分，测试工作的标准化是软件质量保证重要而且必须的环节。各种测试方法和技术都有各自的优缺点，在实际测试中需要根据具体情况选择合适的方法和技术。
白盒测试，也称为结构测试或逻辑驱动测试，是一种了解产品内部工作过程的测试方法，可以
通过测试来检测产品内部动作是否按照规格说明书的规定正常进行。白盒测试的主要方法有逻辑驱动和基路测试，主要用于软件验证。
白盒”法是一种全面了解程序内部逻辑结构，并对所有逻辑路径进行测试的方法。在使用这种方法时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。然而，即使每条路径都测试了，仍然可能存在错误。首先，穷举路径测试无法检测出程序违反了设计规范，即程序本身存在错误。其次，穷举路径测试不可能检测出因遗漏路径而导致的错误。第三，穷举路径测试可能无法检测出与数据相关的错误。
ALAC（Act-like-a-customer）测试是一种基于客户使用产品的知识开发出来的测试方法。它是基于复杂的软件产品存在许多错误的原则。最大的受益者是用户，缺陷查和改正将针对哪些客户最容易遇到的错误。
软件测试流程
单元测试是一种测试方法，其任务包括模块接口测试、模块局部数据结构测试、模块边界条件测试、模块中所有独立执行通路测试以及模块的各条错误处理通路测试。模块接口测试是单元测试的基础，只有在数据能正确流入、流出模块的前提下，其他测试才有意义。
接口测试是测试接口正确与否的一种方法，应该考虑输入的实际参数与形式参数的个数、属性和量纲是否匹配，调用其他模块时所给实际参数的个数、属性和量纲是否与被调模块的形参相同，以及是否存在与当前入口点无关的参数引用、是否修改了只读型参数等因素。如果模块内包括外部输入输出，还应该考虑文件属性是否正确、OPEN/CLOSE语句是否正确、格式说明与输入输出语句是否匹配、缓冲区大小与记录长度是否匹配等因素。
在进行单元测试之后，集成测试是测试软件系统的下一步。以下是集成测试的基本方法：
7.1自顶向下集成测试
自顶向下集成测试是一种逐步集成软件系统的方法。在该方法中，从最高级别的模块开始，逐步将低级别的模块集成进来，直到整个系统被完全集成。这种方法可以及早发现系统级别的问题，但是在集成过程中需要花费大量的时间和精力。
7.2自底向上集成测试
自底向上集成测试是一种从低级别模块开始，逐步集成高级别模块的方法。在该方法中，每个模块都被测试并集成到系统中，直到整个系统被完全集成。这种方法可以更快地发现模块
级别的问题，但是可能会忽略系统级别的问题。
7.3混合集成测试
混合集成测试是自顶向下和自底向上集成测试的结合。在该方法中，从最高级别的模块开始，逐步将低级别的模块集成进来，同时从低级别的模块开始，逐步将高级别的模块集成进来。这种方法可以平衡自顶向下和自底向上集成测试的优缺点。
改写后的文章：
在软件测试中，单元测试和集成测试是非常重要的步骤。在单元测试中，我们需要注意以下几个方面：文件是否已经打开，文件尾是否被处理，输入/输出错误是否被处理，输出信息中是否有错误。在数据测试中，我们需要检查局部数据结构，以保证临时存储在模块内的数据在程序执行过程中完整、正确。局部数据结构往往是错误的根源，应该仔细设计测试用例，力求发现各种错误。除了局部数据结构外，如果可能，单元测试时还应该查清全局数据对模块的影响。