La fonctionnalité de recherche est en construction.
La fonctionnalité de recherche est en construction.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Contract Specification in Java: Classification, Characterization, and a New Marker Method Spécification de contrat en Java : classification, caractérisation et nouvelle méthode de marqueur

Chien-Tsun CHEN, Yu Chin CHENG, Chin-Yun HSIEH

  • Vues en texte intégral

    0

  • Citer

Résumé:

La conception par contrat (DBC), issue du langage de programmation Eiffel, est généralement acceptée comme une méthode pratique pour créer des logiciels fiables. Cependant, à l’heure actuelle, peu de langues le prennent en charge de manière intégrée. Ces dernières années, plusieurs méthodes ont été proposées pour prendre en charge DBC en Java. Nous comparons onze outils DBC pour Java en analysant leur impact sur les activités de programmation du développeur, qui sont caractérisées par sept attributs de qualité identifiés dans cet article. Il est démontré que chacun des outils existants ne parvient pas à atteindre certains attributs de qualité. Cela nous motive à développer ezContract, un outil DBC open source pour Java qui atteint les sept attributs de qualité. ezContract réalise une intégration rationalisée avec l’environnement de travail. Notamment, le langage Java standard est utilisé et les fonctionnalités avancées de l'IDE qui fonctionnent pour les programmes Java standard peuvent également fonctionner pour les programmes activés par contrat. Ces fonctionnalités incluent la compilation incrémentielle, la refactorisation automatique et l'assistance au code.

Publication
IEICE TRANSACTIONS on Information Vol.E91-D No.11 pp.2685-2692
Date de publication
2008/11/01
Publicisé
ISSN en ligne
1745-1361
DOI
10.1093/ietisy/e91-d.11.2685
Type de manuscrit
PAPER
Catégories
Fondamentaux du logiciel et théorie des programmes

Auteurs

Mots-clés

Table des matières