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
IMVU Engineering Blog – Software engineering best practices at IMVU
While writing the source code of a 3D engine, we can have many types of problems. These may range from simple problems of code that will not compile, to harder problems like memory leaks. At IMVU, we have automated solutions in place to help find these kinds of problems. For example, unit testing combined with Valgrind has helped us track down a lot of memory leak problems. But what about performa
Porting the Pusher integration tests to Haskell | Pusher blog
Those of you who use Pusher will know that the APIs we expose are small and straightforward to use. But this hides the complexity of what is going on behind the scenes. The sheer volume of messages (around 5 billion messages a day and approaching 1.25 trillion since we started counting) has necessitated a large, \[…\] Those of you who use Pusher will know that the APIs we expose are small and stra
Hspec: A Testing Framework for Haskell
User's Manual Hspec is a testing framework for Haskell. Some of Hspec's distinctive features are: a friendly DSL for defining tests integration with QuickCheck, SmallCheck, and HUnit parallel test execution automatic discovery of test files Here is an example for the impatient: cabal update && cabal install --package-env=. --lib hspec hspec-contrib QuickCheck HUnit -- file Spec.hs import Test.Hspe
LenzBlog - Testing a Yesod+Angular JS Application
Testing a Yesod+Angular JS Application By John Lenz. December 17, 2013. Recently I have been investigating the best way of integrating AngularJs into a Yesod application, and I discussed the design I settled on in the previous post. One of the key design philosophies of Angular is to make testing easy. I was pleasantly surprised how easy it is to use the already developed testing tools with only a
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
GREE Haskell test-sandbox by gree
A framework to manage external applications for system tests View the Project on GitHub gree/haskell-test-sandbox Download ZIP File Download TAR Ball View On GitHub Description test-sandbox is a framework to manage external applications and communicate with them via TCP or standard I/O for system testing in a sandboxed environment. The Test.Sandbox monad can either be used stand-alone or in conjun
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 は知っていると仮定して話を進めます
HaskellでCIするなら - maoeのブログ
函数プログラミングの集いのランチで聞かれたのでHaskellのテスト環境についてまとめます。 githubに置いているコードを面倒な設定なしにテストしたい → cabal test + travis-ciがおすすめ クローズドなコードなんだけど、どうしよう → jenkinsでもセットアップしましょう もう少し細かいメトリクスとかとりたい → test-framework + jenkins cabal test + travis-ci cabal testに対応したコードをGitHubに置いていて、お手軽に済ませたいならこれが一番です。特徴は、 とにかくカンタン セットアップはリポジトリのトップにlanguage: haskellとだけ書いた.travis.ymlというファイルを置いて、travis-ciからONにするだけ。 http://about.travis-ci.org/docs
たのしいHaskellのツールチェインとC++ - 純粋関数空間
というタイトルで、先日、社内の公開セミナーで話しました。 発表資料はこちら。 Haskellのテストフレームワークとベンチマークフレームワークがよくできているので、 これをC++でも使えるんじゃないかという内容です。 概要 背景として、QuickCheck をもっと多くの人に知って/使って貰いたいというのがあります。 QuickCheckは、普段から使っている人間からすると、よくいろいろなバグを拾ってくれるとても便利なものなのですが、 残念ながら普段開発に利用しているC++には相当のもので完成度の高いものが見当たりません。 だからといって、そこから作るためにC++のテンプレートをいじくりまわすには、私はもう老いてしまいました （与えられた関数にランダムな入力を与えるだけなら簡単なのですが、ジェネレータを自由にいじれる機能がやはり欲しいところで）。 そう思った時に、FFIを使えてQuickC
Read the Latest CI CD News
Introduction Measuring and improving the productivity of DevOps teams has long been a major challenge. From purely technical metrics to more business-oriented ones, the choice of metrics often remains a… Among all the tools aimed at orchestrating containers, the two leading players are Docker Swarm and Kubernetes. Both provide solutions for container application management, as well as container ap
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 : リファクタリングとパフォーマンスチューニング 今回はテストコ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Automatic spec discovery - Hspec: A Testing Framework for Haskell
GitHub - karun012/arion
GitHub - Lambda-Logan/faker: Faker is pure Haskell library for generating fake data.
SBT-like features in the Haskell build ecosystem
HTF
http://documentup.com/feuerbach/tasty
test-framework-golden