Livrable L2.3 : Rapport Technique Etude de Cas pour un Processus Métier Spécifique Projet ServiDirect

Transcription

1 Emetteur : DBU Date de révision : 15/12/09 Livrable L2.3 : Rapport Technique Etude de Cas pour un Processus Métier Spécifique Projet ServiDirect APPROBATION DU DOCUMENT Rédacteur D. Buchs L. Lucio A. Chen Nom Date Signature 15/12/09 Vérificateur S. Debricon 15/12/09 Approbateur DIFFUSION DU DOCUMENT Liste de diffusion Nom Organisation Pour action Pour information HISTORIQUE DES MODIFICATIONS Référence Date Modifications V /12/09 Constitution du document Paragraphes modifiés NA Rédacteur

2 Projet TestIndus Livrable 2.3 Rapport Technique Etude de Cas pour un Processus Métier Spécifique: Projet ServiDirect Didier Buchs, Levi Lúcio, Ang Chen Centre Universitaire d Informatique, Université de Genève {Didier.Buchs, Levi.Lucio, Ang.Chen}@unige.ch Résumé Dans ce document nous présentons une application de notre approche pour la génération automatique de tests pour les processus métiers dans le cadre du projet ServiDirect. Basés sur les modèles que nous proposons, nous générons des tests et les transformons en scripts utilisable par l outil Selenium. Ce résultat permet d effectuer le test automatique d application Web. 1 Projet ServiDirect Le site ServiDirect.com permettra de vendre des produits d assurance en ligne. Il a pour vocation à term d être un site de courtiers d assurance en ligne proposant une sélection de contrats d assurance : assurance maladie, soins, voiture, responsabilité civile. Dans un premier temps, il ne s agit que de produits Caisse Maladie du Groupe Mutuel. Chaque type de produit correspond un ensemble de formulaires à remplir et d information comme la choix de prime à confirmer, il s agit en effet un processus métier qui doit être effectué du côté client. Processus étudié Parallèlement au développement du site avec la méthode classique de l entreprise CLIO, nous avons étudié le processus d inscription en ligne d assurance et créé des modèles pour le représenter. Les modèles peuvent ainsi être utilisés pour la vérification ainsi que pour l implémentation de processus. 1

3 En suivant le document d analyse et la première version de maquette Web du projet ServiDirect, nous avons créé un modèle pour representer le flux de page Web (figure 1). Dans ce diagramme, chaque rectangle représente une activité qui doit être effectuée par l utilisateur ; chaque flèche représente une action (par ex. une lien, un bouton) qui déclenche le changement de page vers une autre page. En plus, chaque page peut avoir des champs à remplir ou des propriétés qui indiquent l état de cette page. La figure 2 donne le modèle de réseaux de Petri qui est équivalant de la figure 1. Notre travail s effectue par la suite avec ce modèle formel. Modèle de Page Web Dans un processus métier réalisé par une application Web, chaque page Web est en effet une activité de ce processus. Pour concrétiser les activités basées sur le Web, nous proposons un modèle de page Web pour tenir compte des éléments et de l information nécessaire liée à la réalisation des activités. Illustrée dans la figure 3, le modèle de page Web est représenté par un système de transition qui contient les éléments suivants : une URL qui identifie cette page ou cette activité un ensemble de composants qui représentent les entrées et les sorties de cette page, en interagissant avec l utilisateur. un ensemble d états qui indiquent dans quel situation cette page est actuellement, par ex. erreur d entrée etc. un ensemble d actions qui permettent de changer l état de la page, ou de se déplacer vers une autre page. Ce modèle de page Web peut être utilisé pour décrire les activités des processus métiers qui ont une interface Web. La figure 4 donne un exemple de ce genre de modèle pour l activité Saisir Information Préliminaire. Cette activité passe dans un état d erreur quand l utilisateur entre les valeurs invalides dans les champs d entrée. Si les valeurs entrées sont valides, l action Valider va mener l utilisateur vers l activité suivante. La figure 5 donne quelques capture d écrans et leurs relations avec les activités de processus de notre modèle. Modèle de données Nous avons utilisé les ADTs pour faciliter la génération automatique de tests et la vérification de processus. Comme nous l avons expliqué dans le livrable 2.2, il est possible d utiliser les modèles UML ensuite de les composer avec un des modèles de réseaux de Petri pour créer des processus exécutables. En effet, ADT et données dans UML sont deux formes différentes d un m?me genre de modèle de données. 2

