Utilisation de traits sémantiques pour une méthodologie de construction d'un système d'aide dans un EIAH de l'algorithmique - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Utilisation de traits sémantiques pour une méthodologie de construction d'un système d'aide dans un EIAH de l'algorithmique

Résumé

Le recours à de " simples tests " sur des jeux d'essai pour estimer la correction d'un programme est une méthode largement répandue dans l'enseignement de l'algorithmique et dans les EIAH du domaine. L'usage habituel (hors EIAH) pour l'élaboration de ces jeux d'essai s'appuie sur la spécification de la fonction à réaliser et les structures des données utilisées. Pour une approche EIAH, il est proposé de prendre en compte également les erreurs habituelles et celles induites par l'exercice lui-même pour définir ces jeux d'essai. Pour cela, cet article propose un outil sémantique, basé sur les notions de jeux d'essai et de contre-exemples, qui permette une caractérisation simple de tous les programmes : les corrects (vis-à-vis de la résolution d'un problème donné) et les autres. Reposant sur cet outil, une méthodologie de définition incrémentale des jeux d'essai et des contre-exemples est proposée. Elle permet de prolonger les systèmes de test des exercices en systèmes de diagnostic des erreurs et d'aide à la correction de ces erreurs. L'observation d'une utilisation ponctuelle de cette méthodologie dans un enseignement standard de licence d'informatique donne des éléments de validation pratique de la méthode.
Fichier principal
Vignette du fichier
Bouhineau_eiah2013.pdf (103.52 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00862437 , version 1 (16-09-2013)

Identifiants

  • HAL Id : hal-00862437 , version 1

Citer

Denis Bouhineau. Utilisation de traits sémantiques pour une méthodologie de construction d'un système d'aide dans un EIAH de l'algorithmique : Travail sur les notions de jeux d'essai et de contre-exemples dans EDBA. EIAH 2013 - 6e conférence sur les Environnements Informatiques pour l'Apprentissage Humain, May 2013, Toulouse, France. pp.141-152. ⟨hal-00862437⟩
220 Consultations
156 Téléchargements

Partager

Gmail Facebook X LinkedIn More