微信公众号搜"智元新知"关注
微信扫一扫可直接关注哦!

Tavor 测试框架

程序名称:Tavor

授权协议: MIT

操作系统: 跨平台

开发语言: Google Go

Tavor 介绍

Tavor (Sindarin for woodpecker)
一个易于实施的模糊测试(fuzzing)和三角调试算法(delta-
debugging
)框架。它有自己的格式,是一个类似EBNF的符号格式,它允许你定义文件格式、协议和其他结构化数据,且无需编写任何源码。目前这种格式是
Tavor 框架的认格式,支持框架提供的功能

Tavor 放松了对模糊测试和三角调试的定义,以便它的算法能够用在关键驱动测试、基于模型的测试、仿真用户行为测试和遗传算法编程中。Tavor
也是非常适合在没有重新实现基本算法的情况下研究新方法

Tavor 格式和框架也易于扩展和更改。但 Tavor 框架的代码必须是确定的。那也就是说,没有功能是被允许有自己源码或随机种子(seed of
randomness)。定义一个随机生成器必须确定实现方式,以便相同的随机种子能够产生相同的结果。这也适用于编写测试和并发代码

Tavor 官网

https://github.com/zimmski/tavor

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 [email protected] 举报,一经查实,本站将立刻删除。

相关推荐