TY - GEN
T1 - Scenario-based and value-based specification mining
AU - Lo, David
AU - Maoz, Shahar
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
KW - Dynamic analysis
KW - Live sequence charts
KW - Specification mining
KW - Value-based invariants
UR - http://www.scopus.com/inward/record.url?scp=78649799481&partnerID=8YFLogxK
U2 - 10.1145/1858996.1859081
DO - 10.1145/1858996.1859081
M3 - פרסום בספר כנס
AN - SCOPUS:78649799481
SN - 9781450301169
T3 - ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering
SP - 387
EP - 396
BT - ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering
Y2 - 20 September 2010 through 24 September 2010
ER -