双重编程验证工具