Automatic Generation of Monitoring Code for Model Based Analysis of Runtime Behaviour

Automatic Generation of Monitoring Code for Model Based Analysis of Runtime Behaviour

Abstract

Software systems are getting increasingly complex, which makes them inherently harder to understand and instrument when their behaviours should be analyzed and adapted. Observing a system requires an examination of its implementation and writing the appropriate monitoring code. This process can be both time consuming and error prone, especially if high-level system properties should be analyzed which are not directly reflected in the implementation. Furthermore, analysis needs often arise at runtime and are handled in an unsystematic way that is not reusable: For similar analysis tasks, the process of examining the system and writing the monitoring logic mustbe repeated. In this paper we present a language to specify recurring monitoring patterns which are automatically expanded into monitoring code for given models of the analyzed system. As a consequence, the effort for writing monitoring code is reduced and recurring analysis tasks are better supported through automatic code generation.

Grafik Top
Authors
  • Szvetits, Michael
  • Zdun, Uwe
Grafik Top
Shortfacts
Category
Paper in Conference Proceedings or in Workshop Proceedings (Paper)
Event Title
24th Asia-Pacific Software Engineering Conference (APSEC 2017)
Divisions
Software Architecture
Subjects
Software Engineering
Event Location
Nanjing, China
Event Type
Conference
Event Dates
4-8 Dec 2017
Page Range
pp. 660-665
Date
4 December 2017
Export
Grafik Top