Towards Succinctness in Mining Scenario-Based Specifications

被引:2
|
作者
Lo, David [1 ]
Maoz, Shahar [2 ]
机构
[1] Singapore Management Univ, Sch Informat Syst, Singapore, Singapore
[2] Rhein Westfal TH Aachen Univ, Dept Comp Sci Software Engn 3, Aachen, Germany
来源
2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS) | 2011年
关键词
D O I
10.1109/ICECCS.2011.30
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Specification mining methods are used to extract candidate specifications from system execution traces. A major challenge for specification mining is succinctness. That is, in addition to the soundness, completeness, and scalable performance of the specification mining method, one is interested in producing a succinct result, which conveys a lot of information about the system under investigation but uses a short, machine and human-readable representation. In this paper we address the succinctness challenge in the context of scenario-based specification mining, whose target formalism is live sequence charts (LSC), an expressive extension of classical sequence diagrams. We do this by adapting three classical notions: a definition of an equivalence relation over LSCs, a definition of a redundancy and inclusion relation based on isomorphic embeddings among LSCs, and a delta-discriminative measure based on an information gain metric on a sorted set of LSCs. These are applied on top of the commonly used statistical metrics of support and confidence. A number of case studies show the utility of our approach towards succinct mined specifications.
引用
收藏
页码:231 / 240
页数:10
相关论文
共 50 条
  • [1] Mining Hierarchical Scenario-Based Specifications
    Lo, David
    Maoz, Shahar
    2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 359 - 370
  • [2] Verifying scenario-based aspect specifications
    Katz, E
    Katz, S
    FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 432 - 447
  • [3] Synthesis from scenario-based specifications
    Harel, David
    Segall, Itai
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2012, 78 (03) : 970 - 980
  • [4] Temporal logic for scenario-based specifications
    Kugler, H
    Harel, D
    Pnueli, A
    Lu, Y
    Bontemps, Y
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 445 - 460
  • [5] TASS: Timing Analyzer of Scenario-Based Specifications
    Pan, Minxue
    Bu, Lei
    Li, Xuandong
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2009, 5643 : 689 - 695
  • [6] Efficient composition of scenario-based hardware specifications
    de Gennaro, Alessandro
    Stankaitis, Paulius
    Mokhov, Andrey
    IET COMPUTERS AND DIGITAL TECHNIQUES, 2019, 13 (02): : 57 - 69
  • [7] Semantically Configurable Analysis of Scenario-Based Specifications
    Cohen, Barak
    Maoz, Shahar
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2014, 2014, 8411 : 185 - 199
  • [8] Model checking conformance with scenario-based specifications
    Glusman, M
    Katz, S
    COMPUTER AIDED VERIFICATION, 2003, 2725 : 328 - 340
  • [9] Verification of Scenario-based Specifications using Templates
    Palshikar, Girish Keshav
    Bhaduri, Purandar
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 118 : 37 - 55
  • [10] Consistency checking of concurrent models for scenario-based specifications
    Li, XD
    Hu, J
    Bu, L
    Zhao, JH
    Zheng, GL
    SDL 2005: MODEL DRIVEN, PROCEEDINGS, 2005, 3530 : 298 - 312