Boost C++ Libraries

...one of the most highly regarded and expertly designed C++ library projects in the world. Herb Sutter and Andrei Alexandrescu, C++ Coding Standards

Boost Library Documentation - Correctness and testing

Correctness and testing

Assert

Customizable assert macros.

Author(s)
Peter Dimov
First Release
1.27.0
C++ Standard Minimum Level
03
Categories
Correctness and testing, Error handling and recovery
Concept Check

Tools for generic programming.

Author(s)
Jeremy Siek
First Release
1.19.0
C++ Standard Minimum Level
03
Categories
Correctness and testing, Generic Programming
Contract

Contract programming for C++. All contract programming features are supported: Subcontracting, class invariants, postconditions (with old and return values), preconditions, customizable actions on assertion failure (e.g., terminate or throw), optional compilation and checking of assertions, etc.

Author(s)
Lorenzo Caminiti
First Release
1.67.0
Categories
Correctness and testing
Safe Numerics

Guaranteed Correct Integer Arithmetic

Author(s)
Robert Ramey
First Release
1.69.0
C++ Standard Minimum Level
14
Categories
Correctness and testing, Math and numerics
Stacktrace

Gather, store, copy and print backtraces.

Author(s)
Antony Polukhin
First Release
1.65.0
C++ Standard Minimum Level
11
Categories
Correctness and testing, System
Static Assert

Static assertions (compile time assertions).

Author(s)
John Maddock
First Release
1.19.0
C++ Standard Minimum Level
03
Categories
Correctness and testing, Generic Programming, Template Metaprogramming
Test

Support for simple program testing, full unit testing, and for program execution monitoring.

Author(s)
Gennadiy Rozental and Raffi Enficiaud
First Release
1.21.0
C++ Standard Minimum Level
03
Categories
Correctness and testing