Boost C++ 库

...世界上最受推崇和精心设计的 C++ 库项目之一。 Herb SutterAndrei AlexandrescuC++ 编码标准

Boost 库文档 - 正确性和测试

正确性和测试

Assert

可定制的断言宏。

作者
Peter Dimov
首次发布
1.27.0
C++ 标准最低级别
03
类别
正确性和测试错误处理和恢复
概念检查

泛型编程工具。

作者
Jeremy Siek
首次发布
1.19.0
C++ 标准最低级别
03
类别
正确性和测试泛型编程
Contract

C++ 的契约式编程。所有契约式编程功能都受支持:子契约、类不变式、后置条件(带旧值和返回值)、前置条件、断言失败时的可定制操作(例如,终止或抛出)、断言的可选编译和检查等。

作者
Lorenzo Caminiti
首次发布
1.67.0
类别
正确性和测试
安全数值

保证正确的整数运算

作者
Robert Ramey
首次发布
1.69.0
C++ 标准最低级别
14
类别
正确性和测试数学和数值
Stacktrace

收集、存储、复制和打印回溯。

作者
Antony Polukhin
首次发布
1.65.0
C++ 标准最低级别
11
类别
正确性和测试系统
静态断言

静态断言(编译时断言)。

作者
John Maddock
首次发布
1.19.0
C++ 标准最低级别
03
类别
正确性和测试泛型编程模板元编程
Test

支持简单的程序测试、完整的单元测试以及程序执行监控。

作者
Gennadiy Rozental 和 Raffi Enficiaud
首次发布
1.21.0
C++ 标准最低级别
11
类别
正确性和测试