Trace analysis of Erlang programs

The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces using a set of techniques. Due to the frequent use of statebased software design patterns in Erlang programming we can in many cases recover not only the events from a trace log, but also the program states causing these events. This makes it possible to obtain program models from execution traces. In our work we make use of these program models for program visualization and model checking.

• Type: Journal
• Year: 2002
• Where: SIGPLAN
• Authors: Thomas Arts, Lars-Åke Fredlund
• Keywords: Convenient Trace Generation, Program Models, SIGPLAN 2002, Software Design Patterns, System Software