Amélioration de l interface web d un solveur SAT

Transcription

1 Amélioration de l interface web d un solveur SAT Réalisé par : Mathieu BOULLE Mohamed DABO Philippe LEROY Aurore PEREIRA Projet 11 de Master 1 MIAGE Année Rapport M1 MIAGE "SATRennesPA" Page 1

2 Rapport de projet SATRennesPa M1 MIAGE Mathieu BOULLE Mohamed DABO Philippe LEROY Aurore PEREIRA Référent entreprise : François SCHWARZENTRUBER Professeur encadrant : Didier CERTAIN Rapport M1 MIAGE "SATRennesPA" Page 2

3 Table des matières 1. Table des illustrations Remerciements: Introduction Présentation du projet Présentation des parties prenantes... 8 L'ENS Rennes... 8 L'équipe LogicA de l'irisa de Rennes Rôle des différents acteurs du projet Problématique et objectif Côté client Pour l'équipe de projet Contraintes client Ergonomie Evolutivité Sécurité Contraintes techniques Compatibilité Langages de programmation Conception actuel du projet existant Méthode de travail Méthode SCRUM Planification des tâches Technologies utilisées Java JSP (Java Server Pages) JavaScript CSS Outils utilisées Eclipse GitHub Trello MySQL Rapport M1 MIAGE "SATRennesPA" Page 3

4 7.5. Google Drive Travail réalisé Prise en main du projet Une interaction pour les utilisateurs Internationalisation Une navigation simplifiée et une persistance des données Une aide pour la syntaxe des formules Des améliorations prévues dans le futur Le produit final La page d'accueil Un exemple Les difficultés rencontrées Conclusion Glossaire Bibliographie Rapport M1 MIAGE "SATRennesPA" Page 4

5 1. Table des illustrations Figure 1 SCRUM Cycle Figure 2 SCRUM Board Figure 3 Exemple de planning Trello Figure 4 : User story type Figure 5 : Exemple d'erreur dans formulaire d'inscription Figure 6 : Schéma embrouillage Figure 7 : connexion d'un utilisateur Figure 8 : Changement de langue Figure 9 : Exemple de texte affiché en JavaScript Figure 10 : Page d'accueil Figure 11 : Tableau récapitulatif Figure 12 : Vérificateur syntaxique Figure 13 : Menu ajout/modification/suppresion d'exemple Figure 14 : Page d'accueil Figure 15 : Exemple des 6 boules Figure 16 : Résultat des 6 boules Rapport M1 MIAGE "SATRennesPA" Page 5

6 2. Remerciements: Nous tenions, en premier lieu, à remercier notre client, M. SCHWARZENTRUBER pour son aide apportée et sa disponibilité au cour de ce projet. Également nous tenions à remercier notre professeur encadrant M. CERTAIN pour tous ses conseils et son expérience professionnelle qu'il a pu nous transmettre. Enfin nous tenions à remercier tout le corps enseignant de l'istic pour toutes les connaissances théoriques et pratiques qu'ils ont pu nous apporter au cours de ses années. Rapport M1 MIAGE "SATRennesPA" Page 6

