测试框架 Tavor

码农软件 · 软件分类 · 测试工具 · 2019-11-22 11:29:06

软件介绍

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

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

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

本文地址:https://www.codercto.com/soft/d/19538.html

《电脑报》2005年合订本(上下)

《电脑报》2005年合订本(上下)

电脑报社主编 / 西南师范大学出版社 / 2006-1 / 45.00元

全套上、下两册,浓缩2005年电脑报精华文章;附录包含70余篇简明IT应用指南,涵盖软件、硬件、数码、网络四大领域,配赠权威实用的2005-2006中国计算机年鉴光盘,近1.4GB海量信息与资源超值奉献,提供2005-2006全系列硬件、数码产品资讯,兼具知识性与资料性,连结购买每年《电脑报合订本》,你将拥有一套完整的实用大型电脑文库。一起来看看 《《电脑报》2005年合订本(上下)》 这本书的介绍吧!

CSS 压缩/解压工具
CSS 压缩/解压工具

在线压缩/解压 CSS 代码

图片转BASE64编码
图片转BASE64编码

在线图片转Base64编码工具

正则表达式在线测试
正则表达式在线测试

正则表达式在线测试