Debugging Behavioral Programs Using Models@run.time
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
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
Originalsprache | Englisch |
---|---|
Titel | 2024 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) |
Herausgeber (Verlag) | IEEE |
Seiten | 160-167 |
Seitenumfang | 8 |
ISBN (Print) | 979-8-3503-8027-9 |
Publikationsstatus | Veröffentlicht - 30 Aug. 2024 |
Peer-Review-Status | Ja |
Konferenz
Titel | 50th Euromicro Conference Series on Software Engineering and Advanced Applications |
---|---|
Kurztitel | SEAA 2024 |
Veranstaltungsnummer | 50 |
Dauer | 28 - 30 August 2024 |
Webseite | |
Ort | Sorbonne University |
Stadt | Paris |
Land | Frankreich |
Externe IDs
ORCID | /0000-0003-1537-7815/work/175749240 |
---|
Schlagworte
Schlagwörter
- Runtime, Event detection, Computer bugs, Prototypes, Debugging, Programming, Software, Servers