Tavor測試框架

Tavor (Sindarin for woodpecker) 是一個易于實施的模糊測試（fuzzing）和三角調(diào)試算法（delta-debugging）框架。它有自己的格式，是一個類似EBNF的符號格式，它允許你定義文件格式、協(xié)議和其他結構化數(shù)據(jù)，且無需編寫任何源碼。目前這種格式是 Tavor 框架的默認格式，支持框架提供的功能。

Tavor 放松了對模糊測試和三角調(diào)試的定義，以便它的算法能夠用在關鍵驅動測試、基于模型的測試、仿真用戶行為測試和遺傳算法編程中。Tavor 也是非常適合在沒有重新實現(xiàn)基本算法的情況下研究新方法。

Tavor 格式和框架也易于擴展和更改。但 Tavor 框架的代碼必須是確定的。那也就是說，沒有功能是被允許有自己源碼或隨機種子（seed of randomness）。定義一個隨機生成器必須確定實現(xiàn)方式，以便相同的隨機種子能夠產(chǎn)生相同的結果。這也適用于編寫測試和并發(fā)代碼。