Trace analysis of Erlang programs

被引：7

作者：

Arts, T

Fredlund, LÅ

机构：

[1] IT Univ, S-40275 Gothenburg, Sweden

[2] Swedish Inst Comp Sci, SE-16429 Kista, Sweden

来源：

ACM SIGPLAN NOTICES | 2002年 / 37卷 / 12期

关键词：

D O I：

10.1145/636517.636524

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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 state-based 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.

引用

页码：18 / 24

页数：7

共 10 条

[1] AMMONS G, 2002, P POPL 02
[2] Armstrong Joe, 1996, Concurrent Programming in Erlang, V2nd
[3] Blau S., 1998, Ericsson Review, V75, P10
[4] Cook J. E., 1998, ACM Transactions on Software Engineering and Methodology, V7, P215, DOI 10.1145/287000.287001
[5] FERNANDEZ JC, 1996, LECT NOTES COMPUTER, V1102, P437
[6] FROHLICH M, 1994, 594 U BREM DEP COMP
[7] A TECHNIQUE FOR DRAWING DIRECTED-GRAPHS
GANSNER, ER
KOUTSOFIOS, E
NORTH, SC
VO, KP
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (03) : 214 - 230
[8] RESULTS ON THE PROPOSITIONAL MU-CALCULUS
KOZEN, D
[J]. THEORETICAL COMPUTER SCIENCE, 1983, 27 (03) : 333 - 354
[9] Torstendahl S., 1997, ERICSSON REV, P1
[10] WIGER U, 2001, P 2001 WORKSH FORM D

← 1 →