Blog

  • 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 – 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 – 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 – 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


  • 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


  • Erlang and Eclipse
    2009-06-22 Erlang Central

    Presentations

    Eclipse is the open source, java-based IDE from IBM with support for many languages. In my talk I will demonstrate ErlIde, the Erlang IDE in Eclipse, and show how Eclipse can be used to do Erlang development. Some of the nice features will be demonstrated: debugging and tracing, multi-language development, using Wrangler to do Erlang refactoring within Eclipse. I will also compare ErlIde with other enviroments, and point out future development. ...


    Read more


  • Mixing Erlang and Ruby with Erlectricity
    2009-04-27 Erlang Central

    Presentations

    Erlang isn't good for everything. Neither is Ruby. But together they create a powerful force that can be harnessed to engineer highly scalable systems that defer to Ruby for more mundane tasks. The secret to this unholy alliance is a two way communication layer called Erlectricity that lets you craft Ruby nodes that receive messages just like Erlang processes. I will demonstrate how this setup can lead to elegant and extensible system design with simple examples, and then explain how Erlectri ...


    Read more


  • Building Languages on Erlang (and an introduction to Reia)
    2009-04-27 Erlang Central

    Presentations

    Erlang exposes all of the functionality needed to build new programming languages with ease. In this talk you will learn the basics of how to create your own programming language on top of the Erlang VM, including scanning with leex, parsing with yecc, compiling parsed code from the Erlang abstract format into bytecode, and loading the resulting bytecode into the code server. The session will also cover the presenter's language: Reia, a scripting language for the Erlang VM. The talk will co ...


    Read more


  • Couch DB at 10,000 feet
    2008-06-23 Erlang Central

    Presentations

    CouchDB is a document oriented database. It does not adhere to the relational principles of traditional databases. While there is not much room for technical details, we try to cover some of the cool things CouchDB uses Erlang for to present a super simple yet professional data storage model and the basis for Erlang-style high concurrency and fault tolerance. Since itsbeginnings around three years ago, CouchDB went from a self-funded, single-developer project to a small community project under t ...


    Read more


  • Keynote: Enterprise Integration
    2008-06-23 Erlang Central

    Presentations

    What happens when someone who works on enterprise integration tools and solutions for years steps back and takes a good look around? He realises just how poor many enterprise integration systems really are. In this talk, Steve will describe his experiences building RPC, CORBA, J2EE, and Web Service (SOAP/WSDL) systems over the course of nearly 20 years, how the Web is finally influencing enterprise integration for the better, and how he’s realized in hindsight just how much Erlang could have g ...


    Read more


  • QuickCheck for Erlang
    2008-06-23 Erlang Central

    Presentations

    Testing is a major part of all software development. Yet no matter how much effort is spent on it, some errors always seem to slip through. Cases which no-one thought to test crash systems late in development or out in the field, revealing errors which cost time and money to analyze, diagnose, and fix. In the worst case, such errors reveal fundamental flaws which force a redesign of part of the system, at disproportionate cost. In this talk we present QuickCheck, a tool which addresses these pro ...


    Read more


  • Page 51 of 52« First...102030...4849505152

Follow Erlang Central: