Presentations

  • Tutorial: Quickcheck for EUnit
    2011-10-31 Erlang Central

    Presentations

    Writing EUnit tests is more common than writing QuickCheck specifications, although QuickCheck specifications potentially explore far more scenarios than manually written unit tests. In particular for implementations that have side-effects, writing a good set of EUnit tests is often difficult and labour intensive. In this tutorial  we explain a mechanism to extract QuickCheck specifications from EUnit test suites. We use the QSM algorithm to infer state machines from sets of positive and neg ...


    Read more


  • Tutorial: Automated inference of state machines with Statechum
    2011-10-31 Erlang Central

    Presentations

    Statechum is a general-purpose tool for state machine inference and test generation. It comes with Erlang front-end to make it possible to "learn" state-transition diagrams from Erlang software, using both exported functions and OTP calls. Given a series of traces (such as those obtained from logs), Statechum attempts to infer a state machine compatible with those traces. This amounts to finding out where loops are but is heuristical in nature because there is usually not enough traces to ...


    Read more


  • VoIP applications and the Cloud – Where gen_fsm really shines
    2011-10-31 Erlang Central

    Presentations

    Aptela provides hosted communications services for small business. Our - entirely cloud based - platform includes complex call routing, messaging, web-portals, mobile apps, PSTN/SIP access, and a coffee-grinder attachment. At peak, we handle dozens of calls (and an infinity of HTTP requests) per second. These complex calling services work thanks to the magic of gen_fsm, a behaviour which is frequently overlooked at best, and ignored at worst. In the first part of the talk, I'll describ ...


    Read more


  • Tutorial: Log Analysis with Exago
    2011-10-31 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 60 minute tutorial we will cover, how to: specify relations between log ...


    Read more


  • Tutorial: Easy Cover and EUnit – testing with ErlIde
    2011-10-31 Erlang Central

    Presentations

    EUnit and Cover are popular testing tools used in day to day Erlang software development. They are the text tools that present results in an inflexible way. They also require one to put some effort on configuration prior to use. In this tutorial we will show how to simplify testing and coverage analysis with EUnit and Cover using a graphical plugin integrated into ErlIde, the Eclipse plugin for Erlang developers. Through a few exercises you will become familiar with its capabilities. ...


    Read more


  • Design and implementation of an Erlang-based gateway
    2011-10-31 Erlang Central

    Presentations

    To contemporary applications, the Web has become a fundamental layer of databases and application logic. For example, in a mobile banking system, financial services--such as account management, bill payment, security trading--sit in application servers, and a content gateway integrates these web services APIs, translates data to presentation, and delivers to mobile devices for rendering. In such an architecture, a content gateway is the key integration point of many application systems. H ...


    Read more


  • All The Buzz: Erlang At CloudBees
    2011-10-31 Erlang Central

    Presentations

    Erlang plays a central role in CloudBees' platform infrastructure. In this talk, Garrett will explain the history of Erlang at CloudBees and discuss its strengths and weaknesses vis-a-vis other languages. If you're considering Erlang as a strategic language for your startup or software project, this talk will give you valuable insight from the trenches of a leading platform-as-a-service vendor. ...


    Read more


  • Tutorial: QuickCheck Mini
    2011-10-31 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


  • Investigating Hashes/Frames/Structs as a new built-in datatype in Erlang
    2011-10-31 Erlang Central

    Presentations Videos

    During the fall the Erlang/OTP team has prototyped and investigated alternative solutions for the introduction of a new built in datatype with characteristics like Hashmaps, hashes etc. There are several alternative ways to go, for example an efficient implementation of property lists or just a better record datatype. The talk will present the findings so far with a discussion of pros and cons, performance measurements etc. ...


    Read more


  • Lessons learned – how we use Erlang to analyze millions of messages per day
    2011-09-25 Erlang Central

    Presentations

    At Semiocast, a start-up founded in 2009, we use Erlang since day one to fetch and process millions of tweets and social media conversations. In this talk, we will present lessons we have learned in terms of code deployment, architectural design, Erlang technologies used and integration with native code. In particular, we will cover how we use OTP and code change, the various kinds of drivers (NIF, Linked-In, External, C-node), our usage of HiPE and dialyzer, and a few things we wish we k ...


    Read more


  • Page 7 of 11« First...56789...Last »

Follow Erlang Central: