- 授权协议: MIT
- 开发语言: Google Go
- 操作系统: 跨平台
- 软件首页: https://github.com/zimmski/tavor
软件介绍
Tavor (Sindarin for woodpecker) 是一个易于实施的模糊测试（fuzzing）和三角调试算法（delta-debugging）框架。它有自己的格式，是一个类似EBNF的符号格式，它允许你定义文件格式、协议和其他结构化数据，且无需编写任何源码。目前这种格式是 Tavor 框架的默认格式，支持框架提供的功能。
Tavor 放松了对模糊测试和三角调试的定义，以便它的算法能够用在关键驱动测试、基于模型的测试、仿真用户行为测试和遗传算法编程中。Tavor 也是非常适合在没有重新实现基本算法的情况下研究新方法。
Tavor 格式和框架也易于扩展和更改。但 Tavor 框架的代码必须是确定的。那也就是说，没有功能是被允许有自己源码或随机种子（seed of randomness）。定义一个随机生成器必须确定实现方式，以便相同的随机种子能够产生相同的结果。这也适用于编写测试和并发代码。
有限与无限的游戏
[美]詹姆斯·卡斯 / 马小悟、余倩 / 电子工业出版社 / 2013-10 / 35.00元
在这本书中，詹姆斯·卡斯向我们展示了世界上两种类型的「游戏」：「有限的游戏」和「无限的游戏」。 有限的游戏，其目的在于赢得胜利；无限的游戏，却旨在让游戏永远进行下去。有限的游戏在边界内玩，无限的游戏玩的就是边界。有限的游戏具有一个确定的开始和结束，拥有特定的赢家，规则的存在就是为了保证游戏会结束。无限的游戏既没有确定的开始和结束，也没有赢家，它的目的在于将更多的人带入到游戏本身中来，从而延续......一起来看看 《有限与无限的游戏》 这本书的介绍吧!
