Property Based Testing introduction

Property Based Testing!

Transcript

1. Property Based Testing のススメ @petitviolet 1 / 34
2. みなさん、UT書いてますか？ 2 / 34
3. 調べてみましょう 3 / 34
4. 書いてることにしておきましょう 4 / 34
5. 正直めんどくさいですよね 5 / 34
6. テストケース考えてテストデータ作るの、 めんどくさいですよね？ 6 / 34
7. Property Based Testing 7 / 34
8. Property Based Testingって？ テストデータをランダムに自動生成して、生成された値に対して条件を満たすかど うか判定するテスト。 8 / 34
9. Property Based Testingって？ テストデータをランダムに自動生成して、生成された値に対して条件を満たすかど うか判定するテスト。 普段JUnitとかScalaTestで書いているテストはExample Based Testingと呼ばれ るもの。 名前の通り、あるテストデータを用意してそれに対して条件を満たすかどうか判定 するテストのこと。 9 / 34
10. どんな感じ？ 英字からなる文字列を自動生成したものと、それをreverseしてreverseしたもの が全て等しくなることをテストしている。 10 / 34
11. どんな感じ？ もうちょっとそれっぽい例。 この をテストしたい。 つまり、 は入力が0∼120の値なら でそうでないなら を返 すことをテストしたい。 11 / 34
12. Example Based Testingする まずはいつも通り書いてみるとこんな感じ。 成功 失敗
13. ちょっとまとめてみるとこうなる。 成功 失敗 13 / 34
14. Property Based Testingする 続いてPropertyBasedTestingなスタイルで書いてみるとこんな感じ。 14 / 34
15. Property Based Testingする 続いてPropertyBasedTestingなスタイルで書いてみるとこんな感じ。 成功 失敗 何をしているかは何となく察せるはず。 に を与えて値を生成してテストしている。 15 / 34
16. わかりやすい...ですよね？ 16 / 34
17. Scalaだけ？ 17 / 34
18. Scalaだけ？ そんなことはない Scala rickynils/scalacheck scalaprops/scalaprops Java pholser/junit‒quickcheck ncredinburgh/QuickTheories JavaScript jsverify/jsverify Elm TheSeamau5/elm‒check 各言語に何かしら実装があるので、何も無いことはないはず。 18 / 34
19. 前準備 ScalaのPropertyBasedTestingフレームワークとして今回は rickynils/scalacheck: Property‒based testing for Scalaを使う。 19 / 34
20. 依存の追加 既に例にもあったようにUTの一部としてPropertyBasedTestを記述できるように ScalaTestと併用する。 詳しくはScalaTestのドキュメントを参照。 build.sbtに以下を書く。 これで他のテスト(XxxSpec)を書きつつ、必要に応じてPropertyBasedTestを入 れていける。 20 / 34
21. 必要なclass/traitをextendsする ScalaTestとScalaCheckを併用するために必要な準備。 今回はScalaCheckの を使ってデータ生成したいので、 をextendsしておく。 こんな感じになる。 21 / 34
22. これで以下のようにテストを書ける。 すればSuccessするはず。 22 / 34
23. いろんなものを生成してみる 実装はscalacheck/Gen.scalaを参照。 23 / 34
24. 文字列の自動生成 まずはシンプルに文字列を生成して組み合わせてみる 英字 数字 生成 的 処理 24 / 34
25. の自動生成 こんなのもある 生死絵 適当 25 / 34
26. 電話番号を自動生成 と のあわせ技でやれる 式 合成 26 / 34
27. 電話番号を自動生成 と のあわせ技でやれる 式 合成 こんな感じで生成される
28. 決まった文字数の文字列を生成する パスワードって8文字‒30文字だったりする。 文字数 適当 選択 長 生成 28 / 34
29. それっぽい例2 さっきの生成器を使ってパスワードのテストしてみる。 29 / 34
30. テストを書く 文字 文字 文字 30 / 34
31. なんとなく雰囲気伝わりましたか？ 31 / 34
32. 結局何が嬉しいのか データの生成を自動化出来る 生成のルールさえ記述すれば良い テストデータが1つ1つ正しいかどうかチェックしなくてよい 生成のルールさえ確認すれば良い 取りうる値に対する認識が深まる 生成ルールを作るためには境界条件を知っていないといけない 自動生成したデータに勝手に境界値が入ってくれる 結果としてドメインに対する理解も深まる 32 / 34
33. ぜひ使ってみて欲しい テストデータを自動生成してみるだけにでも使ってみる 普段のUT書くのがちょっと楽になるかも 少しずつデータの自動生成に詳しくなっていくと便利に使えるようになる 全て自動生成するのは限界だし結局大変 簡単にデータ生成できそうなところから置き換えていく 33 / 34
34. Thank you! 34 / 34