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 log files and their properties,
- provide the abstract model of the system,
- use the results to reproduce and repair the error.
In brief, this tool automates most of the daunting and tiresome task of manually inspecting log files, tasks that you would probably pass to the interns.
Aniko Nagyne VigTechnical Coordinator, Erlang Solutions London Office
Aniko Nagyne Vig received her master's degree in Computer Science in 2007 from Eotvos Lorand University, Hungary. Both her bachelor and master's theses were based around Erlang and refactoring. She was involved in the first three years of the RefactorErl (refactoring tool for Erlang) project and through an exchange program, worked with Wrangler at the University of Kent. She is passionate about Erlang, having learnt it during her university studies. She has had the opportunity to practice her teaching techniques on computer science students for 2 years. After joining the Erlang Solutions in early 2008, she has been involved in commercial Erlang development projects.
Atilla ErdodiIntern at Erlang Solutions from Eötvös Loránd University, Budapest
Erlang Solutions Ltd
Atilla is doing his master degree at Eötvös Loránd University, where he got his first experience with Erlang by being involved in the refactoring tool, RefactorErl, for a short time. He spent this summer working as an intern at Erlang Solutions developing the offline log monitoring tool for the ProTest project.