Specification Mining of Symbolic Scenario-Based Models
Many dynamic analysis approaches to specification mining, which extract behavioral models from execution traces, do not consider object identities. This limits their power when used to analyze traces of general object oriented programs. In this work we present a novel specification mining approach t...
Saved in:
Main Authors: | , |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2008
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/440 https://ink.library.smu.edu.sg/context/sis_research/article/1439/viewcontent/paste08.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-1439 |
---|---|
record_format |
dspace |
spelling |
sg-smu-ink.sis_research-14392011-11-02T09:38:24Z Specification Mining of Symbolic Scenario-Based Models LO, David Maoz, Shahar Many dynamic analysis approaches to specification mining, which extract behavioral models from execution traces, do not consider object identities. This limits their power when used to analyze traces of general object oriented programs. In this work we present a novel specification mining approach that considers object identities, and, moreover, generalizes from specifications involving concrete objects to their symbolic class-level abstractions. Our approach uses data mining methods to extract significant scenario-based specifications in the form of Damm and Harel's live sequence charts (LSC), a formal and expressive extension of classic sequence diagrams. We guarantee that all mined symbolic LSCs are significant (statistically sound) and all significant symbolic LSCs are mined (statistically complete). The technique can potentially be applied to general object oriented programs to reveal expressive and useful reverse-engineered candidate specifications. 2008-10-01T07:00:00Z text application/pdf https://ink.library.smu.edu.sg/sis_research/440 info:doi/10.1145/1512475.1512482 https://ink.library.smu.edu.sg/context/sis_research/article/1439/viewcontent/paste08.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 Software Engineering |
institution |
Singapore Management University |
building |
SMU Libraries |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
SMU Libraries |
collection |
InK@SMU |
language |
English |
topic |
Software Engineering |
spellingShingle |
Software Engineering LO, David Maoz, Shahar Specification Mining of Symbolic Scenario-Based Models |
description |
Many dynamic analysis approaches to specification mining, which extract behavioral models from execution traces, do not consider object identities. This limits their power when used to analyze traces of general object oriented programs. In this work we present a novel specification mining approach that considers object identities, and, moreover, generalizes from specifications involving concrete objects to their symbolic class-level abstractions. Our approach uses data mining methods to extract significant scenario-based specifications in the form of Damm and Harel's live sequence charts (LSC), a formal and expressive extension of classic sequence diagrams. We guarantee that all mined symbolic LSCs are significant (statistically sound) and all significant symbolic LSCs are mined (statistically complete). The technique can potentially be applied to general object oriented programs to reveal expressive and useful reverse-engineered candidate specifications. |
format |
text |
author |
LO, David Maoz, Shahar |
author_facet |
LO, David Maoz, Shahar |
author_sort |
LO, David |
title |
Specification Mining of Symbolic Scenario-Based Models |
title_short |
Specification Mining of Symbolic Scenario-Based Models |
title_full |
Specification Mining of Symbolic Scenario-Based Models |
title_fullStr |
Specification Mining of Symbolic Scenario-Based Models |
title_full_unstemmed |
Specification Mining of Symbolic Scenario-Based Models |
title_sort |
specification mining of symbolic scenario-based models |
publisher |
Institutional Knowledge at Singapore Management University |
publishDate |
2008 |
url |
https://ink.library.smu.edu.sg/sis_research/440 https://ink.library.smu.edu.sg/context/sis_research/article/1439/viewcontent/paste08.pdf |
_version_ |
1770570424447401984 |