La mise en oeuvre de tests H Lamandé Ingénieur C.N.A.M.
-
Upload
evette-rousset -
Category
Documents
-
view
106 -
download
0
Transcript of La mise en oeuvre de tests H Lamandé Ingénieur C.N.A.M.
La mise en oeuvre de tests
H Lamandé
Ingénieur C.N.A.M.
Introduction
L’influence des environnements: technique, conceptuel, organisationnel, humain…
Intervenant en SSII depuis 15 ans principalement dans le monde bancaire
Cas VAMI
VAMI rachète MAVI et fait migrer son système
1 système cible, 2 systèmes source, 4 sites de production source, 4 sites de développement, 7 banques 9 domaines fonctionnels
Cas VAMI
+ 200 BD + 500 produits 2 équipes principales de 50
personnes 1/5 de prestataires Quelle organisation?
Cas VAMI
Une approche descendanteGroupe
Banque Domaine
Appli …
Cas VAMI
Une approche descendante …
Produits Fichiers
ou Fichiers
Produits
Cas VAMI
La cible pilote l ’organisation les spécifications les données le planning
Cas VAMI
La source décide de: nième étape approche
descendante, son organisation, ses outils, plan de tests
Cas VAMI
Ens. de définitions différents: domaines applis produits rubriques
Cas VAMI
Sources d’information intranet réunions mails
Cas VAMI
Vie VAMI
VieOuverture
Etape
Fin
CapitV.E.V.P.
PEP/PEL
Cas VAMI
Vie VAMI (données)
PEP/PEL
Ouverture Vie Fin
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
Cas VAMI
Raffinement VAMI
V.P.
Date VP
VP
N
Compte
Hist VP
Mt versé
Date verst.
Cumul VP
Cas VAMI
Raffinement MAVI
V.P.
Date VP
VP
N
Compte
Hist Conditions VP
Mt. Ref
Date mod
Cumul VP
Cas VAMI
Vie MAVI
PEP/PEL
Ouverture Vie Fin
ChgtTaux
V.E.V.P.
PEP/PEL
Capit
Les tests et la spécification Incertitudes sur
les objectifs les RDG
stables évolutifs réglementaires
L ’IHM les écrans les enchaînements
Les tests et la spécification
Incertitudes sur les objectifs qui est donneur d’ordres
rentabilité, communication• efficacité, pérennité
qui est Maîtrise d ’Ouvrage complétude, fiabilité
• respect des délais
Les tests et la spécification
Incertitudes sur les objectifs qui est Maîtrise d ’oEuvre
fiabilité, délais• convivialité, évolutivité
qui va recetter simplicité, convivialité
quels sont les destinataires efficacité, opérationnel
• lisibilité
Les tests et la spécification
Incertitudes sur les RDG stables
• BD, outils de navigation
évolutives
• modularités, tables I réglementaires
• tables U, manuels
cachées, non dites• prototypage
Cas Dossiers Médicaux de Kemper NIAM/JSD/Z/SETL Principe: modéliser données et
processus avec le même outil Chaque action est déterminée par
des pré et post conditions Mise en œuvre des tests:
déf. de l’invariant du système test de l ’invariant après chaque
action
Cas Dossiers Médicaux de Kemper
1Etab(N_et…) 2Serv(N_ser, N_et,…) 3UF(N_uf, N_ser,.) 1Cli(N_ipp,…) 2Séj(N_ist,N_ipp,…) 1Arch(N_arc, sit, N_ipp,…) 2Dem_prêt(N_arc,N_uf,N_ist)
Cas Dossiers Médicaux de Kemper 1Etab(N_et…) 2Serv(N_ser, N_et,…) 3UF(N_uf, N_ser,.) 1Cli(N_ipp,…) 2Séj(N_ist,N_ipp,…) 1Arch(N_arc, sit, N_ipp,…) 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;
Cas Dossiers Médicaux de Kemper
1Etab(N_et…) 2Serv(N_ser, N_et,…) 3UF(N_uf, N_ser,.) 1Cli(N_ipp,…) 2Séj(N_ist,N_ipp,…) 1Arch(N_arc, sit, N_ipp,…) 2Dem_prêt(N_arc,N_uf,N_ist)
Création d’une 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_if
end_cr_uf
Cas Dossiers Médicaux de Kemper 1Etab(N_et…) 2Serv(N_ser, N_et,…) 3UF(N_uf, N_ser,.) 1Cli(N_ipp,…) 2Séj(N_ist,N_ipp,…) 1Arch(N_arc, sit, N_ipp,…) 2Dem_prêt(N_arc,N_uf,N_ist)
Création d’un 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
Cas Dossiers Médicaux de Kemper
Définition avec le même langage préconditions post conditions invariants processus séquentiels
valider les rdg avec les U tester les pre et post conditions
avec les invariants
Cas Dossiers Médicaux de Kemper Modularité Rapidité
apprentissage programmation
Interfacages
Cas VOMI
Epargne (pel, pep…) Paramétrage nombreux (+ 100) Paramétrages I et U mélangés Paramétrage imbriqués
p1 & p2 p3 p3 & p4 p5 p4 & p5 & p6 résultat
Cas VOMI
Paramétrages éclatés p1 sur BD p2 sur tables
supports limités pas de documentation
Cas VOMI
Des produits caractérisés par un régime (invariant)
ce régime peut changer au cours de la vie
le régime accepte des frais dérogation pour certains dossiers dérogation pour certains
mouvements
Les tests et la spécification
Incertitudes sur les données filtre formel filtre contextuel filtre séquentiel
Cas CEFINOCO
Données provenant de l ’extérieurFlux
BD
SI BQ
Cas CEFININCO
Données clients du SI BQ envoyées par lot à CEFININCO saisies sur TP CEFININCO données déduites retournées par
CEFININCO
Cas CEFININCO
Perte des identifiants Vie du produit
définie par CEFININCO transgressées par CEFININCO
Les tests: Outils et Equipe A venir la semaine prochaine
Les tests : outils et architecture A venir la semaine prochaine
Les tests: outils et environnement A venir la semaine prochaine
Réalité Quels objectifs: les résultats Quelles réalités: la rentabilité Quels moyens: le pragmatisme Quelle philosophie: ???