Tag Archives: Property-based Testing Tutorial Workshop 2009

  • Tutorial – Exago: an Offline Log Monitoring Tool
    2009-11-13 Erlang Central

    Presentations

    As a developer or support engineer you have probably spent enormous energy and time manually analyzing log files, trying to find out what went wrong, when and why. Using Exago, now you can automatically parse and process log files, and check them against an abstract model of the system. In case of failure, it will report the abstract state where the error occurred, and the events that led to the point of failure.In this 90 minute tutorial we will cover, how to: specify relations between l ...


    Read more


  • Tutorial – QuickCheck specification for free
    2009-11-13 Erlang Central

    Presentations

    In this 90 minute tutorial we present a tool which can automatically derive QuickCheck specifications from Erlang programs. These specifications consist of "interesting facts" about the program under test, which can be used to improve program comprehension, and for future testing as the software evolves. Surprising facts--or missing ones--can quickly reveal inconsistencies in the design of the software. You will gain hands-on experience with automatic generation of software specificati ...


    Read more


  • Tutorial – Ericsson’s Common-Test Application
    2009-11-13 Erlang Central

    Presentations

    Peter will present the Common Test application by giving a general introduction to the tool, as well as talking in detail about various important and interesting features. The participants should get a good general idea about the usefulness of the tool, and hopefully a good enough understanding of it to get quickly started using it in their projects. ...


    Read more


  • Tutorial – Testing Erlang multi-core applications with PULSE
    2009-11-13 Erlang Central

    Presentations

    PULSE is an addition to QuickCheck that enables you to find concurrency errors like race conditions and deadlocks in Erlang programs. Even if those errors may not show on a single processor system, they may be sitting there waiting to be revealed when you switch to multi-core. With PULSE you explore random schedulings that are possible on a multi-core but not on a single core, therewith increasing the possibility to reveal weird errors. Of course, the test case is minimized when finding a ...


    Read more


  • Tutorial – Wrangler
    2009-11-13 Erlang Central

    Presentations

    Wrangler is a refactoring tool which supports interactive refactoring for Erlang programs. It is integrated with both Emacs and Eclipse. Wrangler supports a variety of refactorings: Rename variable, module, function, process; Generalise function definition, Move function from a module to another; Function/ Macro extraction, Fold expressions against function/macro; Tuple function parameters, etc. Apart from refactorings, Wrangler also provides functionalities for "bad smell" detection ...


    Read more


  • Tutorial – Inviso: tracing in multiple node environments
    2009-11-13 Erlang Central

    Presentations

    Tracing and debugging large systems still remains a challenging and sometimes daunting task. There are few tools at hand, and even if some data is collected the sheer volume and hours required to analyse it makes one wince. However, there's a hidden gem in OTP which many developers and testers may not be aware of - the Inviso application. Although still a work in progress, we've made an effort to provide a clean, functional and safe API to it. Together with a friendlier user-interface it ...


    Read more


  • Tutorial – Refactoring and Analysis with RefactorErl
    2009-11-13 Erlang Central

    Presentations

    RefactorErl is a source code analyser and transformer tool aimed at refactoring Erlang software. The tool itself is written in Erlang with a  unique approach: semantic analysis results are stored in a Mnesia database to avoid repeated analysis of the same source code, and simple, syntax-based manipulations are available that hide the details of handling separators, comments, and code layout. This 90 minute tutorial introduces the main features of RefactorErl: how you can use it simply as a r ...


    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


  • Tutorial – McErlang
    2009-11-13 Erlang Central

    Presentations

    In this 90 minute tutorial Lars-Ake Fredlund will introduce the McErlang model checking tool for verifying Erlang programs, and examine some case studies where the tool has been successfully applied. Model checking is a verification technique where the all the states of a program are systematically explored and checked against correctness properties. Although very effective in hardware verification, there are a number of problems when applying model checking to software: - Need for ...


    Read more