ExCheck – QuickCheck for Elixir
Just uploaded a property-based testing library for Elixir (QuickCheck style). It’s trial implementation, but basic features are now working with ExUnit.
I was taking a scala course at coursera, and one exercise was to use scalacheck, which is the scala version of QuickCheck. QuickCheck is an automatic specification-based testing library. The original one is developped on Haskell, and it’s ported to many languages. There’re several Erlang’s libraries too, but I couldn’t easily use it on elixir, since the predicates are based on macros. Then, I tried to create a wrapper for one of the library (krestenkrab/triq – GitHub).
I didn’t know about the QuickCheck before, but it’s pretty much interesting concept. The declarative testings work as more clear specification, and also it helps on creating test-data. Thinking about test-data with boundary or abnormal conditions are sometimes cumbersome, but QuickCheck with various generators helps it nicely.