Skip to main content
Article
Mining Modal Scenarios-Based Specifications from Execution Trace of Reactive Systems
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE)
  • David LO, Singapore Management University
  • Shahar Maoz, The Weizmann Institute of Science, Israel
  • Siau-Cheng KHOO, National University of Singapore
Publication Type
Conference Proceeding Article
Publication Date
11-2007
Abstract
Specification mining is a dynamic analysis process aimed at automatically inferring suggested specifications of a program from its execution traces. We describe a novel method, framework, and tool, for mining inter-object scenario-based specifications in the form of a UML2-compliant variant of Damm and Harels Live Sequence Charts (LSC). LSC extends the classical partial order semantics of sequence diagrams with temporal liveness and symbolic class level lifelines, in order to generate compact and expressive specifications. The output of our algorithm is a sound and complete set of statistically significant LSCs (i.e., satisfying given thresholds of support and confidence), mined from an input execution trace. We locate statistically significant LSCs by exploring the search space of possible LSCs and checking for their statistical significance. In addition, we use an effective search space pruning strategy, specifically adapted to LSCs, which enables efficient mining of scenarios of arbitrary size. We demonstrate and evaluate the utility of our work in mining informative specifications using a case study on Jeti, a popular, full featured messaging application
Identifier
10.1145/1321631.1321710
Publisher
ACM
City or Country
Atlanta, USA
Additional URL
http://portal.acm.org/citation.cfm?id=1321710
Citation Information
David LO, Shahar Maoz and Siau-Cheng KHOO. "Mining Modal Scenarios-Based Specifications from Execution Trace of Reactive Systems" Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) (2007)
Available at: http://works.bepress.com/david_lo/16/