RapidCheck

写单元测试只能覆盖自己想到的几个输入，边界情况总是漏掉。RapidCheck 是一个C++ 的属性测试框架，模仿 Haskell 的 QuickCheck，自动生成大量随机输入验证代码性质。

发现失败时会自动缩小到最小反例，样板代码少，可集成 Google Test 等框架。

软件功能

属性测试：随机输入。

自动缩小：最小反例。

少样板：简单易用。

框架集成：Google Test。