有限回溯测试模式产生相关论文