Auflistung nach Schlagwort "API protocol"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragTowards Statically Checking Adherence to API Protocols(Softwaretechnik-Trends Band 43, Heft 2, 2023) Quante, Jochen; Naragund, Sushmita SureshAPI 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.