Académique Documents
Professionnel Documents
Culture Documents
Test Et Validation Du Logiciel: Mcinfo4 - Asr Tests
Test Et Validation Du Logiciel: Mcinfo4 - Asr Tests
McInfo4_ASR Tests
Janvier 2009
Patrick FELIX
patrick.felix@labri.fr
IUT – Bordeaux 1
Plan
2 Le test fonctionnel
3 Le test structurel
Les raisons :
2 il contenait une conversion d’un flottant sur 64 bits en un entier signé sur 16 bits
• Quel impact ?
• Sécurité des personnes,
• Retour des produits,
• Relations contractuelles,
• Notoriété, image,
• …
• Politique de certification
• Obligation de certification
• Grandes entreprises
• Application à risques
• Sous-traitance
Exemples de critères :
esthétique,
performance,
ergonomie,
fonctionnalité,
robustesse, etc.
Entrée x=16
DT1={x=16} Calcul de la Résultat 4
racine carrée
DT2={x=1}
…/… Testeur
Spécifications de OK !
la racine carrée Résultat attendu 4
Entrée x=1
DT1={x=16} Calcul de la Résultat 0
racine carrée
DT2={x=1}
…/… Testeur
Spécifications de NON OK !
la racine carrée Résultat attendu 1
Entrée Calcul de la
DT1={x=16} racine carrée Résultat
DT2={x=1}
…/…
Résultat2=Entrée
Spécifications de OK ou pas OK
la racine carrée
Fiabilité : Un critère est dit fiable s'il produit uniquement des jeux
de test réussis ou des jeux de test non réussis.
Complétude : Un critère est dit complet pour un programme s'il
produit uniquement des jeux de test qui suffisent à déterminer la
correction du programme (pour lequel tout programme passant
le jeu de test avec succès est correct)
Remarque : Tout critère valide et fiable est complet.
Exemples de classes :
3. Manuel / Automatique
Quelques exemples :
Boî
Boîte noire
Boî
Boîte blanche
Systè
Système
Module
Inté
Intégration
Unitaire
Niveau d’accessibilité
Fonctionnelle
Robustesse
Performance
Ergonomie
Sûreté
reté
Sécurité
curité
D’aprè
après J. Tretmans – Univ.
Univ. Nijmegen
Test de systèmes
• Techniques de test d'intégration lors de la phase d'assemblage
• Aspects méthodologiques
• Test système.