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...

Full description

Saved in:
Bibliographic Details
Main Authors: LO, David, Maoz, Shahar
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