La mise en oeuvre de tests H Lamandé Ingénieur C.N.A.M.

Présentation au sujet: "La mise en oeuvre de tests H Lamandé Ingénieur C.N.A.M."— Transcription de la présentation:

1 La mise en oeuvre de tests H Lamandé Ingénieur C.N.A.M.

2 Introduction n Linfluence des environnements: u technique, u conceptuel, u organisationnel, u humain… n Intervenant en SSII depuis 15 ans principalement dans le monde bancaire

3 Cas VAMI n VAMI rachète MAVI et fait migrer son système n 1 système cible, n 2 systèmes source, n 4 sites de production source, n 4 sites de développement, n 7 banques n 9 domaines fonctionnels

4 Cas VAMI n + 200 BD n + 500 produits n 2 équipes principales de 50 personnes n 1/5 de prestataires n Quelle organisation?

5 Cas VAMI n Une approche descendante Groupe Banque Domaine Appli …

6 Cas VAMI n Une approche descendante … Produits Fichiers ou Fichiers Produits

7 Cas VAMI n La cible pilote u l organisation u les spécifications u les données u le planning

8 Cas VAMI n La source décide de: u nième étape approche descendante, u son organisation, u ses outils, u plan de tests

9 Cas VAMI n Ens. de définitions différents: u domaines u applis u produits u rubriques

10 Cas VAMI n Sources dinformation u intranet u réunions u mails

11 Cas VAMI n Vie VAMI VieOuverture Etape Fin CapitV.E.V.P. PEP/PEL

12 Cas VAMI n Vie VAMI (données) n PEP/PEL OuvertureVieFin CapitV.E.V.P. PEP/PEL Date sous. VI VP (Mt, Pér.) Date Ech Date VP VP Date VE VE Date capit Intérêts

13 Cas VAMI n Raffinement VAMI V.P. Date VP VP N Compte Hist VP Mt versé Date verst. Cumul VP

14 Cas VAMI n Raffinement MAVI V.P. Date VP VP N Compte Hist Conditions VP Mt. Ref Date mod Cumul VP

15 Cas VAMI n Vie MAVI n PEP/PEL OuvertureVieFin Chgt Taux V.E.V.P. PEP/PEL Capit

16 Les tests et la spécification n Incertitudes sur u les objectifs u les RDG F stables F évolutifs F réglementaires u L IHM F les écrans F les enchaînements

17 Les tests et la spécification n Incertitudes sur les objectifs u qui est donneur dordres F rentabilité, communication efficacité, pérennité u qui est Maîtrise d Ouvrage F complétude, fiabilité respect des délais

18 Les tests et la spécification n Incertitudes sur les objectifs u qui est Maîtrise d oEuvre F fiabilité, délais convivialité, évolutivité u qui va recetter F simplicité, convivialité u quels sont les destinataires F efficacité, opérationnel lisibilité

19 Les tests et la spécification u Incertitudes sur les RDG F stables BD, outils de navigation F évolutives modularités, tables I F réglementaires tables U, manuels F cachées, non dites prototypage

20 Cas Dossiers Médicaux de Kemper n NIAM/JSD/Z/SETL n Principe: modéliser données et processus avec le même outil n Chaque action est déterminée par des pré et post conditions n Mise en œuvre des tests: u déf. de linvariant du système u test de l invariant après chaque action

21 Cas Dossiers Médicaux de Kemper n 1Etab( N_et …) n 2Serv(N_ser, N_et,…) n 3UF(N_uf, N_ser,.) n 1Cli(N_ipp,…) n 2Séj(N_ist, N_ipp,…) n 1Arch(N_arc, sit, N_ipp,…) n 2Dem_prêt(N_arc,N_uf, N_ist )

22 Cas Dossiers Médicaux de Kemper n 1Etab( N_et …) n 2Serv(N_ser, N_et,…) n 3UF(N_uf, N_ser,.) n 1Cli(N_ipp,…) n 2Séj(N_ist, N_ipp,…) n 1Arch(N_arc, sit, N_ipp,…) n 2Dem_prêt(N_arc,N_uf, N_ist ) Pré condition via la fonction « l identifiant de l UF existe-t-il? » iduf_exist(N_uf); if STET(3) = {} then bool:= false else bool=(N_uf in domain STET(3)) endif return bool end iduf_exist;

23 Cas Dossiers Médicaux de Kemper n 1Etab( N_et …) n 2Serv(N_ser, N_et,…) n 3UF(N_uf, N_ser,.) n 1Cli(N_ipp,…) n 2Séj(N_ist, N_ipp,…) n 1Arch(N_arc, sit, N_ipp,…) n 2Dem_prêt(N_arc,N_uf, N_ist ) Création dune UF proc cr_uf(N_ser, lib_uf) N_uf:= cpuf + 1 if iduf_exis(N_uf) then print « N_uf ko » else if idse_exis(N_ser) then cpuf+:= 1 stret(3)(cpuf):=[lib_uf,N_ser] print « ok » else print « N_ser ko » end_if end_cr_uf

24 Cas Dossiers Médicaux de Kemper n 1Etab( N_et …) n 2Serv(N_ser, N_et,…) n 3UF(N_uf, N_ser,.) n 1Cli(N_ipp,…) n 2Séj(N_ist, N_ipp,…) n 1Arch(N_arc, sit, N_ipp,…) n 2Dem_prêt(N_arc,N_uf, N_ist ) Création dun invariant proc inv1() return(forall iddp in domain strar(2) / iddp(1) in domain strar(1))end_inv1 proc inv2() return(forall iddp in domain strar(2) / iddp(2) in domain stret(3))end_inv2

25 Cas Dossiers Médicaux de Kemper n Définition avec le même langage u préconditions u post conditions u invariants u processus séquentiels n valider les rdg avec les U n tester les pre et post conditions avec les invariants

26 Cas Dossiers Médicaux de Kemper n Modularité n Rapidité u apprentissage u programmation n Interfacages

27 Cas VOMI n Epargne (pel, pep…) n Paramétrage nombreux (+ 100) n Paramétrages I et U mélangés n Paramétrage imbriqués u p1 & p2 p3 u p3 & p4 p5 u p4 & p5 & p6 résultat

28 Cas VOMI n Paramétrages éclatés u p1 sur BD u p2 sur tables n supports limités n pas de documentation

29 Cas VOMI n Des produits caractérisés par un régime (invariant) n ce régime peut changer au cours de la vie n le régime accepte des frais n dérogation pour certains dossiers n dérogation pour certains mouvements

30 Les tests et la spécification n Incertitudes sur les données u filtre formel u filtre contextuel u filtre séquentiel

31 Cas CEFINOCO n Données provenant de l extérieur Flux BD SI BQ

32 Cas CEFININCO n Données clients du SI BQ u envoyées par lot à CEFININCO u saisies sur TP CEFININCO u données déduites retournées par CEFININCO

33 Cas CEFININCO n Perte des identifiants n Vie du produit u définie par CEFININCO u transgressées par CEFININCO

34 Les tests: Outils et Equipe n A venir la semaine prochaine

35 Les tests : outils et architecture n A venir la semaine prochaine

36 Les tests: outils et environnement n A venir la semaine prochaine

37 Réalité n Quels objectifs: les résultats n Quelles réalités: la rentabilité n Quels moyens: le pragmatisme n Quelle philosophie: ???