软件测试时，发现错误产生的原因依赖于所使用的调试策略，而主要的调试方法包括试探法、回溯法、______和演绎法。