TitleInferring models of concurrent systems from logs of their behavior with CSight
Publication TypeConference Paper
Year of Publication2014
AuthorsBeschastnikh I, Brun Y, Ernst MD, Krishnamurthy A
Conference NameICSE 2014, Proceedings of the 36th International Conference on Software Engineering
Date or Month PublishedJune
Conference LocationHyderabad, India
AbstractConcurrent systems are notoriously difficult to debug and understand. A common way of gaining insight into system behavior is to inspect execution logs and documentation. Unfortunately, manual inspection of logs is an arduous process, and documentation is often incomplete and out of sync with the implementation. \par To provide developers with more insight into concurrent systems, we developed CSight. CSight mines logs of a system's executions to infer a concise and accurate model of that system's behavior, in the form of a communicating finite state machine (CFSM). \par Engineers can use the inferred CFSM model to understand complex behavior, detect anomalies, debug, and increase confidence in the correctness of their implementations. CSight's only requirement is that the logged events have vector timestamps. We provide a tool that automatically adds vector timestamps to system logs. Our tool prototypes are available at \urlhttps://github.com/ModelInference/synoptic. \par This paper presents algorithms for inferring CFSM models from traces of concurrent systems, proves them correct, provides an implementation, and evaluates the implementation in two ways: by running it on logs from three different networked systems and via a user study that focused on bug finding. Our evaluation finds that CSight infers accurate models that can help developers find bugs.
Downloadshttps://github.com/ModelInference/synoptic CSight implementation https://homes.cs.washington.edu/~mernst/pubs/concurrent-models-icse2014.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/concurrent-models-icse2014-... slides (PDF)
Citation KeyBeschastnikhBEK2014