ScalaCheck をつかって Java の性質テスト (Property-based Testing) をしてみる
はじめに# Property-based Testing というものを知ったので, Java でできるか試してみました. Property-based Testing とは# うまい日本語訳がないのだが, この記事では性質テストとする. ある集合のなかにある要素から取り出した値をつかって, 総当たりテストをして, 条件式がなりたつことを確認するテスト. よく数学の問題で, 任意の x について hogehoge がなりたつことを証明せよ みたいなのがあるが, hogehoge が 性質にあたるもの. 上手く説明できないので, 大量の参照リンクをはっておく. mog project: Scala: Property-Based Testing with ScalaTest and ScalaCheck ソフトウェアの品質を学びまくる:Property-based Testing, そして E
JavaでProperty-Based testing その２ [junit-quickcheck] - Qiita
テストツールAdventCalendar 2015 18日目の記事です。 導入 先日、ランダムデータを作ってテストしたいケースがあり、ランダムデータ生成やProperty-based testingのライブラリを探しました。 jPopulatorに続き、junit-quickcheckを試してみることにしました。 readmeを読みながら試してみます 使い方 まず、もっともシンプルな使い方です。 import com.pholser.junit.quickcheck.JUnitQuickcheck; import com.pholser.junit.quickcheck.Property; import org.junit.runner.RunWith; import static org.junit.Assert.*; @RunWith(JUnitQuickcheck.class) pu
![JavaでProperty-Based testing その２ [junit-quickcheck] - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/6bee09594342db5cf702216de4b9cd99b8dc9435/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Fadvent-calendar-ogp-background-7940cd1c8db80a7ec40711d90f43539e.jpg%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9SmF2YSVFMyU4MSVBN1Byb3BlcnR5LUJhc2VkJTIwdGVzdGluZyUyMCVFMyU4MSU5RCVFMyU4MSVBRSVFRiVCQyU5MiUyMCU1Qmp1bml0LXF1aWNrY2hlY2slNUQlMjAmdHh0LWFsaWduPWxlZnQlMkN0b3AmdHh0LWNvbG9yPSUyMzNBM0MzQyZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT01NiZzPThkZmFiOTNlNTFlNGY0OTAxNGQ0NjQxOWUzMDcyNjFk%26mark-x%3D120%26mark-y%3D96%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9OTcyJnR4dD0lNDBjYWN0YWNlYWUmdHh0LWNvbG9yPSUyMzNBM0MzQyZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT0zNiZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZzPTJiZGQ5OWU3YTQzZTA5YjVhOGJhYzgzYTMzMjY4Y2U0%26blend-x%3D120%26blend-y%3D500%26blend-mode%3Dnormal%26s%3Dacae274e83ff1a5b736e3c3adee881db)
JavaでProperty-Based testing その１ [JPopulator + Junit] - Qiita
テストツールAdventCalendar 2015 11日目の記事です。 1日遅れてしまってすいません。 導入 先日、ランダムデータを作ってテストしたいケースがあり、ランダムデータ生成やProperty-based testingのライブラリを探しました。 そこで見つけたjPopulatorが簡単に使えて便利そうだったので紹介しようと思います。 使い方 まず、もっともシンプルな使い方です。 Populator generator = new PopulatorBuilder().build(); generator.populateBean(Person.class); populateBeanメソッドの引数に指定したクラスのデータが自動的に生成できます。 他のフレームワークに依存しておらず、たったこれだけの記述でランダムデータを生成できます。 また、フィールドにクラスがある場合も自動的に
![JavaでProperty-Based testing その１ [JPopulator + Junit] - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/f5c43ad3e22fc0b8410b565ca9afb055d09713b0/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Fadvent-calendar-ogp-background-7940cd1c8db80a7ec40711d90f43539e.jpg%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9SmF2YSVFMyU4MSVBN1Byb3BlcnR5LUJhc2VkJTIwdGVzdGluZyUyMCVFMyU4MSU5RCVFMyU4MSVBRSVFRiVCQyU5MSUyMCU1QkpQb3B1bGF0b3IlMjAlMkIlMjBKdW5pdCU1RCZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZ0eHQtY29sb3I9JTIzM0EzQzNDJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnM9ZTRlMDE3M2ZiNTU5MTkxZGY4ZThjODlmMWI0N2MxNzE%26mark-x%3D120%26mark-y%3D96%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9OTcyJnR4dD0lNDBjYWN0YWNlYWUmdHh0LWNvbG9yPSUyMzNBM0MzQyZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT0zNiZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZzPTJiZGQ5OWU3YTQzZTA5YjVhOGJhYzgzYTMzMjY4Y2U0%26blend-x%3D120%26blend-y%3D500%26blend-mode%3Dnormal%26s%3D21c49e38ebb92c0b03342fd9471a5d5d)
【速報】JUnit5 はこうなる!?【プロトタイプ】 | DevelopersIO
渡辺です。 DevelopersIOでの100本目のエントリーがJUnitネタとなりました。 自分がJUnit実践入門を執筆したのは2011年から2012年にかけてです（出版が2012年11月）。 それからJava8がリリースされていますが、JUnit4自体は大きな進化はしていませんでした。 昨日、JUnit Lambda Prototypeが公開されました。 まだプロトタイプということで、今後の変更は大きいかと思いますが、いよいよ次世代のJUnitの足音が聞こえてきた感じがします。 今回は、このドキュメントからJUnit Lambdaの概要と方針について速報をお送りしたいと思います。 なお、現在JUnitチームでは、このプロトタイプに対するフィードバックを募集しています。 ここはこうじゃないとかはてブコメントする前にTwitterやGitHubでフィードバックを！ JUnit Lambd
JavaのユニットテストにSpockを適用する - Qiita
アトラクションルームクラス。ルームに人を追加するaddメソッドを持つ。キャパシティは合計20あり、男性の大人は3、女性の大人は2、子供は男女とも1を消費する。キャパシティがいっぱいになったら満員で、それ以上は人を追加できない package spockexample; import org.junit.Before; import org.junit.experimental.runners.Enclosed; import org.junit.experimental.theories.DataPoints; import org.junit.experimental.theories.Theories; import org.junit.experimental.theories.Theory; import org.junit.runner.RunWith; import stati
JUnit 4.12の新機能紹介まとめ - うさぎ組
全国50万のJUnit4ユーザーさん。使っている言語とテスティングフレームワークののMLとGithubやBitBucketリポジトリを監視していると思うので今さらかもしれませんが、2014/7/30にJUnit4.12 Beta-1がリリースされました。 結構楽しい機能が追加されているので、見逃している方のために情報を共有させていただければと思います。 基本的にリリースから抜粋しながら紹介ですがご容赦ください。 Release Notes junit/ReleaseNotes4.12.md at master · junit-team/junit · GitHub 全体の感想 JUnit4がおれの足元にやっと追いついたと思った。（今までJUnitとSpockを魔改造しまくってた。） テストランナー系 クラス階層化 JUnit魔改造コミュニティに朗報です。私たちのテストランナーでよしなにやっ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
