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
Originalbündel
1 - 1 von 1