Le cédérom VideoScm « Processus d`évaluation » UPMC DEUG

Transcription

Le cédérom VideoScm
« Processus d’évaluation »
UPMC DEUG MIAS
Revision: 1.3
Christian Queinnec
Université Paris 6 — Pierre et Marie Curie
septembre 2001 — janvier 2002
Ce document présente les grandes lignes du cédérom VideoScm ainsi que son installation et quelques
détails sur sa réalisation. On peut le consulter par sujets séparés1 en HTML ou comme un tout en PDF2 .
1. Modes d’emploi
Il existe de nombreuses façons de se servir de ce cédérom.
1. On peut simplement le parcourir avec un navigateur courant en débutant par le fichier index.html qui
se trouve à la racine du cédérom.
2. On peut installer DrScheme pour mieux suivre le cours « Processus d’évaluation ». Pour ce faire,
suivez la procédure 3. Lorsque DrScheme et les adjonctions pour le DEUG MIAS sont installés, vous
pouvez vous entrainer avec les exercices et auto-évaluations.
3. On peut enfin installer plus complètement le cédérom ce qui n’est utile que pour les étudiants de la
formation SPAD. Pour ce faire, suivez la procédure d’installation4. À ce moment, les traces que vous
laisserez en utilisant DrScheme (exercices et auto-évaluations) ou en consultant le cédérom seront
transmises à vos enseignants.
2. Installation de DrScheme
DrScheme possède son propre programme d’installation qui dépend fortement du système d’exploitation que vous utilisez.
2.0.1. version Windows
Pour installer DrScheme sur Windows, il suffit de lancer le programme
informatique/DrScheme/pub/computing/Scheme/DrScheme/103/plt/plt.exe
Il suffit (souvent mais avec IExplorer seulement) de cliquer sur ce lien 5 . Si cela ne fonctionne pas, allez
sur le cédérom dans le dossier « informatique », puis « DrScheme », puis « pub », puis « computing », puis
« Scheme » puis « DrScheme » puis « 103 » et enfin (ouf !) « plt ». Là, lancez le programme plt.exe en
double-cliquant sur son icône (le nom peut être tronqué en plt).
1
cd-qnc-introduction.html
2 lecd.pdf
3 cd-qnc-install-drscheme.html
4 cd-qnc-installation.html
5 ../DrScheme/pub/computing/Scheme/DrScheme/103/plt/plt.exe
1
UPMC DEUG MIAS — Processus d’évaluation – Le cédérom
2
Le programme d’installation vous suggèrera où installer DrScheme (ce que vous pouvez modifier) puis
vous conseillera (à juste titre) de compiler certains utilitaires (ce qu’il faut lui laisser faire).
Testez de suite DrScheme en le lançant grâce à l’icône qui a dû apparaître sur votre écran, intitulée
DrScheme et comportant un « lambda » grec blanc sur fond rouge et bleu comme le montre la figure 1.
F IG . 1 – Un morceau de bureau avec un raccourci vers DrScheme. [Apparaît aussi un raccourci pour lancer
les serveurs du cédérom.]
Si l’icône n’est pas apparue, cherchez dans le menu « Démarrer » puis « Programmes » puis sous-menu
« PLT Scheme » l’entrée « DrScheme » (profitez-en alors pour créer un raccourci sur votre bureau). Et si
vous ne trouvez encore rien, le programme à lancer se nomme plt.exe et se trouve dans le répertoire où
vous avez dit d’installer DrScheme. Avant de double-cliquer dessus, créez un raccourci depuis votre bureau
vers ce programme afin de le retrouver facilement.
Sautez la section qui suit et rendez-vous pour particulariser DrScheme.
2.0.2. version Linux
Pour installer DrScheme sur Linux, voici les commandes qu’il faut exécuter en étant root (ce que
vous n’êtes que quand c’est nécessaire ?). Il existe aussi des outils graphiques pour cette tâche. Ce qui suit
est découpé en plusieurs lignes afin d’être plus lisible. On suppose que le cédérom est accessible depuis le
chemin /mnt/cdrom.
export MOI=‘id -u‘.‘id -g‘
su
cd /mnt/cdrom/informatique/DrScheme
cd pub/computing/Scheme/DrScheme/103/plt
rpm -Uvh plt-103-1.i386.rpm
chown -R $MOI /usr/local/lib/plt-103
exit
Explication : vous mémorisez votre identité (nom d’utilisateur et groupe) dans une variable nommée
MOI (les accents sont des accents graves même si la police utilisée les rend plutôt sous la forme d’accent
aigüs) puis vous devenez l’utilisateur privilégié root, vous installez le fichier .rpm contenant DrScheme,
enfin vous vous donnez la propriété de tous les fichiers qui ont été déballé. Cette étape est nécessaire pour
que vous puissiez mettre à jour ultérieurement DrScheme sans aucun privilège dangereux). La dernière
commande exit permet de ne plus être l’utilisateur privilégié root.
Testez maintenant que DrScheme marche (vous pouvez aussi instruire votre gestionnaire d’écran à
lancer DrScheme à partir d’une icône si vous préferez). La commande pour lancer DrScheme est :
drscheme
Si la commande précédente ne marche pas, essayez de lancer DrScheme avec son nom complet :
/usr/local/bin/drscheme ou encore /usr/local/lib/plt/bin/drscheme.
c 2001-2002 by C. Queinnec
3
2.0.3. Particularisation de DrScheme
L’enseignement « Processus d’évaluation » ajoute des exercices, des auto-évaluations et plein d’autres
choses à DrScheme. Pour installer ces adjonctions, lancez DrScheme comme vu précédemment afin d’obtenir la fenêtre capturée en figure 2.
F IG . 2 – DrScheme une fois lancé [Le numéro de version de DrScheme est toujours 103, la version des adjonctions mias n’est plus, depuis longtemps, la version 884 ! D’autre part, le niveau de langage est Beginner
et non comme ici Graphical Full Scheme. Et en plus aucun Teachpack ne devrait apparaître.]
Dans le menu File, choisissez l’entrée Open URL... puis sélectionnez avec le bouton Browse le fichier
informatique/ProcessusEvaluation/miastools.plt à partir de la racine du cédérom comme le montre la figure 3.
Une fois sélectionné, cliquez sur le bouton Open, vous obtiendrez la question illustrée à la figure 4
à laquelle vous répondrez Download and Install. Nota : sur Linux ou NT, il vous faut avoir les droits
d’écriture dans l’arborescence de fichiers de DrScheme. Regardez soigneusement la fenêtre avec les détails
d’installation afin de détecter d’éventuelles anomalies.
Enfin lorsque DrScheme et ses adjonctions sont installés, vous devez relancer DrScheme6 (afin qu’il
prenne en compte les adjonctions qui viennent d’être effectuées) qui maintenant affichera comme numéro
de version non plus 103 mais 103-miasXXX (où XXX est le numéro de version).
6 cd-qnc-restart.html
4
F IG . 3 – Choix du fichier miastools.plt [Le chemin d’accès n’est certainement pas /archive/videoscm2001/
sur votre machine mais plus probablement /mnt/cdrom/.]
5
F IG . 4 – Confirmation du chargement de miastools.plt [Le chemin d’accès n’est certainement pas /archive/videoscm2001/ sur votre machine mais plus probablement /mnt/cdrom/.]
6
3. (re-)lancer et quitter DrScheme
Voici comment lancer et stopper DrScheme.
3.1. Détails de lancement
Pour lancer DrScheme, dès lors qu’il est installé, il suffit, sous Linux, d’émettre la commande :
drscheme &
Sous Windows, cliquez dans le menu « Démarrer », puis « programmes » puis sous-menu « PLT Scheme
» l’entrée « DrScheme » pour lancer DrScheme.
3.2. Détails d’arrêt
Lorsque vous avez fini de travailler avec DrScheme, choisissez l’entrée Quit du menu File pour en finir
ou cliquez sur la case de fermeture de la fenêtre.
4. Introduction au cédérom
Insérez le cédérom dans le lecteur idoine de votre ordinateur. La suite dépend du système d’exploitation,
de son paramétrage et de vos désirs.
– Si vous aimez vivre dangereusement (Windows ou Linux), le cédérom lancera, dès qu’inséré, l’affichage de la page index.html (ainsi que l’effacement de votre disque dur (non, non, je galèje !))
– sinon, lancez un navigateur (IExplorer (Microsoft), Navigator (Netscape) ou autre) et demandez-lui
d’afficher la page index.html (c’est un fichier (ou document) qui se trouve à la racine du cédérom
(parfois on ne voit que son nom tronqué c’est-à-dire index)).
En cliquant sur « informatique » puis sur « installation », vous retrouverez cette page même7 que vous
êtes en train de lire.
Cette page fait partie d’une documentation plus importante qui existe aussi en PDF8 .
Bravo, vous avez surmonté la première difficulté, la suite dépend du système d’exploitation que vous
utilisez. Il est bon que vous gardiez une fenêtre sur cette documentation pendant la durée de l’installation.
L’installation est, dans une large mesure, commune aux deux systèmes, les détails qui diffèrent seront
explicités à chaque fois.
L’installation complète n’est requise que des étudiants SPAD, les autres peuvent n’en installer qu’une
partie voire même utiliser le cédérom sans installation aucune. Les variantes principales seront détaillées
lors de l’installation.
Enfin il y a, bien sûr, des astuces d’emploi9 (vous pouvez également nous envoyer10 les vôtres) !
Alors, prêt à installer ?11
7 cd-qnc-introduction.html
8 lecd.pdf
9 cd-qnc-astuces.html
10 mailto:[email protected]
7
5. Installation
ATTENTION : l’installation ici décrite ne concerne que les groupes SPAD. L’installation de DrScheme12
suffit pour les autres.
L’installation comprend
1. La création d’un répertoire personnel et persistant sur votre disque dur afin d’y stocker vos paramètres
et vos résultats. Vous retrouverez ce répertoire de session de travail en session de travail.
2. Une base de données relationnelle nommée McKoi contenant les données vous concernant qui se
vide régulièrement dans une base de données centrale à l’université.
3. Un relais (un proxy) nommé Muffin qui permet aux enseignants de savoir quelles sont les pages que
vous consultez sur le cédérom (lesquelles sont les plus ou les moins populaires, la façon dont vous
parcourrez le cédérom, etc.)
4. L’environnement de développement Scheme, nommé DrScheme accompagné des adjonctions propres
au DEUG MIAS.
5.1. Lancement de l’installation
Pour lancer l’installation, vous devez lancer un programme (quoiqu’écrit principalement en Java, ce
programme utilise sa propre machine virtuelle qui est sur le cédérom, vous n’avez donc pas à installer Java
(cf. cependant Java13 )) :
– Sur Windows, c’est le programme scripts/windows/install.vbs 14 (qui se trouve dans le dossier windows du dossier scripts). Il suffit souvent de cliquer sur le lien précédent pour le lancer (puis de dire
à Windows que vous voulez exécuter ce programme et non le stocker sur disque).
– Sur Linux, c’est le programme scripts/linux/install.sh. Pour le lancer, ouvrer une fenêtre souvent intitulé xterm ou console ou shell, déplacez-vous sur le cédérom (avec la commande cd (le répertoire /mnt/cdrom/ est l’endroit où se trouve le cédérom sur la machine où a été
lancé le programme d’installation)) puis tapez le nom de la commande comme illustré dans l’exemple
suivant :
cd /mnt/cdrom
scripts/linux/install.sh
Le programme commence par déterminer où se trouve le cédérom (ce qu’il affiche d’une manière ou
d’une autre) puis il crée un répertoire personnel et persistant. Sous Windows, un raccourci est aussi créé
qui servira plus tard à lancer aisément les serveurs du cédérom, cf. figure 5.
Le début de la trace (sous Linux) de ce programme ressemble à ce qui suit (le répertoire /home/queinnec/.videoscm2001/
est celui qui sert de répertoire personnel et persistant sous Unix).
Le cederom a bien ete detecte en /mnt/cdrom.
Buildfile: /mnt/cdrom/conf/Ant/install.xml
install:
[echo] Id: install.xml,v 1.23 2001/09/12 08:59:46 queinnec Exp
copy.cdrom.to.persistent.user.dir:
copy.files:
[copy]
[copy]
[copy]
[mkdir]
Copying
Copying
Copying
Created
1 file to /home/queinnec/.videoscm2001
8 files to /home/queinnec/.videoscm2001/conf
1 file to /home/queinnec/.videoscm2001/webapps
dir: /home/queinnec/.videoscm2001/classes
13 cd-qnc-java.html
14 ../../scripts/windows/install.vbs
8
F IG . 5 – Un morceau de bureau avec un raccourci pour lancer les serveurs du cédérom. [Sur l’image
apparaît aussi un raccourci vers DrScheme.]
setup.files:
[copy] Copying
[copy] Copying
[mkdir] Created
[mkdir] Created
1 file to /home/queinnec/.videoscm2001/conf/Muffin
1 file to /home/queinnec/.videoscm2001/data
dir: /home/queinnec/.videoscm2001/lib
dir: /home/queinnec/.videoscm2001/work
ask.student.identity:
[echo]
Remplissez soigneusement le formulaire qui va apparaitre ...
5.2. Identification
À ce moment là, il est nécessaire de savoir qui vous êtes afin que les traces que vous communiquerez à
vos enseignants puissent vous être attribuées. Vous verrez alors un écran ressemblant à celui de la figure 6.
Remplissez soigneusement ce formulaire car vous ne pourrez plus modifier vos réponses plus tard.
Les champs correspondant à vos nom et prénom ne devraient pas poser de problèmes. Écrivez-les
cependant tels que vous souhaitez les voir utilisés esthétiquement (ne mettez pas des majuscules partout,
utilisez les accents qu’il faut).
Indiquez le numéro de votre carte d’étudiant (le seul numéro vous distinguant vraiment les uns des
autres). Pour l’UPMC, c’est un numéro à 7 chiffres dont les deux premiers indiquent l’année de votre
première inscription à l’université. Ce numéro est indiqué sur votre carte d’étudiant.
Vous pouvez indiquer votre adresse électronique si vous le souhaitez. Vous pouvez par exemple utiliser
une adresse que le CICRP15 peut vous fournir.
Vous devez obligatoirement fournir une adresse électronique où l’on puisse vous joindre pendant la
durée de l’enseignement. Vous devez également entrer la clé qui vous a été confiée. Cette clé assure que
les traces que vous soumettrez à vos enseignants seront prises en compte. La clé utilise des chiffres et des
lettres (mais n’utilise aucune des lettres o, i, l, O, I, L afin de n’être pas ambiguë).
Si vous n’avez pas de clé, laissez ce champ vierge. Si vous avez oublié cette clé, redemandez-la au
secrétariat de DEUG MIAS informatique 16 par courrier électronique en précisant votre nom et numéro de
carte d’étudiant.
Lorsque vous avez rempli le formulaire, cliquez sur le bouton « Je m’enregistre ! »
Du point de vue des traces, vous verrez passer quelques instructions SQL pour la construction et l’initialisation de la base de données locale. La trace se terminera par ces lignes :
[delete] Deleting: /home/queinnec/.videoscm2001/work/user.sql
15 http://www.cicrp.jussieu.fr/service/distrib_internet.html
9
F IG . 6 – Formulaire d’enregistrement
install.drscheme:
[echo]
Veuillez installer DrScheme et ses adjonctions (miastools.plt)
comme indique dans la procedure d’installation ...
Et c’est alors qu’apparaît la petite fenêtre avec le bouton « C’est prêt » de la figure 7.
F IG . 7 – En attendant que DrScheme (et l’adjonction MIAS) soit disponible
5.3. DrScheme
L’environnement de développement de DrScheme (on prononce « Docteur Skim ») a son propre programme d’installation. Il vous est donc demandé de l’installer vous-même.
Reportez-vous à la procédure d’installation17 de DrScheme avant de reprendre la suite ici.
Maintenant que DrScheme est installé ainsi que les extensions propres au DEUG MIAS (le fameux
fichier miastools.plt), lancez DrScheme et, lorsque sa fenêtre apparaitra, cliquez alors sur le bouton « C’est
prêt ! » dans la fenêtre qui attendait DrScheme pour ainsi continuer l’installation du cédérom. Les traces
deviennent
Getting: http://127.0.0.1:20012/cgi-bin/pltdir.cgi
10
post.install.drscheme:
[echo]
Attendez une douzaine de secondes puis relancer DrScheme afin qu’il puisse
prendre en compte les donnees provenant de l’installation.
run:
...
Comme vous l’indique la trace, vous devrez quitter DrScheme18 une dizaine de secondes après.
5.4. La suite
Bravo, l’installation est finie ! Il ne vous reste plus qu’à relancer DrScheme19 afin qu’il bénéficie de la
configuration préparée par l’installation.
Le programme d’installation enchaîne immédiatement sur le mode normal (celui dans lequel vous serez
chaque fois que vous voudrez travailler autour de Scheme). Les traces se poursuivent automatiquement
avec :
run:
[echo]
Tout est desormais installe, je lance, pour vous, tous les
programmes requis. Quand vous voudrez terminer, cliquez STOP
dans l’icone qui va bientot surgir ...
banner:
[echo] Id: go.xml,v 1.19 2001/09/11 12:40:34 queinnec Exp
runTomcat:
Creating engine
Creating host ’localhost’ with appBase ’/mnt/cdrom’
Creating context ’’ with docBase ’/mnt/cdrom’
Adding engine (org.apache.catalina.core.StandardEngine/1.0)
Creating connector for address=’ALL’ port=’20013’ secure=’false’
Adding connector for address ’ALL’ port=’20013’
Starting embedded server
Apache Tomcat/4.0-b6
... ... de nombreuses lignes omises ... ...
HttpProcessor[20013][4] Background thread has been started
runMcKoi:
Mckoi SQL Database ( 0.90 beta )
Copyright (C) 2000, 2001 Diehl and Associates, Inc.
ved.
Use: -h for help.
All rights reser-
Mckoi SQL Database comes with ABSOLUTELY NO WARRANTY.
This is free software, and you are welcome to redistribute it
under certain conditions. See LICENSE.txt for details of the
GPL License.
JDBC Server on port: 20019.
Boot time: 318ms.
11
About to execute
insert into Log(userid, action, message)
select validKey, ’start’, ’()’
from Student;
About to execute
compact table Log;
runMuffin:
Using /home/queinnec/.videoscm2001/conf/Muffin/autoconfig
Muffin 0.9.3a running on perou.vld7net.fr port 20011
runControlCenter:
[echo]
Dans quelques instants, une petite icone avec un bouton STOP
apparaitra. Ce programme se bloquera en attendant que vous cliquiez
sur ce bouton (ne cliquez que quand vous aurez fini, bien sur :).
N’oubliez pas de lancer separement DrScheme pour vos exercices
ou auto-evaluations. Bonne chance ...
Les programmes suivants sont a priori lancés. Voyez les explications associées pour savoir si vous avez
besoin de ces programmes et comment les utiliser. Chaque fois que vous débuterez une session de travail
autour de DrScheme, ces programmes seront lancés.
– Muffin20 : un relais (ou proxy en jargon)
– Tomcat21 : un serveur d’application
– McKoi22 : une base de données relationnelle.
– ControlCenter : cette application rudimentaire et obligatoire n’est là que pour vous cliquiez le bouton
« Stop » quand vous souhaitez terminer votre session de travail.
5.5. Session de travail
Voici la marche générale à suivre lorsque tout est installé et que vous désirez débuter (resp. terminer)
une session de travail. Il faut simplement lancer (resp. stopper) DrScheme et les serveurs du cédérom pour
l’acheminement de vos traces.
5.6. Détails de lancement
Pour lancer DrScheme, dès lors qu’il est installé, il suffit, sous Linux, d’émettre la commande :
drscheme &
la commande suivante lance les serveurs du cédérom (à condition que votre cédérom soit atteignable
par le chemin /mnt/cdrom) :
/mnt/cdrom/scripts/linux/go.sh &
Remarque : vous pouvez lancer les deux en même temps avec la commande :
drscheme & /mnt/cdrom/scripts/linux/go.sh &
Sous Windows, cliquez dans le menu « Démarrer », puis « programmes » puis sous-menu « PLT Scheme
» l’entrée « DrScheme » pour lancer DrScheme. Cliquez sur l’icône VideoScm pour lancer les serveurs du
cédérom (cliquer dessus lance le programme /mnt/cdrom/scripts/windows/go.vbs).
20 cd-qnc-muffin.html
21 cd-qnc-tomcat.html
22 cd-qnc-mckoi.html
12
5.7. Détails d’arrêt
Lorsque vous avez fini de travailler avec DrScheme, choisissez l’entrée Quit du menu File pour en finir
ou cliquez sur la case de fermeture de la fenêtre.
Pour arrêter les serveurs du cédérom, vous n’avez qu’à cliquer sur le bouton STOP pour arrêter tous les
programmes (sauf DrScheme (cf. plus haut)) de l’icône en figure 8.
F IG . 8 – L’icône pour tout terminer
Remarque : la commande go.sh sous Linux est particulièrement verbeuse et il arrive qu’elle montre
une erreur lorsque la base McKoi se ferme. Cette anomalie ne semble avoir aucune importance.
5.8. Pour terminer une session de travail
Pour terminer une session de travail, cliquez sur le bouton « Stop » de la petite fenêtre de la non moins
petite application ControlCenter (cf. figure 9). Cette application n’a pour but que de fermer proprement les
diverses autres applications (Tomcat, McKoi et Muffin).
F IG . 9 – L’icône pour tout terminer
Il faut environ une trentaine de secondes pour terminer proprement. Pour relancer tout ce petit monde,
utilisez à nouveau la commande go (go.sh pour Linux et go.vbs pour Windows). Voir aussi les détails23 .
5.9. Et puis encore
Pendant que vous y êtes, installez aussi de quoi visualiser correctement 24 fichiers postscript et PDF.
Avez-vous besoin d’une belle pochette25 ?
6. Muffin : un relais
ATTENTION : cette section n’est utile que pour les étudiants des groupes SPAD et seulement si leurs
enseignants leur demande les traces de leur exploration du cédérom.
Muffin26 est un relais (pour proxy) écrit en Java par Mark Boyns. Si vous le configurez, il peut vous
rendre d’agréables services comme de supprimer les banderolles publicitaires ou les insertions de code
javascript ; il peut également masquer votre identité ou celle de votre navigateur etc. Muffin est un logiciel
libre disponible sous licence General Public License 27 .
Muffin s’insère entre votre navigateur et Internet comme l’indique la figure suivante :
24 cd-qnc-pspdf.html
25 cd-qnc-pochette.html
26 http://muffin.doit.org/
27 http://www.gnu.org/copyleft/gpl.html
Proxy
Navigateur
13
INTERNET
F IG . 10 – Schéma de principe d’un proxy
Tout ce que le navigateur demande passe par le relais qui peut détourner certaines URL vers le cédérom
afin de vous épargner des téléchargements longs et coûteux : vous « surfez » alors sur le cédérom comme
si vous étiez sur Internet (pour autant que le cédérom contienne les pages que vous cherchez).
Si vous êtes connectés en permanence à Internet, ce n’est pas vraiment utile. En revanche, si vous
n’avez qu’une liaison intermittente à faible débit : c’est indispensable.
Ce relais permet à vos enseignants de savoir quelles sont les pages que vous consultez sur le cédérom (lesquelles sont les plus ou les moins populaires, la façon dont vous parcourez le cédérom, etc.) Ces
informations leurs seront utiles pour améliorer ce cédérom.
L’installation de Muffin comme relais dépend du navigateur que vous utilisez. Les informations importantes pour la suite sont que le relais tourne sur votre machine (de numéro 127.0.0.1 sur le port 20011).
6.1. Installation du relais avec IExplorer
Pour ce faire et avec IExplorer 5.0 ou 5.5, demandez le menu Tools puis le sousmenu Internet Options. La fenêtre qui apparaît devrait ressembler à la figure 11.
F IG . 11 – Configuration d’IExplorer (1)
Choisir l’onglet Connections ce qui mène à la figure 12.
Enfin sélectionner le bouton LAN Settings pour obtenir la figure 13.
14
F IG . 12 – Configuration d’IExplorer (2)
F IG . 13 – Configuration d’un proxy pour IExplorer. [Le numéro de port 19891 qui apparaît sur la figure
doit être changé en 20011.]
15
6.2. Installation du relais avec Communicator
Pour ce faire et avec Communicator, déroulez le menu « Edit », et choisissez
l’entrée nommée « Préférences » (normalement la dernière entrée du menu).
Apparaît alors une fenêtre ressemblant à la figure 14
F IG . 14 – La fenêtre des préférences de Communicator
Sélectionnez et déployez la rubrique « Avancées » (ou Advanced), choisissez l’entrée « Proxies »
comme le montre la figure 15.
Enfin choisissez la « configuration manuelle » (ou Manual proxy configuration) et transformez la ligne
« Http Proxy » conformément à la figure 16 en indiquant que la machine sur laquelle tourne le proxy est
votre machine 127.0.0.1 sur le port 20011 (et non 19891 comme indiqué (à tort) sur la figure).
N’utilisez pas le nom de votre machine (fut-il qualifié par un nom de domaine) et préférez plutôt le
nom inambigu 127.0.0.1. [Si vous indiquez le nom de la machine, il faudra instruire Muffin d’accepter des
requêtes venant de cette machine mais puisque je vous dis de ne pas le faire, je vous laisse vous débrouiller
pour trouver le bon menu dans Muffin pour réparer cette funeste erreur.]
Si vous aviez déjà un relais r installé, c’est que vous étiez déjà un utilisateur averti. Il vous suffira de
chaîner les relais et donc d’indiquer à Muffin qu’il lui faut utiliser r comme relais (ou à r d’utiliser Muffin
comme relais).
6.3. Test du relais
Il ne vous reste plus qu’à tester l’installation de votre relais en lisant cette même page 28 à travers le
relais.
Attention, si vous avez configuré votre navigateur pour utiliser un relais et que celui-ci ne tourne pas,
votre navigateur ne pourra pas accéder aux pages souhaitées et vous répondra quelque chose comme TimeOut ou « le site n’est pas joignable ». Vous pouvez soit lancer le relais, soit reconfigurer votre navigateur
pour s’en passer.
28 cd-qnc-muffin.html
16
F IG . 15 – La fenêtre des préférences des relais de Communicator
F IG . 16 – La fenêtre des préférences des relais de Communicator. [Le numéro de port 19891 qui apparaît
sur la figure doit être changé en 20011.]
17
Le relais Muffin est lancé en mode invisible. Vous pouvez néanmoins le configurer 29 via votre navigateur. L’accès est restreint à votre machine, un nom de connexion et un mot de passe vous seront demandés :
il s’agit de mias12 et pw12 respectivement.
Muffin peut également être lancé en mode graphique (il faut modifier le paramètre window de la
règle runMuffin du fichier conf/Muffin/go.xml dans votre répertoire personnel et persistant (avec un
quelconque éditeur de texte (comme notepad si vous n’avez pas installé PFE30 ou, mieux, Emacs31 tous
deux sur le cédérom)) et relancer l’application), la fenêtre de la figure 17 s’affiche.
F IG . 17 – Fenêtre de contrôle de Muffin
Le filtre Rewrite qui est pré-positionné doit impérativement être laissé actif. Il permet de détourner
nombre d’URL lointaines vers des fichiers du cédérom. Essayez par exemple, de lire la licence générale
GNU32 et constatez que seul votre disque dur a été impacté. Malheureusement, certains sites ne sont guère
propices à être aspirés correctement et certains liens (ou images) peuvent manquer (c’est ce qui se passe
avec l’URL précédente).
6.4. Divers
Muffin entretient un fichier historique de toutes les URL qu’il a relayées. Ce fichier est dans votre
répertoire persistant et personnel en conf/Muffin/muffin.log. Cela peut être utile pour se remémorer un site.
7. Tomcat : un serveur d’application
Un serveur d’applications est un espace où déployer des applications pour le ouèbe. Tomcat 33 est issu
du projet Jakarta 34 diffusé sous licence Apache35 .
En fait, je n’utilise Tomcat que pour une unique servlet 36 dont le rôle est de transférer vos traces vers
la base de données centrale de l’UFR d’informatique. Voyez le grand schéma37 pour plus de détails.
Vous pouvez demander à cette servlet où elle en est 38 du transfert de traces et voir également le contenu
de ces traces telles que conservées dans votre base de données locales.
8. Le grand schéma
Le grand schéma est celui de la figure 18.
29 http://127.0.0.1:20011/
30 ../PFE/pfe101i.zip
31
../Emacs/index.html
32 http://www.gnu.org/copyleft/gpl.html
33 http://jakarta.apache.org/tomcat/
34 http://jakarta.apache.org/
35 http://www.apache.org/licenses/
36 http://java.sun.com/products/servlet/
37 cd-qnc-tout.html
38 http://127.0.0.1:20013/dblog/
18
cédérom
20011
INTERNET
Muffin
Navigateur
UFR
TRACES
DBLogger
servlet
20013
DBCopier
DrScheme
20012
Tomcat
serveur
20019
McKoi
exos
quizz
Control
Center
STOP
F IG . 18 – Schéma des serveurs et les communications
Il y a beaucoup de choses dans ce schéma. Les flèches fines vertes montrent l’impact du bouton «
STOP » de l’application ControlCenter c’est-à-dire les applications qui seront stoppées. Remarquez que
DrScheme n’est pas arrêté (pas plus que votre navigateur).
Les flèches couleur magenta à pointe fine montrent le parcours des traces. Celles-ci sont engendrées
principalement par DrScheme chaque fois que vous effectuez un exercice ou que vous vous auto-évaluez.
Les triangles notés « exos » et « quizz » correspondent à des répertoires situés dans la hiérarchie de fichiers
de DrScheme. Les traces sont acheminées via une « servlet » dans une base de données relationnelle située
sur votre machine. Une tâche asynchrone la vide régulièrement vers la base de données de l’université
mais seulement lorsque vous êtes connecté à Internet. Ce schéma vous permet de n’avoir qu’une liaison
intermittente avec l’université (ou au serveur de l’université d’être en panne :). La servlet ne stocke les
traces que si vous avez indiqué une clé valide lorsque vous vous êtes identifié lors de l’installation.
Les flèches rouges à grosse tête montrent les flux HTTP possibles. À partir de votre navigateur vous
pouvez parcourir directement (c’est-à-dire sans Muffin) Internet (par exemple l’université Paris 639 , le
cédérom, le serveur dans DrScheme40 , le serveur de Tomcat41 , la servlet42 de trace, etc.
8.1. Auto-évaluations
De ce schéma, l’on peut aisément déduire que l’on ne peut s’auto-évaluer si DrScheme ne tourne pas.
Les adresses des auto-évaluations ont la structure suivante où premier est remplacé par le nom de l’autoévaluation qui vous est conseillée.
http://127.0.0.1:20012/premier.quizz
Vous pouvez d’ailleurs l’essayer en ligne 43 pour vous faire la main (et accéder à la documentation des
39 http://www.admp6.jussieu.fr/
40 http://127.0.0.1:20012/
41 http://127.0.0.1:20013/
42 http://127.0.0.1:20013/dblog/
43 http://127.0.0.1:20012/premier.quizz
19
auto-évaluations).
8.2. Exercices
Les exercices en Scheme ne peuvent être effectués qu’avec DrScheme. Par contre, vous avez besoin de
lancer les autres programmes afin que vos traces, si vos enseignants vous les ont demandées, leurs soient
acheminées sinon elles s’accumuleront dans votre base de données locale44 .
9. McKoi : une base de données relationnelle
McKoi45 est une base de données relationnelle mono-utilisateur mais multi-tâche écrite en Java et c’est
un logiciel libre diffusé sous GPL (Gnu General Public License). Elle implante un sous-ensemble de SQL
et semble assez robuste.
Elle est ici utilisée pour stocker les traces des exercices et des auto-évaluations laissées par DrScheme
avant d’être transférées dans la base de données générale de l’UFR d’informatique (Cf. grand schéma46 ).
10. Java : un langage à la mode
Vous pouvez installer Java sur votre machine, cela peut être utile pour l’option d’informatique en seconde année de DEUG.
Pour Windows, exécuter le programme informatique/Sun/j2re-1_3_1-win-i.exe à partir
de la racine du cédérom.
Pour Linux, exécuter le programme informatique/Sun/j2re-1_3_1-linux-i386.sh.
Si maintenant vous voulez utiliser cette machine virtuelle pour tourner les programmes du cédérom,
c’est plus compliqué !
11. Trucs et astuces
Que serait un journal, un livre, un cédérom sans une rubrique de trucs et d’astuces ! Il existe plein de
trucs permettant d’obtenir d’étranges effets de VideoScm, je ne vais cependant pas livrer tous mes secrets
de fabrication !
Cette page contient donc quelques astuces concernant le cédérom. Si vous avez d’autres idées, faitesnous en part que nous puissions enrichir cette page (ou plutôt sa version vivante 47 ).
11.1. Vitesse
Si vous souhaitez une consultation rapide du cédérom, vous pouvez le recopier sur votre disque dur,
la vitesse de chargement des pages en sera largement accrue. Néanmoins la recopie du cédérom demande
de la place sur votre disque dur (moins de 650 Méga octets) et du temps pour être recopié (moins de 20
minutes classiquement).
Il est également possible de ne copier qu’une partie du cédérom suivant que vous êtes sous Windows
ou Linux, que vous souhaitez la partie mathématique ou informatique.
Les règles sont les suivantes : vous n’avez pas besoin de scripts/linux sous Windows et de scripts/windows
sous Linux. Pour la partie mathématique, copiez seulement le répertoire mathematiques, pour l’informatique, copiez tout sauf ce répertoire.
44 http://127.0.0.1:20013/dblog/
45 http://www.mckoi.com/database/index.html
46 cd-qnc-tout.html
47
http://www.infop6.jussieu.fr/deug/2001/mias/mias-a/public/cd-qnc-astuces.html
20
11.2. Recherche
Pour rechercher des pages contenant un certain mot, vous pouvez utiliser les outils d’indexation de
Windows (« Recherche accélérée » (ou FastFinder en anglais) accessible depuis le tableau de bord) mais
comme vous ne pouvez écrire les fichiers d’indexation sur le cédérom, vous devez avoir préalablement
recopié le cédérom sur votre disque dur (cf. point précédent).
Pour vous aider, le cédérom a été pré-indexé pour Windows (j’espère que cela marche !)
11.3. Muffin
Si vous en avez assez de recevoir des images de publicité lorsque vous butinez sur la toile (que vous
« surfez sur le ouèbe » en jargon), vous pouvez configurer Muffin pour qu’il vous les retire. C’est un des
avantages des relais (ou proxy).
12. Communication
Ce cédérom a été principalement conçu pour des étudiants suivant un enseignement semi-présentiel
dénommé SPAD, il a néanmoins été conçu pour être utilisable par n’importe quel étudiant suivant l’enseignement « Processus d’évaluation ». Un certain nombre de moyens de communication ont été mis en place
entre ces étudiants et leurs enseignants.
– un site général 48
– un site pour la partie informatique 49 qui se trouve lui-même au sein du site pour le DEUG MIAS 50 .
N’oubliez pas que le cédérom n’est qu’un instantané du site qui ne cesse d’être mis à jour. Suivez le
coche !
– un site pour la partie mathématique 51
– Si vous avez des questions ou remarques sur le cours « Processus d’évaluation » ou sur ce cédérom,
formulez-les (de façon claire et constructive) sur le forum52.
– Si vous avez des questions ou remarques sur ce cédérom, rédigez-les (de façon claire) et envoyez-les
par courrier électronique 53.
La mise à jour de DrScheme est très simple, lancez DrScheme, demandez la documentation MIAS à
l’aide du menu puis cliquez sur « nouvelles versions » qui vous indiquera comment procéder.
La mise à jour des autres programmes ou pages fera l’objet d’instructions ultérieures sur le site.
Merci de nous aider à améliorer cet enseignement.
13. Contenu du cédérom
Quoique le centre du cédérom soit formé par l’enseignement « processus d’évaluation54 », ce cédérom
contient énormément d’informations sur énormément d’autres domaines !
On y trouve des logiciels libres servant à faire tourner le cédérom :
– DrScheme : le système Scheme utilisé.
– des implantations pour Windows, Linux/Intel, Mac (68K ou PPC) en
informatique/DrScheme/pub/computing/Scheme/DrScheme/103/plt/ 55
– des documentations sur Scheme et DrScheme en informatique/DrScheme/CS/PLT/packages/pdf/
56
– Browsercall : un lanceur de documents (pour Windows seulement).
– Ant : un utilitaire de type make écrit en Java.
48 http://www.deugspad.cicrp.jussieu.fr/
49 http://www.infop6.jussieu.fr/deug/2001/mias/mias-a/public/../deugspad/public/index.html
50 http://www.infop6.jussieu.fr/deug/2001/mias/mias-a/public/index.html
51 http://www.campusciences.net/dspad/maths.html
52 news://jussieu.infop6.videoscm/
54
cd-qnc-mias-a.html
55 ../DrScheme/pub/computing/Scheme/DrScheme/103/plt/
56 ../DrScheme/CS/PLT/packages/pdf/
21
– Tomcat : un serveur d’applications écrit en Java.
– Muffin : un relais (ou proxy en jargon) écrit en Java.
– McKoi : une base de données relationnelles mono-utilisateur écrite en Java.
On trouve également d’autres logiciels libres servant à certaines options informatiques de DEUG MIAS
(seconde année) ainsi qu’à d’autres enseignements de DEUG MIAS ou SPI :
– Cygwin : les utilitaires d’Unix compilés pour Windows.
– Emacs : l’éditeur de texte par excellence compilé pour Windows.
– GnuProlog : un système Prolog incorporant la résolution de contraintes sur des domaines finis.
– OCaml : un environnement de développement pour OCaml.
– PFE : un éditeur de texte (pour Windows) très sympathique.
Plusieurs sites ont été aspirés tels quels afin de vous éviter des connexions longues et coûteuses. Sont
présents :
– Le site des DEUG57 de l’UFR d’informatique de Paris 6 (version de l’an dernier).
– Un livre 58 sur Unix et sh.
– Un livre entier sur OCaml59 écrit par Emmanuel Chailloux, Pascal Manoury et Bruno Pagano et
publié aux éditions O’Reilly.
Le langage Objective Caml allie programmation fonctionnelle, impérative, et orientée objet. Des
fonctionnalités comme le typage statique, l’inférence de type, ou le mécanisme de traitement des
exceptions, combinées à une gestion automatique de la mémoire et des bibliothèques de fonctions
réseau performantes le rangent définitivement dans la catégorie des langages ultra-puissants.
– Des exercices en divers langages 60 (pas forcément simplistes !)
– Java (JRE et documentation) 61
– Acrobat Reader 62 pour Windows et Linux, un lecteur de fichiers PDF.
14. Les auteurs
Ce cédérom a été conçu et réalisé par quatre enseignants de l’université Paris 663 pendant l’année
universitaire 2000-2001.
Les voici en pleine activité :
Anne Brygoo
–
57 ../UFR/deug/
58 ../Queinnec/Books/ABCdUNIX/index.html
59 ../LivreOCaml/Livres/ora/DA-OCAML/index.html
60 ../Queinnec/Teaching/
61 ../Sun/
62 ../Adobe/
63 http://www.admp6.jussieu.fr/
22
–
Titou Durand,
–
Christian Queinnec,
–
Michèle Soria.
La formation SPAD sera assurée, pour l’informatique, par Anne Brygoo, Pascal Manoury, Christian
Queinnec et Michèle Soria tous rassemblés dans la photo qui suit :
23
Et voici quelques-uns des autres enseignants de SPAD (dans l’ordre autour de la table : Catherine Garnier, Claire Cazes, Pierre Jarraud, Christian Queinnec) devisant à l’UTES de l’organisation de la rentrée :
N’hésitez pas à nous faire connaître64 vos remarques, avis, critiques, encouragements ou idées !
15. Processus d’évaluation
L’enseignement « Processus d’évaluation » a lieu en DEUG MIAS 1ère année, 1er semestre (ainsi
qu’en DEUG SPI 2ème année 2ème semestre). Ce cédérom a été spécialement bâti pour cet enseignement.
Le processus d’évaluation convertit un texte décrivant un traitement en un programme qui, s’exécutant,
consomme et produit de l’information. Ce processus est à la base de la compréhension de ce que sont
les évaluateurs (interprètes ou compilateurs) inclus dans les applicatifs complexes (texteur ou tableur) ; il
permet d’introduire les principes fondateurs de la programmation (séquence, alternative, récursion, listes
et arbres).
Afin de lire correctement les multiples documents qui se trouvent sur ce cédérom, configurez votre
ordinateur 65 .
24
Pour encore plus de détails 66
16. Comment bien voir les documents HTML
Si vous utilisez Netscape Navigator sur Linux, il vous faudra insérer dans le
fichier .Xdefaults de votre répertoire HOME la ligne suivante :
Netscape*documentFonts.charset*adobe-fontspecific:
iso-8859-1
Les raisons en sont exposées dans la documentation d’ Hevea67 , un convertisseur de LATEX vers HTML,
largement utilisé pour ce cédérom.
17. Comment bien voir les documents Postscript ou PDF
Ce cédérom ne contient pas que des documents HTML visibles par votre navigateur. Il contient également des documents en PDF (reconnaissables à leur suffixe .pdf) ou Postscript (reconnaissables à leur
suffixe .ps) pour lesquels il faut installer le programme de visualisation. [Nota : Windows par défaut cache
ces suffixes pour les exprimer sous forme d’icônes variées.]
17.1. Pour Linux
Pour Linux, la plupart des distributions récentes avec bureau style KDE ou Gnome savent quel programme lancer pour afficher ces documents. Ghostview sait afficher PDF et Postscript (encore que pour
PDF, on puisse préférer acroread d’Adobe 68 (aussi sur le céderom en informatique/Adobe/linuxar-405.tar.gz pour Linux et en informatique/Adobe/rp500fra.exe69 pour Windows).
En revanche, le navigateur Communicator ne le sait pas nécessairement, il faut donc le lui dire et
pour cela configurer ses visualiseurs externes. Il faut donc aller dans le menu Edit puis le sous-menu
Preferences. . .On obtient une fenêtre ressemblant à
On choisit (ou l’on crée) l’entrée correspondant à Postscript et on lui associe le programme gv (ou un
autre). Ne pas oublier l’argument %s qui est le nom du fichier à visualiser que lui fournira Communicator.
On fait de même avec PDF (voir détail dans la figure 20) :
17.2. Pour Windows
Pour Windows, il faut installer Ghostscript (puis GSview) qui se trouvent sur le réseau 70 mais aussi sur
le cédérom en informatique/Ghost/. Pour installer ces deux programmes, faites tourner les deux
exécutables (avec le suffixe .exe) dont le nom commence par gs. Vous pouvez tenter de les installer
directement en cliquant (dans l’ordre) sur les deux liens suivants : gs71 puis gsv72 .
CorelDraw sait également visualiser du Postscript.
17.3. Tests
Pour tester les configurations ci-avant décrites, voici :
– un document Postscript 73
66 ../ProcessusEvaluation/cours/qnc-cours1-processus-evaluation.html
67 http://pauillac.inria.fr/~maranget/hevea/
68 http://www.adobe.com/products/acrobat/
69 ../Adobe/rp500fra.exe
70 http://www.cs.wisc.edu/~ghost/
71 ../Ghost/gs700w32.exe
72 ../Ghost/gsv40w32.exe
73 ../ProcessusEvaluation/reference.ps
25
F IG . 19 – Configuration de visualiseurs spécifiques
– un document Postscript compressé 74
– un document PDF 75
S’ils ne sont correctement visualisés, relisez ce qui précède !
18. Imprimer commodément
Si vous avez besoin d’imprimer ce que vous lisez à l’écran, demandez-vous si le fichier en question
n’a pas une version postscript ou PDF qui sont l’une comme l’autre bien préférable à HTML en ce qui
concerne la reproduction sur papier.
Pour cela, cherchez dans le répertoire où se trouve la page que vous visualisez, un fichier .ps ou .pdf.
Un grand nombre de documents ont ces formats. Il est également possible avec les outils liés à ces deux
formats de spécifier les pages à imprimer.
Vous pourrez obtenir la liste des fichier .ps du cédérom avec la commande suivante (sous Unix) :
cd /mnt/cdrom ; find . -name ’*.ps’ -print
Cette ligne est simple à adapter pour chercher les .pdf. Et d’ailleurs ces deux fichiers ont été précalculés sur le cédérom.
– tous les fichiers Postscript 76 du cédérom
– tous les fichiers PDF 77 du cédérom.
Attention, vous ne pourrez visualiser ces fichiers que si vous avez proprement configuré votre système78 .
74
../ProcessusEvaluation/r4rs-fr.ps.gz
75 ../DrScheme/CS/PLT/packages/pdf/r5rs.pdf
76 ../logs/allps.html
77 ../logs/allpdf.html
F IG . 20 – Configurer la visualisation de document Postscript
26
27
19. Sécurité
Lorsque le cédérom est pleinement employé, de nombreux serveurs tournent ce qui est potentiellement
dangereux. Sauf erreur de ma part, le logiciel de ces serveurs a été configuré ou rustiné pour n’accepter
que les seules connections provenant de votre machine (celle qui a le numéro conventionnel 127.0.0.1)
à l’exclusion de toute autre. En particulier, prenez grand soin de vous adresser à votre machine avec ce
numéro 127.0.0.1 et non le numéro IP (statique ou dynamique) que vous attribue votre fournisseur
d’accès à Internet (FAI ou provider).
Si vous constatez quelque anomalie, prévenez-moi !
20. Quelques tests
Cette page permet de tester que les nombreux serveurs sont bien présents. Elle ne fait que regrouper
des liens dispersés ailleurs dans la documentation.
– DrScheme est-il présent 79 ?
– Muffin est-il présent 80 ?
– Tomcat est-il présent 81 ? Cela permet aussi de voir le contenu de la base de données locales (et, bien
sûr, sa présence).
21. Documentation sur DrScheme
DrScheme est l’environnement de programmation Scheme qui sera utilisé. Il procure une documentation en ligne qui s’obtient avec le menu « Help ». La même information est regroupée dans des documents
entiers figurant dans le répertoire 82 . Ce répertoire contient également la norme de Scheme plus couramment nommé le R5RS83 .
Quelques pages supplémentaires concernant plus particulièrement les adjonctions à DrScheme requises
pour le DEUG MIAS sont accessibles, à partir du menu « MIAS » sous DrScheme mais aussi, plus directement, depuis le céderom84 sans oublier ce document de mise en œuvre 85 .
21.1. Installer DrScheme
Pour installer DrScheme, consultez la documentation d’installation détaillée86 . En peu de mots, il s’agit
d’installer DrScheme lui-même (double-clic ici 87 ) puis les adjonctions nécessaires 88 au DEUG MIAS.
21.2. Relancer DrScheme
Ne relancez pas trop vite DrScheme. Il est utile de laisser une douzaine de secondes pour laisser le
temps au serveur ouèbe de libérer le port qu’il écoutait. Si DrScheme est relancé trop vite, il va écouter un
autre port (souvent 20013) et vous l’annoncera avec un message du genre :
Attention : starting DrScheme web server on port 20013
Dans ce cas, soit vous adaptez toutes les URL pour transformer 20012 en 20013 (pénible), soit (plus
simple) vous tuez DrScheme (avec un Contrôle C bien senti) ou un (Contrôle Alt Del spécifique), attendez
une douzaine de secondes et relancez DrScheme. Le problème sera vraisemblablement réglé.
79
http://127.0.0.1:20012/index.html
80 http://127.0.0.1:20011/
81
http://127.0.0.1:20013/dblog/
82 ../DrScheme/CS/PLT/packages/pdf/
83 ../DrScheme/CS/PLT/packages/pdf/r5rs.pdf
84 ../ProcessusEvaluation/htdocs/drscheme.html
85 ft-mp.html
87 ../DrScheme/pub/computing/Scheme/DrScheme/103/plt/plt.exe
88 ../ProcessusEvaluation/miastools.plt
28
22. Belle pochette de cédérom
Les étudiants du groupe SPAD recevront des cédéroms reproduits de façon artisanale. Si vous avez un
tel cédérom et que vous souhaitiez une plus jolie pochette, nous vous donnons les moyens de la réaliser par
vous-même.
1. Imprimer la jaquette89 sur un papier un peu fort,
2. mettez une goutte de colle aux bons endroits (il faut réfléchir un peu),
3. pliez (sans vous mettre de colle sur les doigts),
4. laissez sécher une nuit sous un livre lourd,
5. c’est prêt, glissez-y le cédérom.
6. Faites admirer la pochette à vos amis !
Si vous inventez une encore plus belle pochette, envoyez-la nous, nous placerons les plus réussies sur
le site du DEUG MIAS.
23. Choisir un exercice
Lorsqu’il vous est demandé d’effectuer un exercice sous DrScheme, il faut commencer par lancer DrScheme. Lorsque celui-ci tourne et que les adjonctions MIAS ont été correctement installées, un menu
particulier nommé MIAS est présent. L’entrée « Choisir exercice » permet alors de choisir un exercice.
F IG . 21 – Sélection d’un exercice
Une boîte de dialogue est proposée, voir figure 21, où, à droite, se trouve une liste de fichier de suffixe
.exo est proposée. Sélectionnez-en un puis cliquez sur le bouton OK. À ce moment, la fenêtre d’édition
se remplit avec des indications propres à l’exercice et une nouvelle fenêtre décrivant l’exercice apparaît
comme en figure 22.
Il ne vous reste plus qu’à :
1. lire l’énoncé de la première question (après avoir lu l’introduction générale à l’exercice),
2. écrire la fonction demandée dans la fenêtre d’édition (vous devez employer le nom exact qui vous
est spécifié, respectez également l’ordre exact des variables),
3. écrire la fonction de test associée (si l’on vous demande une fonction f, la fonction de test se nomme
test-f),
4. mettre au point la fonction f à l’aide de test-f et du bouton Execute puis, quand tout semble au
point :
5. cliquer sur le bouton « Tester » afin que votre solution soit évaluée et qu’une note soit produite.
89 jaquette.pdf
F IG . 22 – Après choix d’un exercice
29
30
6. Lorsque la note obtenue est supérieure à un certain seuil, une solution apparaîtra également.
Lorsque vous avez traité la première question, passez à la suivante et ainsi de suite. Respectez les noms
des fonctions demandées, respectez l’ordre des arguments qui est spécifié. Vous pouvez utiliser la forme
test pour vous aider (voir la carte de référence 90 pour plus de détails).
Lorsque vous souhaitez arrêter l’exercice, pensez à sauvegarder le contenu de votre fenêtre d’édition,
elle sera automatiquement effacée si vous changez d’exercice ! Vous pouvez utilisez comme nom de fichier
le nom du fichier .exo en remplaçant ce suffixe par .scm le suffixe approprié pour Scheme.
L’exercice ainsi sauvegardé vous sera peut-être demandé à titre de compte-rendu de TME (travail sur
machine encadré) par vos enseignants. Suivez alors la procédure 91.
90 http://www.infop6.jussieu.fr/deug/2001/mias/mias-a/public/reference.html
91 http://www.infop6.jussieu.fr/deug/2001/mias/mias-a/public/m-qnc-CompteRendu.html

Le cédérom VideoScm « Processus d`évaluation » UPMC DEUG

Transcription

Documents pareils

Recrutement CV TECHNICIEN GENIE CLIMATIQUE

Ortholangue

Bon de commande pour le cédérom Cherloc - Hydro

horaires d`ouvertures

MOTS CROISES à faire à la maison

LES FICHES METIERS DE L`ONISEP

Document - Inserweb

Procédure d`installation sous windows 7, 8 et 10

CAP d`histoire-géographie - CRDP des Pays de la Loire