针对软件程序模块进行正确性检验的测试工作的是（）。

软件测试不是为了证明软件的正确性，而是立足于软件有错误而进行的。() SPOOLing系统主要包括输入程序模块、输出程序模块和（）三部分。 测试四个程序模块共发现了42个错，则( )。 软件测试工具也是测试设备的一种。以下关于软件测试工具的叙述，正确的是（　　）。 微型的服务性程序包括软件调试工具、_____诊断和_____检查程序、测试程序、开发软件等。 ● 软件测试信息流的输入包括（18） 。①软件配置（包括软件开发文档、目标执行程序、数据结构）②开发工具（开发环境、数据库、中间件等）③测试配置（包括测试计划、测试用例、测试驱动程序等）④测试工具（为提高软件测试效率，使用测试工具为测试工作服务）（18） 软件测试信息流的输入包括______。 <br/>①软件配置（包括软件开发文档、目标执行程序、数据结构） ②开发工具（开发环境、数据库、中间件等） ③测试配置（包括测试计划、测试用例、测试驱动程序等） ④测试工具（为提高软件测试效率，使用测试工具为测试工作服务）（） 划分程序模块时要注意程序模块的内聚度应尽可能小（） 系统软件的服务性程序包括软件调试工具、()诊断和故障检查程序、测试程序、开发软件等。 系统软件可分为（）用户指令解释程序及标准程序模块和系统调用。 以下关于Visual Basic程序模块的描述正确的是 编写测试计划的目的是______。 ①测试工作顺利进行 ②使项目参与人员沟通更舒畅 ③使测试工作更加系统化 ④软件过程规范化的要求 ⑤控制软件质量 编写测试计划的目的是（）①使用测试工作顺利进行②使项目参与人员沟通更舒畅 ③使测试工作更加系统化④软件过程规范化的要求 ⑤控制软件质量 什么软件测试的核心，是测试工作的指导，是软件测试必须遵守的准则，是软件测试质量稳定的根本保障（） 根据模块的功能描述，输入测试数据，考察输出结果的正确性，该测试方法是( ) Robot是一个面向对象的软件测试工具，主要针对Web、ERP和C/S进行功能自动化测试。() Robot是一个面向对象的软件测试工具，主要针对Web、ERP和C/S进行功能自动化测试（） 软件测试的目的是尽可能发现软件中的错误，通常【 】是在代码编写阶段进行的测试，它是整个测试工作的基础。 检验程序正确性的方法不包括（）方法。 检验程序正确性的方法不包括（）方法。