软件测试的首要目标是______。