Contrats cachés en .NET. Mise au jour et ajout de contrats a posteriori
Les bibliothèques écrites dans un langage ne supportant pas les contrats cachentelles des contrats sous-jacents ? Est-il possible d'ajouter ces « contrats » a posteriori ? Avec recherche de contrats implicites. Cet article reprend les résultats que nous avons obtenus, résultats que nous avions publiés dans un papier présenté au workshop de recherche « Microsoft Summer Research Workshop 2002 » (Arnout et al., 2002), analyse les avantages des composants « contractés » d'un point de vue utilisateur et présente nos travaux en matière d'extraction automatique de contrats.
Can libraries written in a language that does not support Design by ContractTM, benefit from a posteriori addition of contracts? To help answer this question, we performed an empirical study of classes from the .NET Collections library to search for unexpressed contracts. This article repeats the results we published in a previous paper that we presented at Microsoft Summer Research Workshop 2002 (Arnout et al., 2002), analyzes the advantages for the users of having such contracted components, and envisions automating the extraction of closet contracts.
K.ARNOUT, B.MEYER
Conception par contrats, .NET, Eiffel, Contrats implicites, Extraction automatique.
Design by Contract, .NET, Eiffel, Closet contracts, Automatic extraction.
Français
|
