软件测试只能证明程序有错误，不能证明程序没有错误。

一般说来，模块的内聚程度越高，它们之间的耦合程度也就越高。（）

判断题一般说来，模块的内聚程度越高，它们之间的耦合程度也就越高。（）

在软件的开发过程中，工作量最大的一个阶段就是编写程序。

判断题在软件的开发过程中，工作量最大的一个阶段就是编写程序。

（）是极可能发现了迄今为止尚未发现的错误的测试方案。

填空题（）是极可能发现了迄今为止尚未发现的错误的测试方案。