Specification mining in concurrent and distributed systems
Pages 1161 - 1163
Abstract
Dynamic specification mining involves discovering software behavior from traces for the purpose of program comprehension and bug detection. However, in concurrent/distributed programs, the inherent partial order relationships among events occurring across processes pose a big challenge to specification mining. A framework for mining partial orders that takes in a set of concurrent program traces, and produces a message sequence graph (MSG) is proposed. Mining an MSG allows one to understand concurrent behaviors since the nodes of the MSG depict important "phases" or "interaction snippets" involving several concurrently executing processes. Experiments on mining behaviors of fairly complex distributed systems show that the proposed miner can produce the corresponding MSGs with both high precision and high recall.
References
[1]
M. Acharya, T. Xie, J. Pei, and J. Xu. Mining api patterns as partial orders from source code: from usage scenarios to specifications. In ESEC/SIGSOFT FSE, 2007.
[2]
G. Ammons, R. Bodik, and J. R. Larus. Mining Specification. In POPL, 2002.
[3]
L. C. Briand, Y. Labiche, and J. Leduc. Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software. IEEE TSE, 32(9):642--663, 2006.
[4]
S. Kumar, S.-C. Khoo, A. Roychoudhury, and D. Lo. Mining message sequence graphs. In ICSE, 2011. (To Appear).
[5]
D. Lo and S.-C. Khoo. QUARK: Empirical assessment of automaton-based specification miners. In WCRE, 2006.
[6]
D. Lo and S.-C. Khoo. SMArTIC: Towards building an accurate, robust and scalable specification miner. In SIGSOFT FSE, 2006.
[7]
D. Lo, S.-C. Khoo, and C. Liu. Efficient mining of iterative patterns for software specification discovery. KDD, 2007.
[8]
D. Lo, S.-C. Khoo, and C. Liu. Mining temporal rules for software maintenance. Journal of Software Maintenance and Evolution: Research and Practice, 20(4):227--247, 2008.
[9]
D. Lo and S. Maoz. Mining Scenario Based Triggers and Effects. In ASE, 2008.
[10]
D. Lo, S. Maoz, and S.-C. Khoo. Mining Modal Scenario-Based Specifications from Execution Traces of Reactive Systems. In ASE, 2007.
[11]
D. Lorenzoli, L. Mariani, and M. Pezzè. Automatic Generation of Software Behavioral Models. In ICSE, 2008.
[12]
L. Mariani and M. Pezzè. Behavior capture and test: Automated analysis for component integration. In ICECCS, 2005.
[13]
NASA. Center TRACON Automation System (CTAS). http://www.aviationsystemsdivision.arc.nasa.gov/research/foundations/sw_overview.shtml.
[14]
R. Oechsle and T. Schmitt. Javavis: Automatic program visualization with object and sequence diagrams using the java debug interface (jdi). In Revised Lectures on Software Visualization, International Seminar, pages 176--190, 2002.
[15]
A. Rountev and B. Connell. Object naming analysis for reverse-engineered sequence diagrams. In ICSE, 2005.
[16]
A. Roychoudhury, A. Goel, and B. Sengupta. Symbolic message sequence charts. In ESEC-FSE, 2007.
[17]
H. Safyallah and K. Sartipi. Dynamic Analysis of Software Systems using Execution Pattern Mining. In ICPC, 2006.
[18]
J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das. Perracotta: Mining temporal API rules from imperfect traces. In ICSE, 2006.
Index Terms
- Specification mining in concurrent and distributed systems
Recommendations
Specification mining in concurrent and distributed systems
ICSE '11: Proceedings of the 33rd International Conference on Software EngineeringDistributed systems contain several interacting components that perform complex computational tasks. Formal specification of the interaction protocols are crucial to the understanding of these systems. Dynamic specification mining from traces containing ...
Mining message sequence graphs
ICSE '11: Proceedings of the 33rd International Conference on Software EngineeringDynamic specification mining involves discovering software behavior from traces for the purpose of program comprehension and bug detection. However, mining program behavior from execution traces is difficult for concurrent/distributed programs. ...
A fast distributed algorithm for mining association rules
DIS '96: Proceedings of the fourth international conference on on Parallel and distributed information systemsWith the existence of many large transaction databases, the huge amounts of data, the high scability of distributed systems, and the easy partition and distribution of a centralized database, it is important to investigate efficient methods for ...
Comments
Information & Contributors
Information
Published In
May 2011
1258 pages
ISBN:9781450304450
DOI:10.1145/1985793
- General Chair:
- Richard N. Taylor,
- Program Chairs:
- Harald Gall,
- Nenad Medvidović
Copyright © 2011 Copyright is held by the owner/author(s).
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 21 May 2011
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
ICSE11
Sponsor:
Acceptance Rates
Overall Acceptance Rate 276 of 1,856 submissions, 15%
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 168Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 20 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in