Tag Archives: PropEr

  • EUC 2014 – Zachary Kessin – Using Logic Programming Tools to Drive Property-based Testing
    2014-08-26 Erlang Central

    Videos



    PBT with tools like QuickCheck and Proper are quite powerful, but building the models to test against is still probably the hardest part. I aim to use a Logic Programming tool (Kanrem or Prolog) to create the model and validate the results. Talk objectives: To show how to use the powerful tools of logic programming and to how to build models to test Erlang code. Target audience: This will appeal to those who really enjoy programming languages and new tools. ...


    Read more


  • An Erlang-Based Framework for the Automatic Testing of Web Services
    2012-05-28 Erlang Central

    Videos



    Web Services are an essential part of modern web systems, yet their testing is an extremely slow and painful process. In this talk we will present a testing framework based on PropEr, xmerl, and the SOAP library of Yaws that aims for automatic property-based testing of Web Services.  We will show how one can use this framework to perform fully automatic response testing of Web Services, how given a WSDL specification of a Web Service the tool can generate structurally valid test cases, and, if ...


    Read more


  • A PropEr Creation
    2011-10-31 Erlang Central

    Videos



    After the PropEr Talk at the London Factory in June, a small brouhaha took place on the Erlang-questions mailing list. Did the PropEr team have access to QuviQ QuickCheck code? Did they found one at PirateBay? Does Kostis have a powerful beam disassembler that generates (commented) Erlang source code from .beam files? Or is it simply that the PropEr team has super powers? This talk may possibly provide answers to some of these questions by describing how PropEr was created, or it may just giv ...


    Read more


  • A PropEr Talk
    2011-06-06 Erlang Central

    Videos



    PropEr is an open-source, Quickcheck-inspired tool for property-based testing in Erlang. Its salient feature, which is also the primary reason for PropEr's existence, is that it offers a proper integration of the language of types and specs of Erlang with properties. Any type can be used as a generator (PropEr knows how to create a shrinker for it) and any function spec can be directly used as simple property of a function. In addition, PropEr offers support that significantly simplifies the ...


    Read more


  • Usually Received, Maybe Late, or Sometimes Dropped: simulating failure in message passing protocols
    2011-06-06 Erlang Central

    Presentations

    Systems in perfect, failure-free environments are boring.  What happens to message passing protocols when CPUs are slow/overloaded, networks fail for 10 seconds (or 10 days), and processes crash?  Systems reacting to failure are *much* more interesting to study and much more difficult to debug in the real world. Scott will discuss a tool built with PropEr and QuickCheck (and perhaps McErlang) to find interesting protocol bugs where it's easy (i.e., on your desktop) instead of where it is ha ...


    Read more