【正确答案】[答案(要点)]
   目前软件测试的基本方法有：动态测试、静态测试和正确性证明。
   具体的测试手段有：程序调试(程序排错)法、穷举测试(又称完全测试)法、路径测试(包括循环测试)、作业流测试和输入确认测试。