UMLChecker : un outil vérifiant la conformité entre une spécification et du code dans un enseignement de programmation orientée objet - Archive ouverte HAL Access content directly
Poster Communications Year : 2024

UMLChecker : un outil vérifiant la conformité entre une spécification et du code dans un enseignement de programmation orientée objet

Abstract

Nous présentons UMLChecker, un outil permettant de vérifier la conformité entre des spécifications UML et du code objet. Il est important que les étudiants en informatique soient capables de produire le code correspondant à un diagramme de classes. L'outil automatise le processus de vérification de la correction d'un programme dans un langage à objets selon un diagramme UML. Il a été utilisé en première année de BUT d'informatique. Basé sur les capacités d'introspection du langage cible et sur la disponibilité d'outil de tests, il permet d'intégrer la conception et la programmation UML dans le processus d'apprentissage. Il favorise l'auto-évaluation et l'évaluation continue des étudiants.
Fichier principal
Vignette du fichier
503007.pdf (258.11 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive

Dates and versions

hal-04482134 , version 2 (28-02-2024)
hal-04482134 , version 1 (28-02-2024)

Identifiers

  • HAL Id : hal-04482134 , version 2

Cite

Arnaud Lanoix Brauer, Emmanuel Desmontils. UMLChecker : un outil vérifiant la conformité entre une spécification et du code dans un enseignement de programmation orientée objet. Mens, Kim; Goletti, Olivier. Colloque Didapro 10 sur la Didactique de l’informatique et des STIC, 2024, Louvain-La-Neuve, Belgique. pp.152-154, 2024. ⟨hal-04482134v2⟩

Collections

TICE DIDAPRO10
111 View
11 Download

Share

Gmail Facebook X LinkedIn More