Skip to main content
Article
Automatic Steering of Behavioral Model Inference
Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE)
  • David LO, Singapore Management University
  • Leonardo Mariani, University of Milano-Bicocca
  • Mauro Pezze, University of Milano-Bicocca
Publication Type
Conference Proceeding Article
Version
Publisher’s Version
Publication Date
7-2009
Abstract
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and time-consuming, researchers defined several techniques to extract finite state models from code and traces. Automatically generating models requires much less effort than designing them, and thus eases the verification and validation of large software systems. However, when models are inferred automatically, the precision of the mining process is critical. Behavioral models mined with imprecise processes can include many spurious behaviors, and can thus compromise the results of testing and analysis techniques that use those models.In this paper, we increase the precision of automata inferred from execution traces, by leveraging two learning techniques. We first mine execution traces to infer statistically significant temporal properties that capture relations between non consecutive and possibly distant events. We then incrementally refine a simple initial automaton by merging likely equivalent states. We identify equivalent states by analyzing set of consecutive events, and we use the inferred temporal properties to evaluate whether two equivalent states can be merged or not. We merge equivalent states only if the merging does violate any temporal property, since a merging that violates temporal properties is likely to introduce an imprecise generalization. Our generalization process that preserves temporal properties while merging states avoids breaking non-local relations, and thus solves one of the major cause of overgeneralized models. Thus, mined properties steer the learning of behavioral models. The technique is completely automated and generates an automaton that both accepts the input traces and satisfies the mined temporal properties.We evaluated our solution by comparing models inferred with and without checking mined temporal properties. Results show that our steering process can significantly improve precision without noticeable loss of recall.
Keywords
  • dynamic analysis,
  • mining automata,
  • temporal properties
ISBN
9781605580012
Identifier
10.1145/1595696.1595761
Publisher
ACM
City or Country
Amsterdam, The Netherlands
Creative Commons License
Creative Commons Attribution-Noncommercial-No Derivative Works 4.0
Additional URL
http://dx.doi.org/10.1145/1595696.1595761
Citation Information
David LO, Leonardo Mariani and Mauro Pezze. "Automatic Steering of Behavioral Model Inference" Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE) (2009) p. 345 - 354
Available at: http://works.bepress.com/david_lo/46/