We are all used to writing EUnit test cases, but are they good enough? Are we missing some relevant unit tests in our test suite? With the bluefringe algorithm one can compute a state machine that describes the tests in the suite and additional tests that seems to hold as well. By using QuickCheck as an underlaying motor, one can then generate EUnit tests that improve your test suite. Together QuickCheck and bluefringe form a useful pair for those that want to learn writing QuickCheck state machines but need examples on their own code and EUnit test suites.
(lecture in Polish) - This talk introduces Escalus - an Open Source tool for testing XMPP servers in general and with some extra support for ejabberd in particular. Unlike other tools such as performance-oriented Tsung, Escalus concentrates on acceptance testing and correctness.
(lecture in Polish) - This talk will discuss the implementation of Erlang-based system for management of complex sensors network. Michal will show how to use Erlang to create scalable, flexible, fault tolerant systems which can integrate data from different types of mobile devices.
Publish-subscribe systems and Erlang - a perfect fit. Oortle is an implementation of publish-subscribe messaging system, able to scale (near)linearly in terms of number of clients. Oortle runs in the clouds (EC2 and others). Tests with 200 EC2 node clusters has been done. Single Oortle node can handle hundreds of thousands connections. Practical experience of designing, implementing and testing of the system will be shared with audience.
Quite optimistic story about Erlang/OTP software used in commercial soft real-time system for monitoring of city vehicles states. Some development problems, dead ends and unresolved puzzles of the current implementation will be presented. The presentation will also reveal afew details about the speaker's road to Erlang world.