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

Denis Bouhineau 1
1 MeTAH
LIG - Laboratoire d'Informatique de Grenoble
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.
Type de document :
Communication dans un congrès
Christophe Choquet, Philippe Dessus, Marie Lefevre, Julien Broisin, Olivier Catteau, Philippe Vidal. EIAH 2013 - 6e conférence sur les Environnements Informatiques pour l'Apprentissage Humain, May 2013, Toulouse, France. IRIT Press 2013, pp.141-152, 2013
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00862437
Contributeur : Denis Bouhineau <>
Soumis le : lundi 16 septembre 2013 - 16:27:24
Dernière modification le : jeudi 11 janvier 2018 - 06:26:35
Document(s) archivé(s) le : vendredi 20 décembre 2013 - 13:55:19

Fichier

Bouhineau_eiah2013.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00862437, version 1

Collections

Citation

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. Christophe Choquet, Philippe Dessus, Marie Lefevre, Julien Broisin, Olivier Catteau, Philippe Vidal. EIAH 2013 - 6e conférence sur les Environnements Informatiques pour l'Apprentissage Humain, May 2013, Toulouse, France. IRIT Press 2013, pp.141-152, 2013. 〈hal-00862437〉

Partager

Métriques

Consultations de la notice

222

Téléchargements de fichiers

158