Debugging Behavioral Programs Using Models@run.time

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

Abstract

Behavioral programming is a paradigm that allows to develop software based on scenarios and use cases. Behavior is implemented in asynchronous threads (b-threads) that run concurrently with each other and use event-based mechanisms to communicate and effect the overall system state. While the approach enables a natural and incremental development process, with a growing number of threads it gets increasingly harder to comprehend the system's state changes. In this paper, we address this problem with a debugger for behavioral programs. The debugger increases program comprehension by providing a clear overview of the system state as well as debugging-specific control capabilities such as breakpoints and advanced techniques like time-traveling and trace-comparison. For this, we utilize a runtime model of the system's state that is causally connected to the running system. We evaluate our approach using two case studies from literature.

Details

OriginalspracheEnglisch
Titel2024 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
Herausgeber (Verlag)IEEE
Seiten160-167
Seitenumfang8
ISBN (Print)979-8-3503-8027-9
PublikationsstatusVeröffentlicht - 30 Aug. 2024
Peer-Review-StatusJa

Konferenz

Titel50th Euromicro Conference Series on Software Engineering and Advanced Applications
KurztitelSEAA 2024
Veranstaltungsnummer50
Dauer28 - 30 August 2024
Webseite
OrtSorbonne University
StadtParis
LandFrankreich

Externe IDs

ORCID /0000-0003-1537-7815/work/175749240

Schlagworte

Schlagwörter

  • Runtime, Event detection, Computer bugs, Prototypes, Debugging, Programming, Software, Servers