Show simple document record

dc.contributor.advisorGonzalez-Rubio, Ruben
dc.contributor.authorMaïga, Cheick Ismaëlfr
dc.date.accessioned2016-08-26T17:07:49Z
dc.date.available2016-08-26T17:07:49Z
dc.date.created2016fr
dc.date.issued2016-08-26
dc.identifier.urihttp://hdl.handle.net/11143/9473
dc.description.abstractLe logiciel est devenu omniprésent dans nos vies de sorte qu'on le retrouve dans plusieurs domaines de la vie courante. Cependant cette omniprésence, n'est pas sans conséquences. Les bogues de logiciel peuvent causer de vrais désastres, économiques, écologiques voire sanitaires. Vu la forte omniprésente du logiciel dans nos vies, le fonctionnement de nos sociétés dépend fortement de sa qualité. La programmation par contrat a pour but de produire des logiciels fiables, c'est-à-dire corrects et robustes. En effet, ce paradigme de programmation vise à introduire des assertions qui sont des spécifications de services. Ces spécifications représentent une forme de contrat. Les contrats définissent les responsabilités entre le client et le fournisseur. Le respect des contrats permet de garantir que le logiciel ne fait ni plus ni moins que ce que l'on attend de lui qu'il fasse. Le test unitaire est un test qui permet de s'assurer du bon fonctionnement d'une partie précise d'un logiciel. C'est un test dont la vérification se fait en exécutant une petite unité de code. En somme, un test unitaire est un code qui exécute de manière indirecte le code d'une classe pour vérifier que le code fonctionne bien. L'outil Génération de Squelettes des Contrats de classes et des tests unitaires (GACTUS) permet la génération automatique de squelettes de contrats de classes et celles des classes des tests unitaires d'un projet Java. La génération automatique du code source permet d'obtenir un code uniforme. GACTUS est un plug-in pour l'environnement de développement Eclipse écrit en Java. L'objectif principal de GACTUS est de faciliter la réalisation de logiciel de qualité grâce à la génération automatique des squelettes de contrats de classe et celui des tests unitaires et aussi d'accroître la productivité des développeurs. Pour faciliter son utilisation, GACTUS dispose d'une interface graphique permettant de guider l'utilisateur.fr
dc.language.isofrefr
dc.publisherUniversité de Sherbrookefr
dc.rights© MAIGA Cheick Ismaelfr
dc.rightsAttribution - Partage dans les Mêmes Conditions 2.5 Canada*
dc.rights.urihttp://creativecommons.org/licenses/by-sa/2.5/ca/*
dc.subjectGénie logicielfr
dc.subjectTest unitairefr
dc.subjectContrat de classefr
dc.subjectQualité du logicielfr
dc.subjectPlugin eclipsefr
dc.subjectJavafr
dc.titleGénération de squelettes des contrats de classes et des tests unitaires en Javafr
dc.typeMémoirefr
tme.degree.disciplineGénie électriquefr
tme.degree.grantorFaculté de géniefr
tme.degree.levelMaîtrisefr
tme.degree.nameM. Sc. A.fr


Files in this document

Thumbnail
Thumbnail

This document appears in the following Collection(s)

Show simple document record

© MAIGA Cheick Ismael
Except where otherwise noted, this document's license is described as © MAIGA Cheick Ismael