Dynamic analysis helps to extract important information about software systems useful in testing, debugging and maintenance activities. Popular dynamic analysis techniques synthesize either information on the values of the variables or information on relations between invocation of methods. Thus, these approaches do not capture the important relations that exist between data values and invocation sequences. In this paper, we introduce a technique, called GK-tail, for generating models that represent the interplay between program variables and method invocations. GK-tail extends the k-tail algorithm for extracting finite state automata from execution traces, to the case of finite state automata with parameters. The paper presents the technique and the results of some preliminary experiments that indicate the potentialities of the proposed approach. Copyright 2006 ACM.

Lorenzoli, D., Mariani, L., Pezze', M. (2006). Inferring state-based behavior models. In Proceedings of the international workshop on Dynamic systems analysis (pp.25-32). New York, NY : ACM [10.1145/1138912.1138919].

Inferring state-based behavior models

MARIANI, LEONARDO;PEZZE', MAURO
2006

Abstract

Dynamic analysis helps to extract important information about software systems useful in testing, debugging and maintenance activities. Popular dynamic analysis techniques synthesize either information on the values of the variables or information on relations between invocation of methods. Thus, these approaches do not capture the important relations that exist between data values and invocation sequences. In this paper, we introduce a technique, called GK-tail, for generating models that represent the interplay between program variables and method invocations. GK-tail extends the k-tail algorithm for extracting finite state automata from execution traces, to the case of finite state automata with parameters. The paper presents the technique and the results of some preliminary experiments that indicate the potentialities of the proposed approach. Copyright 2006 ACM.
paper
model inference, dynamic analysis
English
International Workshop on Dynamic Analysis
2006
Proceedings of the international workshop on Dynamic systems analysis
978-159593400-0
2006
25
32
none
Lorenzoli, D., Mariani, L., Pezze', M. (2006). Inferring state-based behavior models. In Proceedings of the international workshop on Dynamic systems analysis (pp.25-32). New York, NY : ACM [10.1145/1138912.1138919].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/3108
Citazioni
  • Scopus 31
  • ???jsp.display-item.citation.isi??? ND
Social impact