Learning Extended FSA from Software: An Empirical Assessment

• Main Authors: LO, David, Mariani, Leonardo, Santoro, Mauro
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2012
• Subjects: FSA inference; Empirical validation; Behavioral models; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/1557; http://dx.doi.org/10.1016/j.jss.2012.04.001
• Institution: Singapore Management University

A number of techniques that infer finite state automata from execution traces have been used to support test and analysis activities. Some of these techniques can produce automata that integrate information about the data-flow, that is, they also represent how data values affect the operations executed by programs. The integration of information about operation sequences and data values into a unique model is indeed conceptually useful to accurately represent the behavior of a program. However, it is still unclear whether handling heterogeneous types of information, such as operation sequences and data values, necessarily produces higher quality models or not. In this paper, we present an empirical comparative study between techniques that infer simple automata and techniques that infer automata extended with information about data-flow. We investigate the effectiveness of these techniques when applied to traces with different levels of sparseness, produced by different software systems. To the best of our knowledge this is the first work that quantifies both the effect of adding data-flow information within automata and the effectiveness of the techniques when varying sparseness of traces.