rapidcheck

RapidCheck()](https://travis-ci.org/emil-e/rapidcheck)

RapidCheck 是一个基于属性的测试 C++ 框架,灵感来自 QuickCheck 和其他类似的框架。在基于属性的测试中,您可以声明有关代码的事实,这些事实在一定的前提条件下总是正确的。然后 RapidCheck 会生成随机测试数据,尝试找到属性不成立的情况。如果找到这样的情况,RapidCheck 会尝试找到最小的情况(根据某种最小情况的定义),该情况的属性仍然为假,然后将其显示为反例。例如,如果输入是整数,RapidCheck 将尝试找到最小的整数,该整数的属性为假。

听起来很有意思吗? 为什么不阅读 用户指南 来了解更多信息!

• 以命令式方式编写属性,使其适用于 C++。 - 测试用例缩减。 - 为 STL 类型(包括映射和集合)提供出色的支持。 - 使用高级组合器创建自己的生成器。 - 基于命令的状态机,类似于 Erlang QuickCheck。 - 集成到流行的测试框架,如 Boost Test、Google Test 和 Google Mock。

RapidCheck 使用 CMake 并像其他 CMake 项目一样构建。如果您的项目使用 CMake，您只需将 RapidCheck 设置为一个子目录，并在 CMakeLists.txt 中添加以下内容：