Sciweavers

IWPC
2008
IEEE

Ensuring Well-Behaved Usage of APIs through Syntactic Constraints

14 years 5 months ago
Ensuring Well-Behaved Usage of APIs through Syntactic Constraints
Libraries are the most widespreaded form of software reuse. In order to properly use a library API, its clients should fulfill a series of (many times implicit) assumptions made by the API programmers. Failing to fulfill these assumptions leads to a misuse of the library and thereby to defects in the client’s code. In this paper we present a method for checking a well-behaved usage of an API through a set of context-sensitive syntactic constraints over the API clients. These constraints restrict the set of programs that can be written with an API only to programs that fulfill the API assumptions and thereby represent a well-behaved and valid usage of the API. In this paper we present a set of typical assumption classes made by API providers about their clients. We define a framework for formalizing the contextsensitive constraints over the API client code and propose a typical constraint for each class of assumptions. Thereby we provide a mechanism that allows the provider of an...
Martin Feilkas, Daniel Ratiu
Added 31 May 2010
Updated 31 May 2010
Type Conference
Year 2008
Where IWPC
Authors Martin Feilkas, Daniel Ratiu
Comments (0)