Boost 库文档 - 正确性与测试
排序方式
正确性与测试
- 断言 (Assert)
-
可定制的断言宏。
- 作者
- Peter Dimov
- 首次发布
- 1.27.0
- 最低 C++ 标准
- 03
- 类别
- 正确性与测试，错误处理与恢复
- 概念检查 (Concept Check)
-
泛型编程工具。
- 作者
- Jeremy Siek
- 首次发布
- 1.19.0
- 最低 C++ 标准
- 03
- 类别
- 正确性与测试，泛型编程
- 契约 (Contract)
-
C++ 的契约式编程。 支持所有契约式编程特性：子契约、类不变量、后置条件（包含旧值和返回值）、前置条件、断言失败时的可自定义操作（例如，终止或抛出异常）、断言的可选编译和检查等。
- 作者
- Lorenzo Caminiti
- 首次发布
- 1.67.0
- 类别
- 正确性与测试
- 安全数值 (Safe Numerics)
-
保证正确的整数运算
- 作者
- Robert Ramey
- 首次发布
- 1.69.0
- 最低 C++ 标准
- 14
- 类别
- 正确性与测试，数学与数值
- 堆栈跟踪 (Stacktrace)
-
收集、存储、复制和打印回溯。
- 作者
- Antony Polukhin
- 首次发布
- 1.65.0
- 最低 C++ 标准
- 11
- 类别
- 正确性与测试，系统
- 静态断言 (Static Assert)
-
静态断言（编译时断言）。
- 测试 (Test)
-
支持简单的程序测试、完整的单元测试以及程序执行监控。
- 作者
- Gennadiy Rozental 和 Raffi Enficiaud
- 首次发布
- 1.21.0
- 最低 C++ 标准
- 11
- 类别
- 正确性与测试
