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