BDD on Haskell ãã®5 : テスト用ユーティリティ関数ãªã©
å‰å›žã¾ã§ã®ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã¯ã“ã¡ã‚‰ BDD on Haskell ã®ç‚ºã®ãƒ‡ã‚£ãƒ¬ã‚¯ãƒˆãƒªæ§‹æˆã‚’考ãˆã‚‹ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®0 Haskell ã®æµ®å‹•å°æ•°ç‚¹å°æ•°ã®åŒå€¤æ¯”較ã«ã¤ã„㦠BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®1 : HUnit 㧠TDD ã‚’ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®2 : QuickCheck ã§ãƒ©ãƒ³ãƒ€ãƒ テスト BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®3-1 catch ã§ããªã„å“€ã—ã¿ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®3-2 throw Exception を使ã‚ãšåŸºæœ¬ã¯ Either を使ãŠã† BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®3-3 : 仕様変更ã¯ãƒ†ã‚¹ãƒˆã‹ã‚‰ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®4 : リファクタリングã¨ãƒ‘フォーマンスãƒãƒ¥ãƒ¼ãƒ‹ãƒ³ã‚° 今回ã¯ãƒ†ã‚¹ãƒˆã‚³
BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®4 : リファクタリングã¨ãƒ‘フォーマンスãƒãƒ¥ãƒ¼ãƒ‹ãƒ³ã‚°
å‰å›žã¾ã§ã®ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã¯ã“ã¡ã‚‰ BDD on Haskell ã®ç‚ºã®ãƒ‡ã‚£ãƒ¬ã‚¯ãƒˆãƒªæ§‹æˆã‚’考ãˆã‚‹ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®0 Haskell ã®æµ®å‹•å°æ•°ç‚¹å°æ•°ã®åŒå€¤æ¯”較ã«ã¤ã„㦠BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®1 : HUnit 㧠TDD ã‚’ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®2 : QuickCheck ã§ãƒ©ãƒ³ãƒ€ãƒ テスト BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®3-1 catch ã§ããªã„å“€ã—ã¿ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®3-2 throw Exception を使ã‚ãšåŸºæœ¬ã¯ Either を使ãŠã† BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®3-3 : 仕様変更ã¯ãƒ†ã‚¹ãƒˆã‹ã‚‰ 今回ã®ãƒ†ãƒ¼ãƒž 「テスト済ã¿ã®ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã®ãƒ‘フォーマンス改善ã€å‰å›žã¾ã§ã§ä¸€é€šã‚Šã® TDD / BDD ã«ã‚ˆã‚‹ã‚¢ãƒ—ãƒãƒ¼ãƒã§
BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®3-3 : 仕様変更ã¯ãƒ†ã‚¹ãƒˆã‹ã‚‰
å‰å›žã¾ã§ã®ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã¯ã“ã¡ã‚‰ BDD on Haskell ã®ç‚ºã®ãƒ‡ã‚£ãƒ¬ã‚¯ãƒˆãƒªæ§‹æˆã‚’考ãˆã‚‹ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®0 Haskell ã®æµ®å‹•å°æ•°ç‚¹å°æ•°ã®åŒå€¤æ¯”較ã«ã¤ã„㦠BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®1 : HUnit 㧠TDD ã‚’ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®2 : QuickCheck ã§ãƒ©ãƒ³ãƒ€ãƒ テスト BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®3-1 catch ã§ããªã„å“€ã—ã¿ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®3-2 throw Exception を使ã‚ãšåŸºæœ¬ã¯ Either を使ãŠã† 今回ã®ãƒ†ãƒ¼ãƒž - 「テスト済ã¿ã®ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã®ä»•æ§˜å¤‰æ›´ã€å‰å›žæ›¸ã„ãŸã‚ˆã†ã«ï¼ŒIO ãŒçµ¡ã¾ãªã„ã¯ãšã®é–¢æ•°ç¾¤ã« Exception ã‚’ throw ã•ã›ã‚‹ã‚ˆã‚Šã¯ Either <Error> <Success>
BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®3-2 : throw Exception を使ã‚ãšåŸºæœ¬ã¯ Either を使ãŠã†
å‰å›žã®ç¶šã．å‰å›žã¾ã§ã®ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã¯ã“ã¡ã‚‰ BDD on Haskell ã®ç‚ºã®ãƒ‡ã‚£ãƒ¬ã‚¯ãƒˆãƒªæ§‹æˆã‚’考ãˆã‚‹ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®0 Haskell ã®æµ®å‹•å°æ•°ç‚¹å°æ•°ã®åŒå€¤æ¯”較ã«ã¤ã„㦠BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®1 : HUnit 㧠TDD ã‚’ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®2 : QuickCheck ã§ãƒ©ãƒ³ãƒ€ãƒ テスト BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®3-1 : catch ã§ããªã„å“€ã—㿠「ã©ã¡ã‚‰ã‹ã€ã‚’表ç¾ã™ã‚‹ Either åž‹Control.Exception ã® try catch finally ã¯ãã‚‚ãã‚‚ IO モナドã§åˆ©ç”¨ã•ã‚Œã‚‹äº‹ã‚’想定ã—ã¦ã„る．ã¤ã¾ã‚Š 外部ã‹ã‚‰ã®å…¥åŠ›ã‚„ Haskell ã®å®Ÿè¡Œçµæžœã‚’出力ã™ã‚‹å¢ƒç•Œã§ç™ºç”Ÿã™ã‚‹äºˆæœŸã—ãªã„事態ã«å¯¾å¿œã™ã‚‹ç‚ºã®ã‚‚ã®ã ． ãªã®ã§ï¼ŒIO ã«æœ¬å½“ã¯ä¾å˜ã—ã¦ãª
BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®3-1 : catch ã§ããªã„å“€ã—ã¿
å‰å›žã¾ã§ã®ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã¯ã“ã¡ã‚‰ BDD on Haskell ã®ç‚ºã®ãƒ‡ã‚£ãƒ¬ã‚¯ãƒˆãƒªæ§‹æˆã‚’考ãˆã‚‹ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®0 Haskell ã®æµ®å‹•å°æ•°ç‚¹å°æ•°ã®åŒå€¤æ¯”較ã«ã¤ã„㦠BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®1 : HUnit 㧠TDD ã‚’ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®2 : QuickCheck ã§ãƒ©ãƒ³ãƒ€ãƒ テスト å‰å›žã¾ã§ã§ï¼Œã»ã¼ TDD BDD ã®åŸºæœ¬ã¯æ›¸ã„ãŸã®ã ã‘ã©ï¼Œä»Šå›žã¯ä¾‹å¤–ã«ã¤ã„ã¦ï¼Ž Haskell ã®ä¾‹å¤–処ç†Haskell も普通ã®è¨€èªžã‚ˆã‚ã—ã，例外処ç†ã¯ throw try catch 使ãˆã‚‹ï¼Žã‘れ㩠IO ãŒçµ¡ã‚“ã§ãã‚‹å ´åˆã§ãªã„ã¨ã‚ã¾ã‚Šæœ‰ç”¨ã§ã¯ãªã„å°è±¡ï¼Ž throw try catchHaskell ã® try catch throw finally 㯠Control.Exception モジュールã§å®šç¾©ã•ã‚Œ
BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®2 : QuickCheck ã§ãƒ©ãƒ³ãƒ€ãƒ テスト
æ–°å¹´ã®ã”挨拶ã‚ã‘ã¾ã—ã¦ãŠã‚ã§ã¨ã†ã”ã–ã„ã¾ã™ï¼Ž 2012年㯠Schemer, Haskeller ã«ã¨ã£ã¦é£›èºã®å¹´ã§ã‚ã‚Šã¾ã™ã‚ˆã†å¿ƒã‹ã‚‰é¡˜ã†æ‰€å˜ã§ã‚ã‚Šã¾ã™ï¼Ž デザインã«ã¤ã„ã¦ã¯ã‚ã¨æœ€çµ‚勧告ã¾ã§2年を切ã£ãŸ HTML 5 ãŒãã³ãˆãŸã¤ã‚¯ã‚½ã«ãªã‚‰ãªã„事を切ã«ç¥ˆã‚Šï¼Œãƒ¦ãƒ¼ã‚¶ãƒ“リティ，アクセシビリティ，ユースケース，UX をガン無視ã—ãŸã€ŒCSS3ã ã‘ã§å‡ºæ¥ãŸãªã‚“ã¡ã‚ƒã‚‰ã‹ã‚“ã¡ã‚ƒã‚‰ã€ã€Œç¾Žéº—ãªãƒ“ジュアルエフェクトを実ç¾ã™ã‚‹ jQuery プラグインã€ã§è¡†ç›®ã‚’集ã‚ã¦ãªã‚“ã¡ã‚ƒã£ã¦ã‚¯ãƒªã‚¨ã‚¤ãƒ†ã‚£ãƒ–気分を味ã‚ã£ã¦ã‚‹äººãŸã¡ãŒæ»…亡ã—ã¦ãれる事を期待ã—ã¦ã„ã¾ã™ å‰å›žã¾ã§ã®ã‚¨ãƒ³ãƒˆãƒªãƒ¼BDD on Haskell ã®ç‚ºã®ãƒ‡ã‚£ãƒ¬ã‚¯ãƒˆãƒªæ§‹æˆã‚’考ãˆã‚‹ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®0 BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®1 : HUnit 㧠TDD ã‚’ 今回㯠QuickCheck を使ã£ã¦ãƒ©ãƒ³ãƒ€
BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®1 : HUnit 㧠TDD ã‚’
ã™ã“ã—æ—¥ãŒç©ºã„ã¦ã—ã¾ã£ãŸã‘ã©ï¼ŒBDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã®ç¶šã． å‰å›žã¾ã§ã®ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã¯ã“ã¡ã‚‰ BDD on Haskell ã®ç‚ºã®ãƒ‡ã‚£ãƒ¬ã‚¯ãƒˆãƒªæ§‹æˆã‚’考ãˆã‚‹ BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®0 今回㯠HUnit を使ã£ã¦ï¼ŒåŸºæœ¬çš„㪠TDD (BDD ã§ãªã) ã®é€²ã‚æ–¹ã«ã¤ã„ã¦ï¼Ž 例 商ã¨ï¼Œå°æ•°ã®ä½™å‰°ã‚’è¿”ã™é–¢æ•° を定義ã—ã¦ã¿ã‚‹ä»Šå›žã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã§é©å½“ã«ã€Œã‚る程度需è¦ãŒã‚ã£ã¦ï¼Œã‚ã‚‹ã¨ãã‚Œãªã‚Šã«ä¾¿åˆ©ãªã‚‚ã®ã€ã¨ã—ã¦ï¼ŒScheme ã® RSR6 ã§æŽ¡æŠžã•ã‚ŒãŸ div mod ã‚’ã‚„ã£ã¦ã¿ã‚‹ï¼Ž Haskell ã® mod ã«ã¤ã„ã¦Haskell ã®æ¨™æº–実装ã§ã‚ã‚‹ mod rem ã¯æ•´æ•°åž‹ã—ã‹å—付ã‘ãšï¼Œã¾ãŸè¿”ã‚Šã‚‚æ•´æ•°åž‹ãªã®ã§ï¼ŒãŸã¨ãˆã°ï¼ŒJavascript ã‚„ Ruby ã®ã‚ˆã†ã«å°æ•°ã®ä½™å‰°ã‚’è¿”ã™ã“ã¨ã¯ç„¡ã„． $ ghci Prelude> :t mod -- mod
BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®0
å‰å›žã®è¨˜äº‹ã§ Haskell 㧠BDD ã™ã‚‹åŸºæœ¬çš„ãªæ§‹æˆã¯å‡ºæ¥ãŸã®ã§ï¼Œã“ã‚Œã‹ã‚‰å®Ÿéš›ã«ç°¡å˜ãªãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã‚’書ã„ã¦ã¿ã‚‹ï¼Žã‚㨠HPC ã‚’ Cabal ã«è¨å®šã•ã›ã¦ãƒ“ルドテストã‹ã‚‰ãƒ†ã‚¹ãƒˆã‚«ãƒãƒ¬ãƒƒã‚¸ãƒ¬ãƒãƒ¼ãƒˆã‚‚生æˆã•ã›ã‚‹è¦é ˜ã‚‚ã‚ã‹ã£ãŸã®ã§ï¼Œãã£ã¡ã®æº–å‚™ç‰ã‚‚書ã ãã®å‰ã« å‰å›žã®è¨˜äº‹ã®è¿½è¨˜å…¬é–‹ã—ãŸã‚‰ï¼Œã¾ã•ã«ã€Œã‚‚ã£ã¨ã‚¹ãƒžãƒ¼ãƒˆãªæ–¹æ³•ã‚ã‚Šã¾ã™ã‚ˆã€ã¨ã„ã†åå¿œãŒï¼Žã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã£ã¦ã™ã°ã‚‰ã—ã„ GHC 7.0.2 以é™ï¼ŒCabal 10.2 ã 㨠Test-Suite 指定ãŒå‡ºæ¥ã‚‹è‡ªåˆ†ã®ç’°å¢ƒãŒ GHC7.0.2 ãªã®ã« cabal-install ㌠0.8.2 ã¨ã„ã†ã‚ã¹ã“ã¹ãªçŠ¶æ…‹ã ã£ãŸã®ã§ï¼Œå‰å›žã®ã‚ˆã†ãªæ–¹æ³•ã§ã—ã‹ãƒ“ルド構æˆã§ããªã‹ã£ãŸã®ã ã‘ã©ï¼Œå…ƒã€…，GHC 7.0.x åŒæ¢±ã® cabal-install 0.10.x 以é™ã¯ exitcode-stdio ã§ã¡ã‚ƒã‚“ã¨ãƒ†ã‚¹ãƒˆæ§‹æˆã‚’指定ã™ã‚‹äº‹ãŒã§ãる，ã¨ã®ã“ã¨
BDD on Haskell ã®ç‚ºã®ãƒ‡ã‚£ãƒ¬ã‚¯ãƒˆãƒªæ§‹æˆã‚’考ãˆã‚‹
ã²ã•ã—ã¶ã‚Šã® Haskell ãƒã‚¿ 2011/12/13 追記下ã®ä¾‹ã§ app.cabal ã®è¨å®šã‚„ Setup.hs ã®è¨˜è¿°ãªã©ã®æƒ…å ±ãŒå¤ã‹ã£ãŸã®ã§ï¼Œã“ã¡ã‚‰ã‚‚一èªã—ã¦ãã ã•ã„ → BDD on Haskell ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« ãã®0 経緯Haskell ã§ãã‚Œãªã‚Šã®ãƒ—ãƒã‚°ãƒ©ãƒ を書ã„ã¦ã¿ã‚ˆã†ã¨ã—ãŸã®ã§ï¼ŒHUnit ã‚„ QuickCheck を使ã£ã¦ BDD ã§ã‚„ã‚ã†ã¨ã—ãŸã®ã ã‘ã©ï¼ŒHow to write a Haskell program 以上ã®äº‹ã‚’誰も書ã„ã¦ãªã„ã—，HUnit ã‚„ QuickCheck ã®å®Ÿä¾‹ã‚’書ã„ãŸæ—¥æœ¬èªžåœã®ãƒ–ãƒã‚°è¨˜äº‹ã‚‚，ãã®å˜ä½“モジュールã®ãƒ†ã‚¹ãƒˆã®ã¿æ›¸ã„ã¦ã„ã¦ï¼Œè‚心ã®å…¨ä½“テストを通ã—ã§å®Ÿè¡Œã™ã‚‹ãªã©ã®ãƒã‚¿ãŒæ›¸ã‹ã‚Œã¦ã„ãªã„． ã˜ã‚ƒã‚実際ã«å…¬é–‹ã—ã¦ã‚‹ãƒªãƒã‚¸ãƒˆãƒªã§ã‚‚見ã¦ã¿ã‚‹ã‹ã¨æ€ã„，patchtag を見ã¦ã‚‚今度ã¯å…¬é–‹ã—ã¦ã‚‹äººã®æ®†ã©ãŒãƒ†ã‚¹ãƒˆæ›¸ãã¨ã‹ã—ã¦ãªã‹ã£ãŸï¼ŽHaskel
Java ã§ã® BDD（振舞駆動開発）- JDave 㨠Rspec（JRuby ã§å®Ÿè¡Œï¼‰ - ãªã‚“ã¨ãªã㪠Developer ã®ãƒ¡ãƒ¢
ã¾ãšä»•æ§˜ã‚’満ãŸã™ãŸã‚ã®æŒ¯ã‚‹èˆžã„を定義ã—ã€ãã‚Œã«æº–æ‹ ã™ã‚‹ã‚ˆã†ã«ãƒ—ãƒã‚°ãƒ©ãƒ を段階的ã«é–‹ç™ºã—ã¦ã„ã手法 BDD（Behavior Driven Development, 振舞駆動開発）。 ITアーã‚テクト Vol.4 (IDGムックシリーズ) ã§çŸ¥ã£ãŸæ™‚ã«ã€ãã®ã†ã¡è©¦ã™ã¤ã‚‚ã‚ŠãŒã™ã£ã‹ã‚Šå¿˜ã‚Œã¦ã—ã¾ã£ã¦ã„ãŸã€‚今回ã€ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ãƒžã‚¤ãƒ³ãƒ‰ Vol.8 ã®ç‰¹é›†ã®ãŠã‹ã’ã§æ€ã„出ã—ãŸã®ã§ã€ã¨ã‚Šã‚ãˆãšè©¦ã—ã¦ã¿ã‚‹äº‹ã«ã€‚ テーマã¯ã€ŒJava ã®é–‹ç™ºã§ BDD を実施ã™ã‚‹ã«ã¯ã€ã£ã¦äº‹ã§ä»¥ä¸‹ã® 2点を試ã—ã¦ã¿ãŸã€‚ JDave を使ã†ï¼ˆAnt ã‹ã‚‰ã®å®Ÿè¡Œï¼‰ JRuby ã‹ã‚‰ Rspec（Ruby用㮠BDD フレームワーク）を使ㆠã¯ã˜ã‚ã€JDave ã ã‘を試ã™ã¤ã‚‚ã‚Šã ã£ãŸã®ã ãŒã€æ®‹å¿µãªãŒã‚‰ JDave ã¯å·¥å¤«ã•ã‚Œã¦ã„ã‚‹ã‚‚ã®ã® DSL ã£ã½ãç„¡ã„ã—記述ãŒé¢å€’ã«æ„Ÿã˜ã‚‰ã‚ŒãŸã®ã§ã€JRuby ã‹ã‚‰ Rspec 使ã£ãŸæ–¹ãŒå®Ÿç”¨çš„ã‹
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
http://igloo-testing.org/index.html
QueenCheck RSpec 対応 - 鳩舎
GitHub - rosylilly/QueenCheck: like haskell's QuickCheck
{{#tags}}- {{label}}
{{/tags}}