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