Scenario-based and value-based specification mining: better together
Specification mining takes execution traces as input and extracts likely program invariants, which can be used for comprehension, verification, and evolution related tasks. In this work we integrate scenario-based specification mining, which uses data-mining algorithms to suggest ordering constraint...
Saved in:
Main Authors: | , |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2010
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/1348 https://ink.library.smu.edu.sg/context/sis_research/article/2347/viewcontent/ase10_lsc.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-2347 |
---|---|
record_format |
dspace |
spelling |
sg-smu-ink.sis_research-23472020-04-24T06:13:58Z Scenario-based and value-based specification mining: better together LO, David MAOZ, Shahar Specification mining takes execution traces as input and extracts likely program invariants, which can be used for comprehension, verification, and evolution related tasks. In this work we integrate scenario-based specification mining, which uses data-mining algorithms to suggest ordering constraints in the form of live sequence charts, an inter-object, visual, modal, scenario-based specification language, with mining of value-based invariants, which detects likely invariants holding at specific program points. The key to the integration is a technique we call scenario-based slicing, running on top of the mining algorithms to distinguish the scenario-specific invariants from the general ones. The resulting suggested specifications are rich, consisting of modal scenarios annotated with scenario-specific value-based invariants, referring to event parameters and participating object properties. An evaluation of our work over a number of case studies shows promising results in extracting expressive specifications from real programs, which could not be extracted previously. The more expressive the mined specifications, the higher their potential to support program comprehension and testing. 2010-09-01T07:00:00Z text application/pdf https://ink.library.smu.edu.sg/sis_research/1348 info:doi/10.1145/1858996.1859081 https://ink.library.smu.edu.sg/context/sis_research/article/2347/viewcontent/ase10_lsc.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 Specification Mining Dynamic Analysis Live Sequence Charts Value-Based Invariants Software Engineering |
institution |
Singapore Management University |
building |
SMU Libraries |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
SMU Libraries |
collection |
InK@SMU |
language |
English |
topic |
Specification Mining Dynamic Analysis Live Sequence Charts Value-Based Invariants Software Engineering |
spellingShingle |
Specification Mining Dynamic Analysis Live Sequence Charts Value-Based Invariants Software Engineering LO, David MAOZ, Shahar Scenario-based and value-based specification mining: better together |
description |
Specification mining takes execution traces as input and extracts likely program invariants, which can be used for comprehension, verification, and evolution related tasks. In this work we integrate scenario-based specification mining, which uses data-mining algorithms to suggest ordering constraints in the form of live sequence charts, an inter-object, visual, modal, scenario-based specification language, with mining of value-based invariants, which detects likely invariants holding at specific program points. The key to the integration is a technique we call scenario-based slicing, running on top of the mining algorithms to distinguish the scenario-specific invariants from the general ones. The resulting suggested specifications are rich, consisting of modal scenarios annotated with scenario-specific value-based invariants, referring to event parameters and participating object properties. An evaluation of our work over a number of case studies shows promising results in extracting expressive specifications from real programs, which could not be extracted previously. The more expressive the mined specifications, the higher their potential to support program comprehension and testing. |
format |
text |
author |
LO, David MAOZ, Shahar |
author_facet |
LO, David MAOZ, Shahar |
author_sort |
LO, David |
title |
Scenario-based and value-based specification mining: better together |
title_short |
Scenario-based and value-based specification mining: better together |
title_full |
Scenario-based and value-based specification mining: better together |
title_fullStr |
Scenario-based and value-based specification mining: better together |
title_full_unstemmed |
Scenario-based and value-based specification mining: better together |
title_sort |
scenario-based and value-based specification mining: better together |
publisher |
Institutional Knowledge at Singapore Management University |
publishDate |
2010 |
url |
https://ink.library.smu.edu.sg/sis_research/1348 https://ink.library.smu.edu.sg/context/sis_research/article/2347/viewcontent/ase10_lsc.pdf |
_version_ |
1770570973910663168 |