Property Based Testing - scalapropsã¨scalacheckã¨ãã®ä»–色々
class: center, middle # Property Based Testing scalapropsã¨scalacheckã¨ãã®ä»–色々 [](https://creativecommons.org/licenses/by/2.1/jp/) --- class: middle <img src="image/xuwei.gif" alt="アイコン" width="100" height="100" /> - twitter [@xuwei_k](https://twitter.com/xuwei_k) - github [@xuwei-k](https://github.com/xuwei-k) - blog <https://x
GitHub - pholser/junit-quickcheck: Property-based testing, JUnit-style
junit-quickcheck is a library that supports writing and running property-based tests in JUnit, inspired by QuickCheck for Haskell. Property-based tests capture characteristics, or "properties", of the output of code that should be true given arbitrary inputs that meet certain criteria. For example, imagine a function that produces a list of the prime factors of a positive integer n greater than 1.
QuickCheckã®Arbitraryã®ã‚„㤠- ã¯ã‚ã‚ーã£
QuickCheckã§ãƒ†ã‚¹ãƒˆã«ä½¿ã‚れるランダムãªå€¤ã®è¨å®šã¨ã‹ã€‚ QuickCheckを使ã†ã«ã¯ Test.QuickCheck モジュールãŒå¿…è¦ã€‚ å‚考: 本物ã®ãƒ—ãƒã‚°ãƒ©ãƒžã¯Haskellを使ㆠ- 第17回 QuickCheckã§ãƒ‡ãƒ¼ã‚¿é§†å‹•åž‹ãƒ†ã‚¹ãƒˆã‚’è¡Œã†ï¼šITpro 本物ã®ãƒ—ãƒã‚°ãƒ©ãƒžã¯Haskellを使ㆠ- 第18回 QuickCheckを使ã£ã¦ã§ãã‚‹ã“ã¨ã¨ã§ããªã„ã“ã¨ï¼šITpro ランダムã«å€¤ã‚’生æˆã™ã‚‹ã®ã« arbitrary を使ã£ã¦ 生æˆã•ã‚Œã‚‹å€¤ã‚’ã¿ã‚‹ã«ã¯ sample を使ã†ã€‚ >>> sample (arbitrary :: Gen Int) -1 0 -1 0 13 -6 -71 105 535 -259 167 >>> sample (arbitrary :: Gen [Int]) [] [2] [4,4] [-5,0] [-17,-20,31,2] [-3,48,-31
Testing IO actions with Monadic QuickCheck
The Test.QuickCheck.Monadic module lets you test monadic code, even things that run in IO. A monadic property test is of type PropertyM m a, where m is the monad the test runs in and a is ultimately ignored. In the case of PropertyM IO a, you convert the monadic test to a Property by using monadicIO; for all other monads, you use monadic instead (which takes a function to run the monad, something
ClassLaws
The specification of a class in Haskell often starts with stating, in text, the laws that should be satisfied by methods defined in instances of the class, followed by the type of the methods of the class. The ClassLaws library is a framework that supports testing such class laws using QuickCheck. Our framework is a light-weight class law testing framework, which requires a limited amount of work
Test stream programming using Haskell's `QuickCheck`
pipes is a stream programming library built on top of a foundation of basic category theory. The core of the library consists of a set of five categories that all intersect in a single streaming data type and the library's contract is the set of associated category laws. For example, one such category is the "respond category", which pipes uses to implement for loops and ListT. The two key operati
GitHub - marick/Midje: Midje provides a migration path from clojure.test to a more flexible, readable, abstract, and gracious style of testing
To make tests more readable, Midje makes them look like examples in Clojure books. Here's how The Joy of Clojure uses syntax to explain Clojure: Here's the same fact about Clojure in Midje, expressed in a way that's just as readable but also machine-checkable: While Midje assumes you'll be building a test suite with lasting value, it allows you to do that while still using the repl in an idiomatic
「ScalaCheck User Guide〠日本語訳 — Combined Pages
「ScalaCheck User Guide〠日本語訳ã“ã®æ–‡ç« ã¯ï¼Œä»¥ä¸‹ã®ã‚µã‚¤ãƒˆã®ç¿»è¨³ã§ã™ï¼Ž ScalaCheck User Guide : Updated Jul 17, 2011 User Guideã§ã¯ä½¿ç”¨ä¾‹ã¨ã—ã¦v1.7ãŒä½¿ç”¨ã•ã‚Œã¦ã„ã¾ã™ã®ã§æ³¨æ„ã—ã¦ãã ã•ã„． 訳文 : github - krrrr38/scalacheck-user-guide-ja translated by @krrrr38 ã“ã®ãƒ†ã‚ストã¯Pamfletã«ã‚ˆã‚Šä½œæˆã—ã¾ã—ãŸï¼Ž 「ScalaCheck User Guide〠日本語訳ã“ã®æ–‡ç« ã¯ï¼Œä»¥ä¸‹ã®ã‚µã‚¤ãƒˆã®ç¿»è¨³ã§ã™ï¼Ž ScalaCheck User Guide : Updated Jul 17, 2011 User Guideã§ã¯ä½¿ç”¨ä¾‹ã¨ã—ã¦v1.7ãŒä½¿ç”¨ã•ã‚Œã¦ã„ã¾ã™ã®ã§æ³¨æ„ã—ã¦ãã ã•ã„． 訳文 : github - krrrr38/scalacheck-us
ScalaCheck: The Definitive Guide
Published June 16, 2014 137 pages (eBook) 148 pages (Paper Book) ScalaCheck: The Definitive Guide Property-based testing on the Java Platform by Rickard Nilsson ScalaCheck is a library that facilitates automated specification-based testing of Scala or Java software applications, originally inspired by the QuickCheck library of Haskell. ScalaCheck: The Definitive Guide explains the big ideas behind
Haskellã®å˜ä½“テスト最å‰ç·š kazu-yamamoto/unit-test-example · GitHub
#Haskellã®å˜ä½“テスト最å‰ç·š [To English] ã“ã‚Œã¯Haskell Advent Calendar 2012ã®5日目ã®è¨˜äº‹ã§ã™ã€‚ Haskellã§ä½œæˆã—ãŸãƒ‘ッケージã«å¯¾ã—ã¦ã€å˜ä½“テストを書ããŸã‚ã®æœ€æ–°æƒ…å ±ã‚’ãŠå±Šã‘ã—ã¾ã™ã€‚以下ã®è¨˜äº‹ã§ã¯ã€Haskell Platform 2014.2.0.0 以é™ã‚’使ã†ã“ã¨ã‚’å‰æã¨ã—ã¾ã™ã€‚ ##è¦ç´„ è¦ç‚¹ã¯4ã¤ã§ã™ã€‚ 利用者ã«è¦‹ã›ãŸã„振る舞ã„ã¯ã€doctest ã§æ›¸ã 利用者ã«è¦‹ã›ãŸããªã„振る舞ã„ã¯ã€hspec ã§æ›¸ã テストを自動化ã™ã‚‹ãƒ•ãƒ¬ãƒ¼ãƒ ワークã¨ã—ã¦ã¯ Cabal を使ㆠdoctest ã§ã‚‚ hspec ã§ã‚‚ã€ç´”粋ãªã‚³ãƒ¼ãƒ‰ã«å¯¾ã—ã¦ã¯ã€ã§ãã‚‹ã ã‘ QuickCheck ãªã©ã®æ€§è³ªãƒ†ã‚¹ãƒˆã‚’書ã ã“ã®è¨˜äº‹ã§ä¸€ç•ªä¼ãˆãŸã„ã®ã¯ã€3) ã§ã™ã€‚例題ã¨ã—ã¦ã¯ã€Base64 ã¨ã„ã†ç¬¦å·åŒ–ã‚’å–り上ã’ã¾ã™ã€‚Base64 ã¯çŸ¥ã£ã¦ã„ã‚‹ã¨ä»®å®šã—ã¦è©±ã‚’進ã‚ã¾ã™
Scalaã®ãƒ¦ãƒ‹ãƒƒãƒˆãƒ†ã‚¹ãƒˆå…¥é–€ - seratch's weblog in Japanese
何を使ã†ã¹ãã‹ï¼Ÿ å…¬å¼ã‚µã‚¤ãƒˆã®Forumã«ã¦ http://www.scala-lang.org/node/9826 Java ã«ãŠã‘ã‚‹ JUnit ã®ã‚ˆã†ãªãƒ‡ãƒ•ã‚¡ã‚¯ãƒˆã‚¹ã‚¿ãƒ³ãƒ€ãƒ¼ãƒ‰ã¯ãªã„ã®ï¼Ÿ ScalaTest を使ã†ã¨ã—ã¦ã©ã®ã‚¹ã‚¿ã‚¤ãƒ«ãŒä¸€èˆ¬çš„？(JUnitã€BDDã€Featuresã€FunSuite・・) ScalaTestã€specs(specs2)ã€ScalaCheckã€JUnitã€TestNG ã‚ãŸã‚ŠãŒé¸æŠžè‚¢ ã©ã‚Œã‹ä¸€ã¤ã«çµžã‚‹ã¨ã„ã†ã‚ˆã‚Šã€ScalaTest 㨠ScalaCheck を併用ã®ã‚ˆã†ãªä½¿ã„方もアリ ç§ã¯ ScalaTest ã‚’ BDD スタイルã§ä½¿ã†ã“ã¨ãŒå¤šã„ ScalaCheck ã®å…¥åŠ›ã‚’自動生æˆã™ã‚‹ã‚¢ãƒ—ãƒãƒ¼ãƒã¯æ©Ÿèƒ½ãƒ†ã‚¹ãƒˆã®ã‚ˆã†ãªã‚‚ã®ã«ç‰¹ã«å‘ã„ã¦ã„ã‚‹ ç§ã®ç’°å¢ƒ(Java/Scala ãŒæ··åœ¨ã™ã‚‹ maven プãƒã‚¸ã‚§ã‚¯ãƒˆ)ã«ã¯ ScalaTest よりも specs ã®
ãŸã®ã—ã„Haskellã®ãƒ„ールãƒã‚§ã‚¤ãƒ³ã¨C++ - 純粋関数空間
ã¨ã„ã†ã‚¿ã‚¤ãƒˆãƒ«ã§ã€å…ˆæ—¥ã€ç¤¾å†…ã®å…¬é–‹ã‚»ãƒŸãƒŠãƒ¼ã§è©±ã—ã¾ã—ãŸã€‚ 発表資料ã¯ã“ã¡ã‚‰ã€‚ Haskellã®ãƒ†ã‚¹ãƒˆãƒ•ãƒ¬ãƒ¼ãƒ ワークã¨ãƒ™ãƒ³ãƒãƒžãƒ¼ã‚¯ãƒ•ãƒ¬ãƒ¼ãƒ ワークãŒã‚ˆãã§ãã¦ã„ã‚‹ã®ã§ã€ ã“れをC++ã§ã‚‚使ãˆã‚‹ã‚“ã˜ã‚ƒãªã„ã‹ã¨ã„ã†å†…容ã§ã™ã€‚ æ¦‚è¦ èƒŒæ™¯ã¨ã—ã¦ã€QuickCheck ã‚’ã‚‚ã£ã¨å¤šãã®äººã«çŸ¥ã£ã¦/使ã£ã¦è²°ã„ãŸã„ã¨ã„ã†ã®ãŒã‚ã‚Šã¾ã™ã€‚ QuickCheckã¯ã€æ™®æ®µã‹ã‚‰ä½¿ã£ã¦ã„る人間ã‹ã‚‰ã™ã‚‹ã¨ã€ã‚ˆãã„ã‚ã„ã‚ãªãƒã‚°ã‚’拾ã£ã¦ãれるã¨ã¦ã‚‚便利ãªã‚‚ã®ãªã®ã§ã™ãŒã€ 残念ãªãŒã‚‰æ™®æ®µé–‹ç™ºã«åˆ©ç”¨ã—ã¦ã„ã‚‹C++ã«ã¯ç›¸å½“ã®ã‚‚ã®ã§å®Œæˆåº¦ã®é«˜ã„ã‚‚ã®ãŒè¦‹å½“ãŸã‚Šã¾ã›ã‚“。 ã ã‹ã‚‰ã¨ã„ã£ã¦ã€ãã“ã‹ã‚‰ä½œã‚‹ãŸã‚ã«C++ã®ãƒ†ãƒ³ãƒ—レートをã„ã˜ãã‚Šã¾ã‚ã™ã«ã¯ã€ç§ã¯ã‚‚ã†è€ã„ã¦ã—ã¾ã„ã¾ã—㟠（与ãˆã‚‰ã‚ŒãŸé–¢æ•°ã«ãƒ©ãƒ³ãƒ€ãƒ ãªå…¥åŠ›ã‚’与ãˆã‚‹ã ã‘ãªã‚‰ç°¡å˜ãªã®ã§ã™ãŒã€ã‚¸ã‚§ãƒãƒ¬ãƒ¼ã‚¿ã‚’自由ã«ã„ã˜ã‚Œã‚‹æ©Ÿèƒ½ãŒã‚„ã¯ã‚Šæ¬²ã—ã„ã¨ã“ã‚ã§ï¼‰ã€‚ ãã†æ€ã£ãŸæ™‚ã«ã€FFIを使ãˆã¦QuickC
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
scalazcheck
FsCheck
lens-properties
quickcheck-webdriver
quickcheck-regex
PureScript Community Blog - Test your Javascript with QuickCheck
ã¯ã˜ã‚ã¦ã® test.generative - tnoda-clojure
GitHub - VoQn/macchiato: BDD + QDD testing framework for JavaScript
{{#tags}}- {{label}}
{{/tags}}