Boost 程式庫文件 - 正確性與測試
排序方式
正確性與測試
- Assert
-
可自訂的 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
- 類別
- 正確性與測試
