This is a transcript of a talk given at ElixirDaze and CodeBEAMSF conferences in March of 2018, dealing with supervision trees and with the unexpected. Among other things, I'm a systems architect, which means that my job is mostly coming up with broad plans, and taking the merit if they go well and otherwise blaming the developers if it they go wrong. More seriously, a part of my job is helping ma
Elixir 1.6または1.7から入るらしいProperty-Based Testingとは何なのかを見ていきます Property-Based Testingとは 以下のようにサンプルになる値をテストするいつものやり方をExample-Based Testingと呼ぶとします のような関数がある場合このadd関数の引数を2つとってそれぞれを足してその結果を返すという性質(特性)をPropertyと呼びます Propertyとは 以上のことからPropertyとは一言で言えばプログラムの特性と言えます なのでProperty-Based Testingは特性に基づいてテストすることといえます Example-Based Testingがプログラマが期待する入力値と出力値を元にテストすることと比較して、プログラムの特性に基づいてテストするというところが違います この特性をテストするためにP
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
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
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く