测试框架 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

编程卓越之道

编程卓越之道

海德 / 张菲 / 电子工业出版社 / 2007-4 / 69.00元

《编程卓越之道第二卷:运用底层语言思想编写高级语言代码》是《编程卓越之道》系列书的第二卷,将探讨怎样用高级语言(而非汇编语言)编程得到高效率机器代码。在书中,您可以学到如何分析编译器的输出,以便检验代码的所作所为,从而得到高质量的机器码;了解编译器为常见控制结构生成的典型机器指令,以便在编写高级语言程序时选用恰当的语句;掌握编译器将各种常量和变量类型转换成机器数据的方法,以便于使用这些数据写出又快......一起来看看 《编程卓越之道》 这本书的介绍吧!

HTML 压缩/解压工具
HTML 压缩/解压工具

在线压缩/解压 HTML 代码

JS 压缩/解压工具
JS 压缩/解压工具

在线压缩/解压 JS 代码

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

正则表达式在线测试