- 授权协议: Apache
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: https://github.com/fraunhoferfokus/Fuzzino
软件介绍
Fuzzino 是弗劳恩霍夫研究所（德国也是欧洲最大的应用科学研究机构）研究人员近日开源了一个数据模糊测试（fuzz testing或fuzzing）库。
模糊测试是一种基于缺陷注入的自动软件测试技术，它通过向系统输入大量的随机数据（称为fuzz）企图使系统崩溃，来发现编码错误和软件、操作系统和网络中的安全漏洞。
Fuzzino并不是一个全功能的模糊测试工具，而是一个数据生成器，可产生用于模糊测试的测试数据。你可以将它集成到现有的测试工具中来进行模拟测试，而无需开发专门的工具。
介绍内容来自 iteye
Types and Programming Languages
Benjamin C. Pierce / The MIT Press / 2002-2-1 / USD 95.00
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of typ......一起来看看 《Types and Programming Languages》 这本书的介绍吧!
