Tavor(Sindarinforwoodpecker)是一个易于实施的模糊测试（fuzzing）和三角调试算法（delta-debugging）框架。它有自己的格式，是一个类似EBNF的符号格式，它允许你定义文件格式、协议和其他结构化数据，且无需编写任何源码。目前这种格式是Tavor框架的默认格式，支持框架提供的功能。Tavor放松了对模糊测试和三角调试的定义，以便它的算法能够用在关键驱动测试、基于模型的测试、仿真用户行为测试和遗传算法编程中。Tavor也是非常适合在没有重新实现基本算法的情况下研究新方法。Tavor格式和框架也易于扩展和更改。但Tavor框架的代码必须