Mining Modal Scenarios-Based Specifications from Execution Trace of Reactive Systems
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...
Saved in:
Main Authors: | , , |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2007
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/946 https://ink.library.smu.edu.sg/context/sis_research/article/1945/viewcontent/ase07.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
id |
sg-smu-ink.sis_research-1945 |
---|---|
record_format |
dspace |
spelling |
sg-smu-ink.sis_research-19452020-04-24T05:53:43Z Mining Modal Scenarios-Based Specifications from Execution Trace of Reactive Systems LO, David MAOZ, Shahar KHOO, Siau-Cheng 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 2007-11-01T07:00:00Z text application/pdf https://ink.library.smu.edu.sg/sis_research/946 info:doi/10.1145/1321631.1321710 https://ink.library.smu.edu.sg/context/sis_research/article/1945/viewcontent/ase07.pdf http://creativecommons.org/licenses/by-nc-nd/4.0/ Research Collection School Of Computing and Information Systems eng Institutional Knowledge at Singapore Management University dynamic analysis live sequence charts specification mining UML sequence diagrams Software Engineering |
institution |
Singapore Management University |
building |
SMU Libraries |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
SMU Libraries |
collection |
InK@SMU |
language |
English |
topic |
dynamic analysis live sequence charts specification mining UML sequence diagrams Software Engineering |
spellingShingle |
dynamic analysis live sequence charts specification mining UML sequence diagrams Software Engineering LO, David MAOZ, Shahar KHOO, Siau-Cheng Mining Modal Scenarios-Based Specifications from Execution Trace of Reactive Systems |
description |
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 |
format |
text |
author |
LO, David MAOZ, Shahar KHOO, Siau-Cheng |
author_facet |
LO, David MAOZ, Shahar KHOO, Siau-Cheng |
author_sort |
LO, David |
title |
Mining Modal Scenarios-Based Specifications from Execution Trace of Reactive Systems |
title_short |
Mining Modal Scenarios-Based Specifications from Execution Trace of Reactive Systems |
title_full |
Mining Modal Scenarios-Based Specifications from Execution Trace of Reactive Systems |
title_fullStr |
Mining Modal Scenarios-Based Specifications from Execution Trace of Reactive Systems |
title_full_unstemmed |
Mining Modal Scenarios-Based Specifications from Execution Trace of Reactive Systems |
title_sort |
mining modal scenarios-based specifications from execution trace of reactive systems |
publisher |
Institutional Knowledge at Singapore Management University |
publishDate |
2007 |
url |
https://ink.library.smu.edu.sg/sis_research/946 https://ink.library.smu.edu.sg/context/sis_research/article/1945/viewcontent/ase07.pdf |
_version_ |
1770570779675590656 |