单项选择题 软件测试可能发现软件中的（），但不能证明软件（）。

填空题 集成测试也叫做（）或（）。通常，在（）的基础上，将所有模块按照设计要求组装成为系统。子系统的集成测试特别称为（），它所做的工作是要找出子系统和系统需求规格说明之间的（）。需要考虑的问题是：在把各个模块连接起来的时候，穿越模块接口的数据是否会（）； 一个模块的功能是否会对另一个模块的功能产生不利的影响；各个（）组合起来，能否达到预期要求的（）；（）是否有问题；单个模块的误差累积起来是否会放大。

填空题 为了把握软件开发各个环节的正确性和协调性，人们需要进行（）和（）工作。（）的目的是想证实在一给定的外部环境中软件的逻辑正确性。它包括（）和（），（）则试图证明在软件生存期各个阶段，以及阶段间的逻辑（）、（）和正确性。