Towards Statically Checking Adherence to API Protocols

dc.contributor.author	Quante, Jochen
dc.contributor.author	Naragund, Sushmita Suresh
dc.contributor.editor	Herrmann, Andrea
dc.date.accessioned	2024-02-22T10:39:10Z
dc.date.available	2024-02-22T10:39:10Z
dc.date.issued	2023
dc.description.abstract	API protocols specify sequence constraints on API calls. They are typically available in form of finite state machines. Traditionally, API protocols are checked during runtime only: With each API call, the state in the state machine is tracked. If this leads to an error state (or an unsupported operation in a given state), the protocol is violated. However, it would be much more desirable to check adherence to the protocol statically, i.e., prior to execution of the code. In this paper, we report on our endeavors and experiences on doing such checks statically.	en
dc.identifier.issn	0720-8928
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/43662
dc.language.iso	en
dc.pubPlace	Bonn
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Softwaretechnik-Trends Band 43, Heft 2
dc.relation.ispartofseries	Softwaretechnik-Trends
dc.subject	API protocol
dc.subject	state machine
dc.subject	static
dc.subject	check
dc.title	Towards Statically Checking Adherence to API Protocols	en
dc.type	Text/Conference Paper
mci.conference.date	44993
mci.conference.location	Bad Honnef, Germany
mci.conference.sessiontitle	25. Workshop Software-Reengineering und -Evolution der GI-Fachgruppe Software Reengineering (SRE)
mci.reference.pages	32-33

Dateien

1 - 1 von 1