実践プロパティベーステスト PropErとErlang/Elixirではじめよう

本書では、Erlang/Elixirで利用可能なPropErというフレームワークを利用し、基本的なアプローチによるプロパティベーステストはもちろん、生成したいテストケースが互いに独立でない場合のプロパティベーステストや、状態に依存するシステムに対するプロパティベーステストなど、高度な応用事例についても紹介します。 本格的なアプリケーション開発を通して、プロパティベーステストの基礎から極北までを体験できる、唯一無二の解説書です。