Boost C++ 库

...世界上最受推崇和专业设计的 C++ 库项目之一。 Herb SutterAndrei Alexandrescu, C++ 编码标准

Boost 1.88.0 库文档 - 正确性和测试

正确性和测试

断言

可自定义的断言宏。

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

泛型编程工具。

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

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

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

保证正确的整数算术

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

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

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

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

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

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

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