Module WIMS: Compréhension de programmes C++
Présentation
Ce module présente à l'étudiant des programmes qu'il doit lire et comprendre, afin de deviner quelle en sera la sortie, ou bien l'entrée appropriée pour obtenir 42. Les programmes sont tirés aléatoirement d'une collection de programmes groupés par thèmes. Pour rajouter un nouveau programme il suffit de l'ajouter dans le répertoire idoine. Voir ci-dessous.
Pour l'instant, la collection est constituée d'exercices de C++, donnés dans le cadre des cours d'introduction à l'informatique Info 111 et Info 121 de la licence MPI de l'Université Paris Sud, mais l'infrastructure est conçue pour être généralisable à d'autres langages de programmation.
Étendre le module avec de nouveaux programmes
Le répertoire `data/`_ contient des programmes C++. Le nom des
programmes est de la forme <theme>_nom.cpp ou <theme>_nom_input.cpp.
Dans le premier cas, l'utilisateur doit deviner la sortie du programme. Dans le second cas, le programme doit lire un entier entre 0 et 99 sur l'entrée standard, et l'utilisateur doit deviner lequel donne 42; pour l'instant cet entier doit être unique.
L'infrastructure du module est implantée dans `src/cpp/read_program.cpp`_.
Mise à jour de l'exercice sur WIMS
wims.u-psud.fr -> serveur de l'université -> Accueil WIMS -> modtools -> login -> Restauration
Documentation générique des modules WIMS
Pour installer des exercices OEF dans un module :
- Créer un module de type OEF
- Pour chaque exercice, créer dans le module un nouveau fichier d'extension oef dans le répertoire src/ (exemple : src/euclide.oef). Une zone de texte apparaît ; y écrire (ou coller) le texte source de l'exercice. Enregistrer les changements.
- Tester le module.
- Modifier à son goût intro.phtml et endhook.phtml,
- et tester à nouveau.
%%%%%% Pour utiliser directement le module sur un serveur WIMS local,
1- Mettre le template à la bonne place, en changeant le nom.
- Modifier intro.phtml
- Modifier le fichier INDEX.
- Installer les fichiers sources.
- Exécuter le script $wims_home/other/bin/src2def. (Cette étape doit être répétée à chaque fois que les fichiers sources sont modifiés).