Program abstractions for behaviour validation

Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastián Uchitel
2011 Proceeding of the 33rd international conference on Software engineering - ICSE '11  
Code artefacts that have non-trivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. This work addresses the problem of validating if API implementations provide their intended behaviour when descriptions of this behaviour are informal, partial or non-existent. The proposed approach addresses this problem by generating abstract behaviour models which resemble
more » ... estates. These models are statically computed and encode all admissible sequences of method calls. The level of abstraction at which such models are constructed has shown to be useful for validating code artefacts and identifying findings which led to the discovery of bugs, adjustment of the requirements expected by the engineer to the requirements implicit in the code, and the improvement of available documentation.
doi:10.1145/1985793.1985846 dblp:conf/icse/CasoBGU11 fatcat:geaddq3vwngixfwhtwa5tcuugi