Tag Archives: Ulf Norell

  • Testing Eventual Consistency in Riak
    2012-05-28 Erlang Central

    Videos



    Riak is one of the new breed of no-SQL database management systems, which has begun to replace relational databases for some applications. Riak is a distributed key-value store, inspired by Amazon’s Dynamo, designed for applications where scalability, low latency and high availability are critical. Riak uses replication to provide fast access to data, even when multiple nodes or parts of the network fail. It supports concurrent access to the same data by multiple clients, even when the ...


    Read more


  • QuickCheck Mini
    2010-11-15 Erlang Central

    Presentations

    QuickCheck support property based development. Instead of writing test cases for your applications, you write a one-pager with a QuickCheck property from which hundreds of test cases are generated automatically. QuickCheck simplifies failing cases to a minimal example on a test failure (so that fault diagnosis is quick and easy). QuickCheck enables developers to dramatically improve test coverage, and find obscure errors at an earlier stage, lowering costs and improving quality as a result. I ...


    Read more


  • Testing Asynchronous Behaviour in ejabberd with QuickCheck
    2010-06-07 Erlang Central

    Videos



    Ejabberd is an instant messaging server with lots of asynchronous behaviour. Such asynchronous behaviour is awkward to test, because of its inherent non-determinism. Variable event order and timing uncertainties can easily lead test cases to fail when they ought to pass, generating "false positives" that hinder testing. Yet coping with all possible event orderings and timings can make test cases hopelessly complex. When test cases are generated, these problems become even harder. In this talk ...


    Read more


  • Tutorial – QuickCheck
    2009-11-13 Erlang Central

    Presentations

    QuickCheck support property based development. Instead of writing test cases for your applications, you write a one-pager with a QuickCheck property from which hundreds of test cases are generated automatically.QuickCheck simplifies failing cases to a minimal example on a test failure (so that fault diagnosis is quick and easy). QuickCheck enables developers to dramatically improve test coverage, and find obscure errors at an earlier stage, lowering costs and improving quality as a result ...


    Read more


  • Using QuickCheck for testing C code
    2009-06-22 Erlang Central

    Videos

    The Quviq testing tool QuickCheck provides an excellent platform for testing Erlang programs, but so far, applying it to programs written in other languages such as C has been cumbersome. In this talk I will show a brand new library from Quviq which allows C functions to be called from Erlang as if they were Erlang functions. This makes testing C code with QuickCheck just as easy as testing Erlang code. ...


    Read more