Book
実践プロパティベーステスト
PropErとErlang/Elixirではじめよう
Fred Hebert
Summary
個別の具体例ではなく、システムが常に満たすべき「不変条件」を検証するパラダイムシフトを提示。 ランダムな入力データ自動生成と反例縮小（Shrinking）により、 エッジケース発見能力を数学的レベルで引き上げる。
Target Readers
- システムの堅牢性を数学的に高めたいエンジニア
- 関数型言語やテスト設計に関心のある開発者
タグ
#testing#property-based-testing#invariants
奥付
- 出版社
- ラムダノート
- ISBN
- 978-4908686184
- 出版日
- 2023年11月