Tag Archives: Tutorial Workshop 2010

  • Testing Database Applications with QuickCheck
    2010-11-15 Erlang Central

    Presentations

    In this tutorial we concentrate on Erlang applications that use a database in the bottom. The database can be Mnesia, mySQL or any other. When testing such database application on needs to test the business logic. The business logic can be seen as rules that should hold for the data in the database, but these rules cannot easily be guaranteed by the database itself. For example, it is hard in Mnesia to guarantee relations between data and it is hard in mySQL to guarantee on the database level th ...


    Read more


  • Hands-on DBG and TTB introduction
    2010-11-15 Erlang Central

    Presentations

    The Erlang tracing capability enables the developer to look inside any part of the system in an easy and efficient way. The Erlang dbg application facilitates this capability and is an extremely powerful tool which can be used when inspecting, tracing and debugging Erlang systems in real time and this tutorial will go through the basic to intermediate levels. We will go through how to enable tracing and how to interpret the results. We will then look at how to build basic debugging/tracing capa ...


    Read more


  • UBF – Hands-On
    2010-11-15 Erlang Central

    Presentations

    UBF is the "Universal Binary Format", originally designed and implemented by Joe Armstrong.  See http://www.sics.se/~joe/ubf.html for full details. My company has added a large number of enhancements and improvements to the original UBF framework.  This work is slowly making its way into the wider world, using an MIT license and distributed via GitHub (http://github.com/norton/ubf/tree/master). During the tutorial's first half, we would like to present about the basics of UBF - UBF(a), U ...


    Read more


  • ErlIDE: Erlang and Eclipse, hands-on
    2010-11-15 Erlang Central

    Presentations

    ErlIDE is an open-source plug-in for the Eclipse development environment. It enables Erlang developers to use Eclipse for Erlang developing and debugging, and features full support for editing, navigation, testing, running and debugging erlang code. It also supports refactoring through Wrangler. In my tutorial I will show how to install Eclipse and ErlIDE. We will use ErlIDE hands-on to develop a small Erlang application and run unit tests. I will also show how to use ErlIDE with a larger app ...


    Read more


  • RefactorErl
    2010-11-15 Erlang Central

    Presentations

    RefactorErl is a source code analyzer 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. Beside the 24 implemented refactoring transformations the tool has a complex analyzer framework. For exa ...


    Read more


  • Nitrogen for Beginners
    2010-11-15 Erlang Central

    Presentations

    The Nitrogen Web Framework allows Erlang developers to build interactive web applications in full-stack Erlang. This tutorial teaches beginners how to build web applications with Nitrogen. Participants will learn how to download and install Nitrogen, generate a new web project, create pages, manipulate page elements using Ajax and Comet, and create a custom elements and actions. The class will culminate with participants creating a simple Nitrogen-based application. ...


    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 Erlang multi-core applications with PULSE
    2010-11-15 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