Book
Property-Based Testing with PropEr, Erlang, and Elixir
Fred Hebert
Buy on Amazon* The link above is an advertisement via Amazon Associates.
Summary
個別の具体例ではなく、システムが常に満たすべき「不変条件」を検証するパラダイムシフトを提示。 ランダムな入力データ自動生成と反例縮小（Shrinking）により、 エッジケース発見能力を数学的レベルで引き上げる。
Target Readers
- システムの堅牢性を数学的に高めたいエンジニア
- 関数型言語やテスト設計に関心のある開発者
Tags
#testing#property-based-testing#invariants
Colophon
- Publisher
- ラムダノート
- ISBN
- 978-4908686184
- Published
- Nov 2023
- List price
- ¥4,950incl. taxMay differ from the actual selling price on Amazon
Get this book
* The link above is an advertisement via Amazon Associates.Related Books
Prerequisites
- Recommended
Effective Software Testing
A developer's guide
Maurício Aniche
Reason: Once example-based testing techniques are in hand, you advance to property-based testing, which generates inputs broadly and verifies invariants. You let the machine find counterexamples a human would miss and expose gaps in the spec.
Next Books
- Related
フルスタックテスティング
Gayathri Mohan
Reason: Once you can verify invariants, you place that skill within a quality strategy spanning unit, integration, and end-to-end. You design what property each layer guarantees, giving the whole pyramid coherence.