In the current world of web applications, none lives on an is- land. Current web applications often rely on a myriad of external web APIs and communicate with these external APIs through various HTTP requests spread throughout the application. The specification of those APIs is often described textually and programmers have to resort to manual verification of their code in order to verify if their API calls follow the specification. Next to a correct entry point, the data provided with the API call must also obey a set of constraints. Depending on the complexity of the API and its constraints this manual verification can become a difficult task. In this paper we show the need for more expressive machine-readable web APIs that allow the specification of more complex constraints. We also investigate where current verification tools for web APIs fall short and identify the challenges for the development of static verification tools that enable automatic verification of API calls.
|Number of pages||8|
|Publication status||Unpublished - 19 Jul 2016|
Duration: 19 Jul 2016 → 19 Jul 2016
Conference number: 5
|Period||19/07/16 → 19/07/16|