4 11 Saisir information préliminaires Processus (Web Flow) du ServiDirect valider retour Saisir/modifier famille ajouter adulte 12 Choisir package d'assurance OK/Annuler 13 Saisir famille Choisir package supprimer Etape précedente ajouter mineur 14 Saisir coordonnée preneur Link=Cliquez ici Etape précedente Etape suivante OK/Annuler 15 Saisir nom des membre de la famille Modifier noms 16 personne précedente Questionnaires médicaux personne suivante Annuler Etape suivante Etape précedente 17 Afficher message 18 OK Valider et souscrire le contrat souscrire Valider le dossier Accepter Générer certificat d'assurance 10 1 Afficher message de confirmation de souscription Refus retour au menu principal 19 Afficher proposition de contract téléphonique retour au menu principal Figure 1 Le flux de page Web dans le projet ServiDirect 3

5 Saisir information préliminaires 11 valider Choisir package 12 d'assurance saisir/modify famille ajouter enfant ajouter adulte 13 Saisir famille etape précedente retour choisir package OK/Annuler supprimer 14 Saisir coordonnée preneur OK link=clicquez Ici modifier noms etape suivante etape précedente 16 Questionnaires médicaux OK/Annuler 15 Saisir nom des membres de la famille etape suivante etape précedente 17 message confirmer questionnaire valider dossier accept générer certificat d'assurance 18 valider et souscrire le contract souscrire 10 1 message de confirmation de souscription retour MP refus 19 proposition de contract téléphonique retour MP Figure 2 Le flux de page Web représenté par les réseaux de Petri 4

6 State 0 State 1 State 2 State 3 Web Page Input elems Name Type Value Action 0 Action 1 Action 2 Action 3 Figure 3 Modèle de page Web 11 0: normal 11 Preliminary Information Input elems Name Type Value Valider Valid inputs NPA Text 1: Error Birthdate Text Sex Radio Inputs are invalid Figure 4 Un exemple de modèle de page Web : saisir information préliminaire 5

7 12 Valider Choisir Package 11 Valider Saisir Famille 13 OK/Annuler 14 Choisir Package Figure 5 Le flux de page Web dans le projet ServiDirect (Capture d écrans) 6

8 2 Test Automatique d Application Web avec Selenium Selenium est un outil open source permet le test automatique de site Web. Le script de Selenium est sous format XML, chaque étape de test consiste en trois parties : action, cible et paramètres. Par exemple, la table 1 donne un exemple de script selenium qui ouvre une page Web et entre des valeurs dans les champs textuels. Table 1 Un Exemple de Selenium Script Action Cible Paramètres open ServiDirect/view/index.jsf type preliminaryinformationbean npa 1227 type preliminaryinformationbean birthdateinputdate 10/10/1990 Le principe concernant la génération automatique de tests pour la vérification de processus est présenté dans le livrable 2.1. La génération est basée sur le modèle de réseaux de Pétri de la figure 2, en utilisant le type abstraite algébrique (ADT). Les tests générés peuvent être aussi utilisés pour valider l implémentation de processus métiers, comme nous avons réalisé dans le projet ServiDirect. Le processus de développer les modèles et la génération de tests est illustré dans la figure 6. Techniquement, le modèle de réseaux de Petri ainsi que le modèle de données sont encodés en Prolog. Avec le moteur de génération que nous avons développé en Prolog, nous génèrons les séquences d actions abstraites basées sur ces deux modèles. Par la suite, avec un tableau de mapping entre les actions abstraites et les composants Web concrètes, nous transformons les séquences d actions abstraites en des séquences d action Selenium (scripts de Selenium). Pour réaliser cette transformation, nous avons développé un programme simple en Perl. 3 Conclusion Nous avons présenté l application de notre approche de modélisation de processus métiers dans le projet ServiDirect : une application Web pour vendre des produits d assurance en ligne. Nous avons utilisé les réseaux de de 7

9 Model of three dimensions Domain Data Model Main control flow Co-models synchronizations ID-net Model Webpag e Model e.g. state-transition system of a webpage Test generation (Prolog) Additional Business rules, domain constraints Sequences of actions / parameters Executable Selenium Scripts Intermediate format Transformation (to Test Driver) Mapping between the abstract actions and Web components Figure 6 Le processus de transformation pour obtenir les scripts de test Selenium à partir de nos modèles 8

10 Pétri pour modéliser le flux de page Web. Chaque activité est modélisée, par un sysème d état/transition, comme une instance de modèle de page Web. Le modèle de données peuvent être des ADT ou des données UML, selon si on veut faire la génération automatique de test ou l implémentation de processus. 9