Uploaded October 2022 | Updated September 2026, 19 hours ago
Dynamic analysis, such as testing and runtime verification, is an integral part of quality control and nicely complements static code analysis. Runtime verification is useful when the execution of the system under test is not staged but correct or incorrect behaviour is well specified. It often requires code injection and formally specified properties which prevents wider acceptance of the method. We focus on closing the gap between runtime verification and software development by exploiting the logs of the system under test. Log messages express the events in the system and software developers know exactly what they mean and what are the expected and the unexpected sequences. One of the main problems of log analysis is interleaving of log messages related to different sessions, resources, and purpose-specific objects; logs are parametric.
The talk will provide a way to monitor a system and to determine whether it is working correctly, based on the system’s log messages and the provided specification. The talk will be supplied with examples of our prototype monitoring tool applied on several different systems.
Speaker: Aleš Smrčka, Brno University of Technology
►About the event
Research Day showcases successful research cooperation between Red Hat and academic institutions worldwide and connects researchers with Red Hat engineers, customers, partners, industry representatives, and others interested in research that will impact open source software.
►Are you interested in open source projects we are incubating at Red Hat Research? Visit research.redhat.com to learn more and get involved!
Dynamic analysis, such as testing and runtime verification, is an integral part of quality control and nicely complements static code analysis. Runtime verification is useful when the execution of the system under test is not staged but correct or incorrect behaviour is well specified. It often requires code injection and formally specified properties which prevents wider acceptance of the method. We focus on closing the gap between runtime verification and software development by exploiting the logs of the system under test. Log messages express the events in the system and software developers know exactly what they mean and what are the expected and the unexpected sequences. One of the main problems of log analysis is interleaving of log messages related to different sessions, resources, and purpose-specific objects; logs are parametric.
The talk will provide a way to monitor a system and to determine whether it is working correctly, based on the system’s log messages and the provided specification. The talk will be supplied with examples of our prototype monitoring tool applied on several different systems.
Speaker: Aleš Smrčka, Brno University of Technology
►About the event
Research Day showcases successful research cooperation between Red Hat and academic institutions worldwide and connects researchers with Red Hat engineers, customers, partners, industry representatives, and others interested in research that will impact open source software.
►Are you interested in open source projects we are incubating at Red Hat Research? Visit research.redhat.com to learn more and get involved!
