Mining modal scenario-based specifications from execution traces of reactive systems

David Lo, Shahar Maoz, Siau Cheng Khoo

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering
Pages465-468
Number of pages4
DOIs
StatePublished - 2007
Externally publishedYes
Event22nd IEEE/ACM International Conference on Automated Software Engineering, ASE'07 - Atlanta, GA, United States
Duration: 5 Nov 20079 Nov 2007

Publication series

NameASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering

Conference

Conference22nd IEEE/ACM International Conference on Automated Software Engineering, ASE'07
Country/TerritoryUnited States
CityAtlanta, GA
Period5/11/079/11/07

Keywords

  • UML sequence diagrams
  • dynamic analysis
  • live sequence charts
  • specification mining

Fingerprint

Dive into the research topics of 'Mining modal scenario-based specifications from execution traces of reactive systems'. Together they form a unique fingerprint.

Cite this