ElixirでProperty-Based Testing - Qiita
のような関数がある場合このadd関数の引数を2つとってそれぞれを足してその結果を返すという性質(特性)をPropertyと呼びます Propertyとは 以上のことからPropertyとは一言で言えばプログラムの特性と言えます なのでProperty-Based Testingは特性に基づいてテストすることといえます Example-Based Testingがプログラマが期待する入力値と出力値を元にテストすることと比較して、プログラムの特性に基づいてテストするというところが違います この特性をテストするためにProperty-Based Testingでは大量のサンプルデータを自動的に生成してテストをします Example-Based Testingがたった一つの正しい答えに基づいてプログラムの正当性を保障するのに対して、Property-Based Testingは一度の正しさを保障す
Property-Based Testing with PropEr, Erlang, and Elixir
Hi there! This is Property-Based Testing with PropEr, Erlang, and Elixir, a book on Property-Based Testing. It's pretty much the friendliest intro to property testing you'll find. The book teaches you how to automatically generate test cases, test stateful programs, and change how you design your software for more principled and reliable approaches. You will be able to better explore the problem s
StreamData: Property-based testing and data generation
In this blog post, we’ll talk about property-based testing and sample data generation. We’ll cover what these are, why we want them in Elixir, and what are are plans for the future. If you want to use the features discussed here or you want to read more formal documentation, head over to stream_data, which is a library that currently provides both features (albeit in beta form) and which is where
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
EMx 006: Elixir and Property-based testing with Vitaly Tatarintsev
Reversing BIP-39 and the Power of Property Testing
Property-based testing | What did I learn
ExUnitProperties — StreamData v1.1.2
StreamData — StreamData v1.1.2