7 3. Introduction Ce projet est réalisé dans le cadre de notre formation en Master 1 MIAGE (Méthodes Informatiques Appliquées à la Gestion des Entreprises) à l'istic, composante de l'université de Rennes1. Le but de ce projet est de nous confronter à une situation professionnelle afin de mobiliser nos connaissances et nos compétences acquises jusqu'à présent. Le projet s'est déroulé de début janvier jusqu'à mi-avril 2014 pour l'ens (Ecole Normale Supérieure) de Rennes, situé sur le campus de Ker lann à Bruz et l'équipe LogicA de l'irisa (Institut de Recherche en Informatique et Systèmes Aléatoire), situé sur le campus de Beaulieu. Le projet consiste à améliorer l'interface web d'un solveur SAT, nommé "SATRennesPa" ( Les ajouts et modifications réalisés sont destinés à un panel utilisateur le plus large possible. Par exemple, l'initiation des lycéens à la logique ou l'enrichissement d'étudiants en licence/master de leurs connaissances dans ce domaine. Le produit final doit donc être intuitif, facile à utiliser et surtout ergonomique. Ce rapport reprend l'ensemble du travail effectué au cours de ces mois. Dans un premier temps, nous présenterons le projet en détaillant ses enjeux et son contexte et dans un second temps, nous exposerons le travail réalisé, sa mise en œuvre ainsi que son résultat final. Nous conclurons sur le bilan de cette expérience et les difficultés rencontrées. Rapport M1 MIAGE "SATRennesPA" Page 7

8 4. Présentation du projet 4.1. Présentation des parties prenantes L'ENS Rennes L'École Normale Supérieure de Rennes est un établissement public à caractère scientifique, culturel et professionnel. La recherche scientifique et la formation sont des missions fondamentales de l'ens Rennes. Elle est associée aux universités Rennes 1 et Rennes 2. L'école prépare, par une formation scientifique et culturelle de haut niveau, des élèves se destinant à la recherche scientifique fondamentale ou appliquée, à l'enseignement universitaire et dans les classes préparatoires aux grandes écoles ainsi qu'à l'enseignement secondaire et, plus généralement, au service des administrations de l'état et des collectivités territoriales, de leurs établissements publics ou des entreprises. L'ENS Rennes exerce ses missions principalement dans les disciplines technologiques, scientifiques, de gestion et des sciences sociales. Elle assure également la préparation de diplômes nationaux de niveau égal ou supérieur au master qu'elle est habilitée à délivrer. Elle peut délivrer des diplômes propres. Elle peut préparer à des concours des fonctions publiques et conduire des activités de formation continue. L'ENS Rennes définit et met en œuvre une politique de recherche scientifique et technologique qu'elle valorise par ses publications, ses productions scientifiques et pédagogiques, ses brevets et licences d'exploitation. Elle promeut la création et le soutien de jeunes entreprises innovantes. De plus L'ENS Rennes collabore avec des organismes de recherche ou d'enseignement supérieur français ou étrangers dans une perspective multidisciplinaire et internationale. Elle facilite les poursuites d'études de ses diplômés, notamment en doctorat. L'équipe de direction de l'école normale supérieure de Rennes est composée de : Patrice QUINTON, président de l'ens Rennes Laurent DEHOUCK, vice-président chargé de la formation Pascal MOGNOL, vice-président chargé de la recherche Rozenn TEXIER-PICARD, vice-présidente chargée de la parité et la diversité Éric GAUTRIN, chargé de mission pour la création de l'ens Rennes. Rapport M1 MIAGE "SATRennesPA" Page 8

9 L'équipe LogicA de l'irisa de Rennes L'équipe LogicA fait partie du département "gestion des données et de la connaissance" de l'irisa, le responsable de ce département est Marie-Odile Cordier. Elle est composé de : Sophie PINCHINAT, professeur titulaire à l'université de Rennes1 et chef de l'équipe. Guillaume AUCHER, professeur adjoint à l'université de Rennes1 et chercheur permanent au sein de l'équipe. François SCHWARZENTRUBER (Product Owner du projet), maître de conférences à l'ens Rennes. Stéphanie GŒRGES, doctorant. Cette équipe réunit des experts dans le domaine de la logique qui visent à contribuer à l'élaboration de théories logiques dans le but de fournir un cadre solide pour l'analyse et la conception d'applications dans les e-activités. Ils proposent trois actions principales pour contribuer à cet objectif : Logique et interaction ; Les applications pratiques ; La vulgarisation/diffusion de la logique. Notre interlocuteur au sein de l'équipe LogicA et de l'ens de Rennes est François SCHWARZENTRUBER. Rapport M1 MIAGE "SATRennesPA" Page 9

10 4.2. Rôle des différents acteurs du projet Maître d ouvrage / Product Owner Maître d œuvre / Equipe projet Encadrement et coaching / Equipe projet François Schwartzentruber francois.schwarzentruber@ensrennes.fr Etudiants M1 Miage: Mathieu Boulle Mohamed Dabo Philippe Leroy Aurore Pereira <mathieu.boulle@etudiant.univ-rennes1.fr> <mohamed.dabo@etudiant.univ-rennes1.fr> <philippe.leroy.1@etudiant.univ-rennes1.fr> <aurore.pereira@etudiant.univ-rennes1.fr> Didier Certain <didier.certain@univ-rennes1.fr> 4.3. Problématique et objectif Côté client SATRennesPA ( est un outil existant qui permet de tester la satisfiabilité d'une formule propositionnelle. L'outil est ludique et pratique : le problème de satisfiabilité est présenté avec quelques exemples tel que des Sudoku, des coloriages de cartes, de la planification de tâches, des problèmes d'emploi du temps... L'outil, avant de débuter le projet, était en partie fonctionnel mais son contenu était limité aux exemples cités ci-dessus et à l'éventualité par un utilisateur d'écrire des formules, les tester mais sans possibilité de les enregistrer et de pouvoir ainsi les réutiliser et les modifier à sa guise. Ce projet a consisté à modifier et, à ajouter de nombreuses fonctionnalités, tel que le multilingue, une gestion de compte utilisateur, un vérificateur syntaxique, un système de persistance des données ou encore un système d'ajout d'exemples afin de le rendre plus pratique et ergonomique. Les objectifs du projet sont : A court terme est de rendre l'application existante plus ergonomique par : a) Une aide à la saisie par l'implémentation d'un vérificateur syntaxique. b) L'internationalisation de l'application. c) La mise en place d'un compte utilisateur, pour une utilisation plus avancée de l'application. Rapport M1 MIAGE "SATRennesPA" Page 10

11 A long terme, faire de l'application un outil pédagogique. C'est un projet bien maîtrisé où l'on sait où on va avec peu de prises de risque avec un gros potentiel sur le long terme Pour l'équipe de projet Un second objectif pour ce projet est la familiarisation de l'équipe avec la méthode Agile/SCRUM. La familiarisation à cette méthodologie de travail pour les protagonistes de ce projet est un avantage certain dans leurs projets professionnels futurs Contraintes client Ergonomie L'interaction Homme-Interface doit être la plus facile possible. L'interface doit être en adéquation avec les caractéristiques physiologiques, perceptives et cognitives de leurs utilisateurs potentiels. Elle doit donc être le mieux adapté aux utilisateurs visés Evolutivité Nous travaillons, dans le cadre de ce projet, en méthode SCRUM. Ainsi nous livrons à chaque cycle itératif des "Partial Product". Ces "Partial Product" doivent être parfaitement intégrées dans le projet existant et doit permettre à une autre équipe qui ferait éventuellement évoluer le projet de le faire sans difficultés Sécurité Nous verrons dans une autre partie de ce rapport qu'un utilisateur doit pouvoir se connecter sur son compte en tout sécurité. Nous devons donc sécuriser toutes les données propres à celui-ci, en particulier ses informations de connections Contraintes techniques Compatibilité Les améliorations apportées à ce projet devront être compatibles avec les explorateurs internet les plus courants (IE, Chrome, Firefox, Safari etc ) Langages de programmation La présence de fichiers Java, JSP, JavaScript nous contraint à l'utilisation de ces technologies pour l'amélioration du projet existant. Rapport M1 MIAGE "SATRennesPA" Page 11

12 Conception actuel du projet existant La structure actuelle du site doit être prise en compte dans le développement des nouvelles fonctionnalités. Rapport M1 MIAGE "SATRennesPA" Page 12

13 5. Méthode de travail 5.1. Méthode SCRUM Au cours de ce projet nous avons travaillé avec la méthode SCRUM, une méthode agile dédiée à la gestion de projets. La méthode SCRUM, présenté en figure1, est issue des méthodes itératifs qui permettent de maîtriser une production planifiée. La méthode s'appuie sur le découpage d'un projet en itérations, nommés Sprint Backlog, ainsi que l'auto-organisation de l'équipe de développement. Les Sprint Backlog peuvent durer entre quelques heures et un mois (dans notre cas, deux semaines). Chaque Sprint Backlog commence par une estimation suivie d'une planification opérationnelle. Le Sprint Backlog se termine par une démonstration de ce qui a été achevé, et contribue à augmenter la valeur du produit. Avant de démarrer un nouveau Sprint Backlog, l'équipe réalise une rétrospective. Elle analyse ce qui s'est passé durant ce Sprint Backlog, afin de s'améliorer pour le prochain. Le terme SCRUM est emprunté au rugby et signifie mêlée. Cette méthode s'articule autour d'une équipe soudée, qui cherche à atteindre un but, comme c'est le cas en rugby pour avancer avec le ballon pendant une mêlée. La méthode SCRUM a été conçue lors de projets de développement de logiciels. Dans le cas de très grands projets, les équipes se multiplient et on parle alors de SCRUM de SCRUMs. Le principe de base de SCRUM est de focaliser l'équipe sur une partie limitée et maîtrisable des fonctionnalités à réaliser. Ces itérations se réalisent lors de périodes de durée fixe de une à quatre semaines, appelées Sprint Backlog. Chaque Sprint Backlog possède, préalablement à son exécution, un but à atteindre, défini par le Product Owner et l'équipe, à partir duquel sont choisies les fonctionnalités à implémenter dans cet incrément. Un Sprint Backlog aboutit toujours à la livraison d'un Partial Product. Un principe fort des méthodes Agiles est la participation active du client. Cela permet de choisir plus finement les fonctionnalités réalisées à chaque itération. L'équipe et le Product Owner peuvent à tout moment compléter ou modifier la liste des fonctionnalités à produire pour les prochains Sprint Backlog sans modifier leurs buts, ceux-ci peuvent être affinés et faire l'objet d'une renégociation entre le Product Owner et l'équipe de développement suite à de nouvelles connaissances. Si le but du Sprint Backlog devient obsolète, le Product Owner a la capacité d'annuler un Sprint Backlog en cours. Rapport M1 MIAGE "SATRennesPA" Page 13

14 Figure 1 SCRUM Cycle Dans notre cas, une rencontre avec le Product Owner était organisée toutes les deux semaines pour faire un point sur le Sprint Backlog et éventuellement l'ajout de tâches dans le Product Backlog. Les Partial Product étaient également présentés puis un compte rendu était rédigé après chaque réunion Planification des tâches La planification des tâches, dans le cadre d'un projet en méthode SCRUM, se fait via un SCRUM Board, présenté ci-dessous en figure2. Figure 2 SCRUM Board Rapport M1 MIAGE "SATRennesPA" Page 14

15 Les tâches sont triées de haut en bas par ordre de priorité dans la partie "To Do". Les tâches en Sprint Backlog sont situées dans la partie "Doing". La partie "Done!" contient les Partial Product livrés au client, ce sont les tâches qui ont été effectuées lors des précédents Sprint Backlog. Le "burndown chart" est un indicateur qui visualise chaque jour la quantité de travail restant à faire. Les "Non Scheduled elements" représentent tous les éléments imprévus du projet, c'est-à-dire tous les éventuels moments critiques du projet (bugs etc ). Pour notre projet, nous avons utilisé Trello (figure3), qui est une application de gestion de projet gratuit. Trello utilise le même principe que les kanbans utilisés en gestion de production industriel. Le projet est représenté par des listes de tâches. Cependant Trello ne gère pas la possibilité de créer un Burndow chart. Figure 3 Exemple de planning Trello Dans la figure3, chaque tâche a tout d'abord été évaluée par degré de difficulté avec un code couleur: Rapport M1 MIAGE "SATRennesPA" Page 15

16 Rouge, tâche considérée comme difficile. Marron, tâche assez difficile. Vert pâle, tâche relativement facile. Vert foncé, tâche facile. Par ailleurs la durée de chaque tâche a été évaluée par l'utilisation d'un planning poker. Les tâches étaient ensuite réparties entre nous. Nous avons travaillé par équipe de deux selon la difficulté des tâches. En cas de besoin ou de blocage sur un point précis toute l'équipe se réunissait pour s'apporter mutuellement des solutions. Le projet a duré au total 30 jours. Rapport M1 MIAGE "SATRennesPA" Page 16

17 6. Technologies utilisées Au cours de la réalisation de ce projet, nous avons utilisé de multiples technologies et outils que nous présentons ci-dessous Java Le langage Java est un langage de programmation informatique orienté objet. Ce langage est détenu et maintenu par la société Oracle. La particularité et l'objectif principal de Java est que les logiciels écrits dans ce langage doivent être très facilement portables sur plusieurs systèmes d'exploitation tels que UNIX, Windows, Mac OS ou GNU/Linux avec peu ou pas de modifications. Java permet de développer des applications client-serveur. C est surtout côté serveur que Java s est imposé dans le milieu de l entreprise grâce aux servlets et plus récemment les JSP (JavaServerPages) qui peuvent se substituer à PHP, ASP et ASP.NET JSP (Java Server Pages) Le JavaServerPages ou JSP est une technique basée sur Java qui permet aux développeurs de créer dynamiquement du code HTML, XML ou tout autre type de page web. La syntaxe du JSP ajoute des balises XML, qui peuvent être utilisées pour appeler des fonctions. De plus, cette technique permet la création de bibliothèques de balises JSP (taglib) qui agissent comme des extensions au HTML ou au XML. Il existe aussi un langage de script particulier destiné à réduire l'injection de code java au sein des pages JSP ainsi qu'à étendre les possibilités des taglibs, tel que la JSTL (utilisé pour l'une de nos fonctionnalité) JavaScript JavaScript (souvent abrégé JS) est un langage de programmation de scripts principalement utilisé dans les pages web interactives mais aussi côté serveur CSS Le CSS ou feuilles de style en cascade forment un langage informatique qui décrit la présentation des documents HTML et XML. Le CSS est couramment utilisé dans la conception de sites web. Ces feuilles de style interviennent dans le design de l'interface de notre projet. Rapport M1 MIAGE "SATRennesPA" Page 17

18 7. Outils utilisées 7.1. Eclipse Eclipse est une plateforme projet, décliné et organisé en un ensemble de sousprojets de développements logiciels développé par la Fondation Eclipse visant à développer un environnement de production de logiciels libres qui soit extensible, universel et polyvalent, en s'appuyant principalement sur Java. Son objectif est de produire et fournir des outils pour la réalisation de logiciels. Eclipse a été utilisé pour notre environnement de travail dans le cadre du développement des fonctionnalités du projet GitHub GitHub est un service web d'hébergement et de gestion de développement de logiciels, utilisant le programme Git. Ce gestionnaire de version a été utilisé pour pouvoir synchroniser le travail de l'équipe tout au long du projet Trello Trello fut notre gestionnaire de planning dans le cadre de la méthode SCRUM MySQL MySQL est un système de gestion de base de données relationnelle (SGBDR). MySQL est utilisé dans le projet pour la gestion des utilisateurs. Rapport M1 MIAGE "SATRennesPA" Page 18

19 7.5. Google Drive Cet outil de travail collaboratif nous a permis de stocker et de partager gratuitement des fichiers d'informations utiles pour notre projet. Rapport M1 MIAGE "SATRennesPA" Page 19

20 8. Travail réalisé Nous présenterons dans cette partie tout le travail réalisé durant le projet. Travaillant en méthode SCRUM, nous avons choisi de présenter notre travail de manière chronologique Prise en main du projet Nous avons débuté ce projet par une prise en main et une compréhension du code existant. Devant le manque de clarté de celui-ci, nous avons décidé de le commenter afin de mieux nous l'approprier et faciliter la reprise du projet par une personne extérieure. Cette tâche effectuée, lors d'une réunion avec notre Product Owner et notre professeur encadrant, nous avons planifié la mise en place d'un prototype de Product Backlog qui a évolué tout au long du projet via le site Trello. Nous nous sommes imposés un délai de deux semaines pour la réalisation de ce Product Backlog. Pour chaque tâche contenu dans le Product Backlog, une user story (figure4) est rédigée afin de bien spécifier les besoins et attentes à toutes les parties prenantes du projet. Figure 4 : User story type 8.2. Une interaction pour les utilisateurs Nous avons pris conscience qu'il serait intéressant de rendre le projet interactif avec l'utilisateur. Nous avons ainsi décidé que celui-ci aurait la possibilité de créer un compte sur le site afin de pouvoir créer/modifier/supprimer des exemples. Nous avons mis en place un formulaire d'inscription. Si un utilisateur désire s'inscrire sur le site, il clique sur ce formulaire qui s'ouvre dans une autre page afin d'éviter la perte de travail qu'il aurait débuté sur la page courante avant de s'inscrire. Il entre ensuite ses informations, c'est-à-dire son adresse mail, un mot de passe, une Rapport M1 MIAGE "SATRennesPA" Page 20

21 confirmation de celui-ci, son nom et enfin son prénom. Des messages d'erreurs s'affichent dans le cas où l'adresse mail de l'utilisateur n'est pas valide (figure6) ou encore si la confirmation du mot de passe est différente que le mot de passe écrit précédemment. Un message de succès est également affiché pour confirmer l'inscription de l'utilisateur. Figure 5 : Exemple d'erreur dans formulaire d'inscription Ces informations sont ensuite envoyées et embrouillées (figure 6) dans une base de données répertoriant tous les utilisateurs inscrits sur le site. Nous avons choisi d'embrouiller les informations utilisateur pour fournir une sécurité à celui-ci. La clé d'embrouillage est modifiable pour garantir la meilleure sécurité possible en cas d'attaque de la base de données. Rapport M1 MIAGE "SATRennesPA" Page 21

22 Figure 6 : Schéma embrouillage L'utilisateur, une fois inscrit, peut désormais se connecter sur le site (figure7). Cette connexion se fait via un pop-up qui s'affiche sur la page, toujours dans le principe de ne pas perdre les éventuelles données écrites sur la page courante par l'utilisateur. Celui-ci peut également cocher une check-box dans le cas où il souhaiterait se connecter automatiquement sans avoir à réécrire ses informations. Figure 7 : connexion d'un utilisateur Rapport M1 MIAGE "SATRennesPA" Page 22

23 8.3. Internationalisation Avant notre intervention le projet contenait une aide écrite en français avec une possibilité de l'afficher en anglais. La description des exemples était en français. Le reste de l'application était en anglais. Pour des raisons de cohérence, nous avons implémenté une méthode permettant au projet d'être multilingue. Nous avons ainsi rajouté l'anglais et le français aux choix possibles. Le changement de langue se fait via un menu déroulant contenu dans la barre principale des menus du site (figure8). Figure 8 : Changement de langue Nous avons tout d'abord utilisé la technologie JSTL (Java Server Pages Standard Tag Library) qui étend la spécification de JSP pour toutes les zones textes affichées par du JSP. Chaque zone texte est traduite et placée dans un fichier Java (une pour chaque langue). Chaque zone texte est référencée avec un même id dans ce fichier Java (même principe que les tables de hachages). L'utilisateur selon le bouton qu'il aura choisi, aura accès au site dans la langue correspondante (dans notre cas l'anglais ou le français). Notre projet contient également des fichiers JavaScript qui affichent du texte, en particulier, les exemples présents initialement sur le site (figure9). Figure 9 : Exemple de texte affiché en JavaScript La technologie JSTL n'est pas utilisable avec le JavaScript, nous avons donc rajouté une condition dans chaque fichier.js testant si la langue choisie est l'anglais ou le français. L'affichage se fait selon la valeur de la variable. Rapport M1 MIAGE "SATRennesPA" Page 23

24 8.4. Une navigation simplifiée et une persistance des données Le projet initial n'étant pas très ergonomique, une navigation simplifiée s'imposait. Pour cela plusieurs modifications ont vu le jour durant le projet. Tout d'abord, il paraissait judicieux dans le cas de la page d'aide proposé initialement sur le site, qu'elle soit accessible simplement et sans perte du travail en cours pour un utilisateur. Avant la reprise du projet, si un utilisateur souhaitait accéder à la page d'aide il était simplement redirigé sur son contenu. Il perdait ainsi toutes les données qu'il avait écrites sans avoir la possibilité de les récupérer, par exemple en faisant un retour de page. Nous avons trouvé plus judicieux pour un utilisateur que l'aide soit affichée sur une autre fenêtre (pop-up) lorsque celui-ci en avait besoin. Il peut ainsi avoir accès à l'aide tout au long de son travail sans lui imposer de contraintes de navigation (figure10). Figure 10 : Page d'accueil Nous avons mis en place une technique permettant le réaffichage des données, lorsque l'utilisateur fait un retour ou d'actualisation de la page. Rapport M1 MIAGE "SATRennesPA" Page 24

25 Voici un tableau récapitulatif (figure11). Avant : Lorsque l'utilisateur clique sur l'onglet "help", il était redirigé vers celle-ci. Les données figurant dans les formulaires sont perdu, lorsqu'un utilisateur déclenche un retour de page ou une actualisation (refresh). Après : La page d'aide s'ouvre dans une autre fenêtre lorsque l'utilisateur en a besoin. Les données persistent dans les formulaires lorsqu'un utilisateur déclenche un retour de page ou un refresh. Figure 11 : Tableau récapitulatif 8.5. Une aide pour la syntaxe des formules Nous voulions, avec le Product Owner, apporter une plus-value lorsqu'un utilisateur désirait taper lui-même une formule, une aide lui permettant de limiter ses erreurs. C'est alors que l'idée d'un vérificateur syntaxique est apparue. Figure 12 : Vérificateur syntaxique Nous avons développé cet outil (figure12) qui détecte à la touche les parenthèses manquantes de toutes les formules, c'est-à-dire que dès que l'utilisateur écrit un caractère, le vérificateur syntaxique affiche un message d'erreur dans le cas où il manque des parenthèses. Une seconde version sera amenée à être développée ultérieurement, nous avons apporté quelques idées d'amélioration via notre Trello. Rapport M1 MIAGE "SATRennesPA" Page 25

26 8.6. Des améliorations prévues dans le futur Ce projet nous imposant des contraintes de temps, toutes les tâches listées lors des réunions et inscrites dans le Product Backlog n'ont malheureusement pas pu être toutes traitées. Nous travaillons actuellement sur une fonctionnalité permettant à un utilisateur de pouvoir ajouter/modifier/supprimer ses propres exemples (figure13) sur le site et de pouvoir les enregistrer sur sa propre machine. Cette fonctionnalité est une continuité de la création d'un compte et de la connexion d'un utilisateur sur le site. Nous avons actuellement des méthodes Java fonctionnelles en local mais nous n'avons pas encore réussi à les mettre en place sur une base de données. Figure 13 : Menu ajout/modification/suppresion d'exemple La fonctionnalité de gestion de compte a été mise en place, cependant, par décision de notre Product Owner, cette fonctionnalité ne sera pas mise en ligne. Les raisons de ce choix est dû au fait que l'ajout/modification/suppression d'un exemple par une utilisateur n'est pas encore fonctionnel. Le principe du travail en méthode Agile s'inscrit dans le temps, du fait qu'une amélioration ou l'ajout d'une fonctionnalité est toujours possible. C'est via les différentes réunions que nous avons priorisé les tâches. Les autres tâches ne sont pas pour autant abandonnées. Elles sont présentes sur notre Trello dont les logins et l'accès seront transmis au Product Owner, dans l'optique où une équipe reprendrait le projet. Toutes les tâches présentent sont décrites afin de les rendre le plus clair possible pour la nouvelle équipe. Rapport M1 MIAGE "SATRennesPA" Page 26

27 9. Le produit final Il existe donc deux versions du projet : Une visible en ligne : Vérificateur syntaxique Multilingue Navigation simplifié L'autre est seulement disponible en local, nous la présenterons ci-dessous. Précédemment, nous avons précisé que nous sommes actuellement sur le développement d'une fonctionnalité permettant à un utilisateur d'ajouter/modifier/supprimer un exemple qu'il aura lui-même écrit. Rapport M1 MIAGE "SATRennesPA" Page 27

28 9.1. La page d'accueil Figure 14 : Page d'accueil En haut à gauche, sont situés les boutons pour naviguer sur le site. En haut à droite, deux boutons permettent à l'utilisateur de se connecter ou de s'inscrire sur le site. Sur la partie gauche, des boutons permettent à l'utilisateur de construire des formules plus simplement et en plus de les écrire sur la partie droite. Une partie de ces boutons est utilisée pour les différents exemples disponibles sur le site (Mouton/choux/loup, coloriage de carte, l'emploi du temps etc ). L'utilisateur peut supprimer les formules qu'il juge incorrecte et ajouter autant de lignes qu'il désire. Rapport M1 MIAGE "SATRennesPA" Page 28

29 9.2. Un exemple Figure 15 : Exemple des 6 boules Voici l'exemple des "6 boules" (figure15), présent de base sur le site. Le principe est de placer des boules de couleurs dans un ordre spécifique selon des contraintes. Si l'on teste la satisfiabilité (bouton "test whether the set of formula is satisfiable"), voici le résultat que l'on obtient dans une nouvelle page (figure16). Figure 16 : Résultat des 6 boules Rapport M1 MIAGE "SATRennesPA" Page 29

30 10. Les difficultés rencontrées Lors de ce projet, les difficultés suivantes sont apparues : La prise en main des technologies L'utilisation de Github a été difficile à gérer, en début de projet. La gestion de certains conflits nous ont fait perdre du temps. Ce problème vient d'une mauvaise synchronisation de l'équipe car nous travaillions parfois sur les mêmes fichiers. La prise en main du projet initiale Lors de la récupération du projet, la compréhension générale du code nous a posé quelques soucis dû à l'absence de commentaires sur celui-ci. Nous avons compris l'importance d'avoir un code clair et bien commenté dans le cas où notre projet serait repris par une autre équipe. La correction continue de petits bugs Nous avons passé beaucoup de temps sur la correction de certains bugs minimes qui étaient, pour la plupart, déjà présents initialement. Nous sommes conscients que cela fait partie de n'importe quel projet mais ces différentes corrections se sont faites au détriment du développement de certaines fonctionnalités. Les contraintes de conception/structure du projet initial Pour chaque fonctionnalité nous devions prendre en compte la possibilité de pouvoir l'implémenter au projet de base. Ceci a engendré des problèmes, particulièrement dans le cadre de la fonctionnalité d'ajouter/modifier/supprimer un exemple écrit par un utilisateur (fonctionnalité en cours de développement). Le wifi du campus de Beaulieu L'instabilité de la connexion wifi présente sur le campus a été un frein à l'avancement de certaines tâches. Rapport M1 MIAGE "SATRennesPA" Page 30