igl601_td3_test_fonct_dyn_ap-gce_ap-trans - IGL601

TRAVAUX DIRIGÉS
ATELIER TECHNIQUES DE TEST
GRAPHES DE CAUSE-EFFET
ANALYSE TRANSACTIONNEL
IGL601/IGL711 TECHNIQUES ET OUTILS DE
DÉVELOPPEMENT
10 SEPTEMBRE 2015
PAR
JONATHAN GUAY, ING. M.ING., DAA, PMP
DÉPARTEMENT D’INFORMATIQUE
UNIVERSITÉ DE SHERBROOKE
Copyright 2015 Jonathan Guay, département d’informatique, université de Sherbrooke
AGENDA
•INTRODUCTION
•EXERCICE 1:GRAPHE DE CAUSES À EFFET
•EXERCICE 2: ANALYSE TRANSACTIONNEL
2
Copyright 2015 Jonathan Guay, département d’informatique, université de Sherbrooke
INTRODUCTION
Afin de nous aider à spécifier les tests, il est parfois nécessaire d'utiliser des
modèles.
Nous allons nous exercer à spécifier les tests à partir de 2 catégories de
modèles soit :
- les Graphes de causes à effet.
- l'analyse transactionnelle.
Ces 2 catégories de modèles font parties des techniques de Test Fonctionnels
Dynamiques à Analyse Partionnelle (TFD.AP).
3
Copyright 2015 Jonathan Guay, département d’informatique, université de Sherbrooke
EXERCICE 1 (GRAPHE CAUSES À EFFET):
REQUIS: SI A OU B ALORS C
1)DÉCRIVEZ TOUTES LES COMBINAISONS POSSIBLES DE A, B, ET C
A
VC
B
2) PRODUIRE LA TABLE DE VÉRITÉ (TABLE DE DÉCISION) REPRÉSENTANT LES
RELATIONS LOGIQUE ENTRE LES CAUSES ET LES EFFETS.
4
Inspiré de http://fr.slideshare.net/mousmip/software-testing-15337141
Copyright 2015 Jonathan Guay, département d’informatique, université de Sherbrooke
EXERCICE 1(SOLUTION):
VOICI LES RÈGLES
SI A EST VRAI ET B EST VRAI ALORS C EST VRAI
SI A EST VRAI ET B EST FAUX ALORS C EST VRAI
SI A EST FAUX ET B EST VRAI ALORS C EST VRAI
SI A EST FAUX ET B EST FAUX ALORS C EST FAUX
5
Copyright 2015 Jonathan Guay, département d’informatique, université de Sherbrooke
EXERCICE 1(SOLUTION):
Test #1
Test #2
Test #3
A V
F
F
B F
V
F
C V
V
F
Causes:
Effets
Table de décision
6
Copyright 2015 Jonathan Guay, département d’informatique, université de Sherbrooke
À PARTIR DES SPÉCIFICATIONS INFORMELLES
DONNÉES À LA DIAPOSITIVE SUIVANTE:
•PRODUIRE LE GRAPHIQUE DES FLUX
•PRODUIRE LE JEU D’ESSAI
7
Copyright 2015 Jonathan Guay, département d’informatique, université de Sherbrooke
Inspiré http://ix.cs.uoregon.edu/~michal/book//index.html (Chap 14)
EXERCICE 2 (ANALYSE TRANSACTIONNELLE)
Inspiré http://ix.cs.uoregon.edu/~michal/book//index.html (Chap 14)
EXERCICE 2 (SPÉCIFICATIONS INFORMELLES I)
Expédition de commande (Process shipping order): La fonction d’expédition d’une commande
vérifie la validité d’une commande et prépare le reçu.
Une commande valide contient les données suivantes:
•Coût de la marchandise (cost of goods) : La commande est invalide si le coût de la
marchandise est inférieur à (MinOrder).
•Adresse de livraison (shipping address): inclus nom, adresse, ville, code postal, pays.
•Mode de livraison (preferred shipping method): Si l’adresse est local, le mode de livraison doit
être courier (land freight), courier express (expedited land freight) ou par avion (overnight air).
Si l’adresse est internationale, le mode de livraison doit être par avion (air freight) ou par avion
express (expedited air freight).
8
Copyright 2015 Jonathan Guay, département d’informatique, université de Sherbrooke
Inspiré http://ix.cs.uoregon.edu/~michal/book//index.html (Chap 14)
EXERCICE 2 (SPÉCIFICATIONS INFORMELLES II)
Le coût de la livraison (shipping cost) se calcul en se basant sur:
•L’adresse et le mode de livraison
•Le type de client (individuel, affaire, académique)
La mode de paiement: Un client individuel doit utiliser une carte de crédit. Un client affaire ou
académique peut utiliser une carte de crédit ou payer sur réception d’une facture (invoice).
Information sur la carte de paiement: numéro de carte, nom sur la carte, date d’expiration,
adresse de facturation (si différent de l’adresse de livraison). Si une information de la carte de
crédit est invalide, le client peut corriger l’information ou annuler la commande.
9
Copyright 2015 Jonathan Guay, département d’informatique, université de Sherbrooke
Inspiré http://ix.cs.uoregon.edu/~michal/book//index.html (Chap 14)
EXERCICE 2 (SPÉCIFICATIONS INFORMELLES III)
Les données en sortie de la fonction ‘expédition de commande’ sont
•Validité (booléen) vrai si le commande peut être traitée
•Coût total (Total Charge) : somme de la marchandise et des frais de livraison (seulement si validité =
vrai)
•Statut du paiement: Si toutes les données sont bonnes (cartes de crédit ou facture) alors le statut du
paiement est valide. Ce qui implique que la commande est traitée et le reçu est produit, sinon, le
statut est invalide.
10
Copyright 2015 Jonathan Guay, département d’informatique, université de Sherbrooke
(c) 2007 Mauro Pezzè & Michal Young
JEU D'ESSAI
Les tests couvrent toutes les branches
Case
Too
Small
Ship
Where
Ship
Method
Cust
Type
Pay
Method
Same
Address
CC valid
TC-1
No
Int
Air
Bus
CC
No
Yes
TC-2
No
Dom
Land
-
-
-
-
TC-3
Yes
-
-
-
-
-
-
TC-4
No
Dom
Air
-
-
-
-
TC-5
No
Int
Land
-
-
-
-
TC-6
No
-
-
Edu
Inv
-
-
TC-7
No
-
-
-
CC
Yes
-
TC-8
No
-
-
-
CC
-
No (abort)
TC-9
No
-
-
-
CC
-
No (no
abort)
(c) 2007 Mauro Pezzè & Michal Young
Ch 14,
slide 12