填空题 软件测试是为了检查出并改正尽可能多的错误，不断提高软件的（），一个成功的测试则是发现了至今未被发现的（）的测试。至于软件维护则是指（）。

填空题 调用算法是解决问题的关键步骤之一。算法的计算工作量大小和实现算法所需的存储单元多少，分别称为计算的（）和（）。编写程序时，（）和（）是应采纳的原则之一。（）是调试程序的主要工作之一。

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