Un prototype développé, sécurisé et officiellement validé en vue de son adoption institutionnelle

TES joue actuellement quatre rôles : les étudiants, les enseignants, les doyens de département et les administrateurs de la plateforme, chacun disposant d’un tableau de bord dédié. Les étudiants soumettent des évaluations anonymes des enseignements au moyen d’un formulaire guidé ; les enseignants consultent les résultats agrégés ainsi que les commentaires relatifs à leurs propres cours ; les doyens et les administrateurs accèdent à des statistiques comparatives par département et par semestre, et peuvent exporter les résultats sous forme de rapports PDF, de données CSV ou de classeurs Excel mis en forme. Les administrateurs assurent en outre la gestion des utilisateurs, des cours, des critères d’évaluation, des semestres et des cartes d’identification des étudiants, et peuvent consulter une piste d’audit complète retraçant l’activité de la plateforme.

Trois catégories de preuves étayent l’affirmation selon laquelle la plateforme est fonctionnelle et déployable :

• Étendue fonctionnelle : l’ensemble du processus opérationnel (chapitre 3 du document principal), ainsi que 18 scénarios opérationnels supplémentaires (chapitres 4 à 6 du document principal), ont été exécutés en conditions réelles, rôle par rôle : création d’un semestre, ajout et importation des cours, des étudiants et des enseignants, configuration des questions d’évaluation, mise en œuvre de la règle d’une seule évaluation par étudiant, isolation des données de chaque enseignant vis-à-vis de tous les autres, impression des cartes d’identification des étudiants individuellement ou par lots, ainsi que génération de tous les types de rapports à partir de données réelles soumises. Toutes les captures d’écran présentées dans ce document ont été réalisées lors de ces exécutions en conditions réelles.

• Assurance qualité indépendante : trois cycles d’audit ont permis d’identifier et de résoudre des problèmes concrets, notamment le renforcement de la garantie technique de l’anonymat des évaluations, qui est passée d’un mécanisme réversible à un mécanisme irréversible, ainsi que la détection d’une régression en conditions réelles affectant le mécanisme de limitation du nombre de tentatives de connexion (login rate limiter) lors de la préparation du présent rapport.

• Vérification formelle (chapitre 8 du document principal) : un modèle mathématique pouvant faire l’objet d’une évaluation par les pairs, fondé sur les réseaux de Petri colorés (Colored Petri Nets), démontre six propriétés de correction relatives aux processus fondamentaux de la plateforme.