[PDF] [PDF] Introduction aux tests du logiciel - IRIF

[PDF] Tests statistiques élémentaires - Institut de Mathématiques de

Liaisons entre variables D'autres questions, qui conduisent à tester l'in- fluence d' une variable quantitative (régression) ou qualitative (ANOVA et comparaison de  

[PDF] Cours 6 : TESTS

rejet de l'hypothèse du ministre que la véritable moyenne m=E(X) est de 1000, étant donné l'écart important existant entre et la valeur hypothétique de m 2 il 

[PDF] LES TESTS DHYPOTHÈSE

La construction d'un test d'hypothèse consiste en fait à déterminer entre quelles valeurs peut varier la variable aléatoire, en supposant l'hypothèse vraie, sur la 

[PDF] Tests de normalité - Université Lumière Lyon 2

On parle également de test d'adéquation à la loi normale rapprochement entre la distribution empirique (histogramme) et la distribution math2002/Tables/ papier_gausso htm; http://www iut u-bordeaux4 fr/gea/pagesweb/henry pdf

[PDF] Tests paramétriques de comparaison de populations - Université

Voir http://eric univ-lyon2 fr/~ricco/cours/cours/Test_Normalite pdf concernant les tests de Le test de Cochran utilise le rapport entre la variance conditionnelle 

[PDF] Méthodes dévaluation dentreprises : Le - Vernimmennet :

2 L'approche patrimoniale dans l'évaluation des entreprises 20 Tableau 19 : Test de sensibilité de la valorisation par la méthode de Bates (en milliers de

[PDF] LISTE DES TESTS DISPONIBLES - Institut de Psychologie

Matrices comme test de développement intellectuel entre 10 et 15 ans et indépendant du niveau social des sujets étudiés ; d'autres études ont montré que les 

[PDF] Introduction aux tests du logiciel - IRIF

Le test logiciel: Nous en faisons, mais qu'est-ce précisément ? • Quand et comment Trace entre la conception et l'exécution du test (entre le moment de la

[PDF] Test de français international Manuel du candidat - ETS

test peut être organisée par l'intermédiaire d'une entreprise ou d'un organisme demandant aux employés ou aux candidats à un poste de passer le TFI

[PDF] évaluation diagnostique 6ème maths 2016

[PDF] evaluation debut d année 6ème

[PDF] evaluation diagnostique maths college

[PDF] test diagnostique mathématique 6e année

[PDF] test d'hypothèse p value

[PDF] voix active voix passive cm2 pdf

[PDF] test d'hypothèse pdf

[PDF] tests statistiques exercices corrigés

[PDF] jaune de thiazole réaction magnésium

[PDF] fe2+

[PDF] cu2+

[PDF] tp identification des ions seconde bac pro

[PDF] mettre en oeuvre un protocole pour identifier des ions

[PDF] test au sulfate de cuivre anhydre

[PDF] que signifie la masse volumique d'un corps

Introduction aux tests du logiciel

F.X. Fornari

xavier.fornari@esterel-technologies.com

P. Manoury

pascal.manoury@pps.jussieu.fr 2011

Contents

1 Presentation du cours

2 Introduction aux tests logiciels

2.1 Qu'est-ce qu'un logiciel

2.2 Qu'est-ce que tester un logiciel

2.3 Que teste-t-on ?

2.4 Quelques principes de base

3 Les dierentes etapes du test des logiciels

4 Les dierents type de tests

4.1 Les tests fonctionnels

4.2 Les tests structurels

5 Mise en uvre

5.1 Les dierents documents

5.2 Organisation du test

5.3 Conclusion

6 Jeux de tests

7 Test Structurels

7.1 LCSAJ

7.2 Couverture MC/DC

7.3 Couverture Iterations

7.4 Couverture des donnees

7.5 Developpement de tests structurels

7.6 Points particuliers

7.7 Tests Structurels: Conclusion

8 Test fonctionnels33

8.1 Analyse partionnelle

8.2 Les autres tests fonctionnels

8.3 Tests fonctionnels: conclusion

9 Cycle de vie

9.1 Les Phases de tests

9.2 Les Tests par Phases

9.3 ... En Descente

9.4 ... En Montee

9.5 Gestion de processus

1 Presentation du cours

Contenu du cours

Le test logiciel: Nous en faisons, mais qu'est-ce precisement ?

Quand et comment fait-on du test ?

But du cours: sensibiliser au test en general:

{Le sujet est vaste {les applications variees

2 Introduction aux tests logiciels

2.1 Qu'est-ce qu'un logiciel

Un logiciel, ce n'est pas seulement du code, mais aussi: des besoins;

Une gestion de projet;

Une specication (fonctionalites, contraintes, facteur de qualite, interface); Une conception: fonctionnelle, architecturale, algorithmes, conception detaillee,..

Un code source;

Un executable;

... et des tests ! L'importance des tests se voit en cas de problemes: systeme de gestion de li- cences de la FFV s'eondrant des la mise en operation, Ariane 5, portes bloquees sur une automobile, plantage serveur lors de la coupe du monde de foot...

Le Logiciel

Q0: Qu'est-ce que du logiciel ?

des besoins, exprimes par un client une gestion de projet {cycle de vie (classique, agile, ...) avec ses delivrables {les outils et l'environnement de developpement une specication: la denition du logiciel en reponse aux besoins une conception: globale, architecturale, detaillee. Les composants et leurs echanges sont denis du code unproduit ... des tests !

2.2 Qu'est-ce que tester un logiciel

Q1:que veut dire \tester un logiciel" ? Etant donne un logiciel, comment le tester ? Le tester, c'est verier qu'il est conforme, mais a quoi, sur quel criteres Denition possible\Processus d'analyse d'un programme avec l'intention de detecter des anomalies dans le but de le valider"

Tester un logiciel

Q1: Que veut dire \tester un logiciel" ?

C'est valider sa conformite,

Par rapport a des exigences

C'est-a-dire par rapport a l'ensemble de la specication, et de la conception du logiciel

En fonction de criteres.

Par exemple, domaines d'entrees, taux d'erreurs acceptable, ...

Q2: Y-a-t-il plusieurs types de tests ?

Il y a dierentes methodes:

{Test bo^te noire-blanche, {Prediction d'erreur (on sait ce qu'on cherche) {Tests automatiques, ... il y a dierents types de tests: fonctionnels, non-fonctionels, structurels

Types de tests

Fonctionnels:

{est-ce que le logiciel est conforme a la specication ? {lies a la specication, a la qualite, a la performance, a l'interfacage,

Non-Fonctionnels:

{est-ce que son usage est conforme ? {lies a la conguration, la compatibilite, a la documentation, austress,

Structurels:

{est-ce que le codage est correct ? {fautes d'implementation, ou fonctions non prevues.Q3: Y-a-t-il des alternatives ? {methodes formelles: model-checking, SAT, ..., methode par ranements (B) Interpretation abstraite (estimation d'erreur, runtime-error, ...) Ces methodes sont de plus en plus employees. Probleme: adequation modele realite, passage a l'echelle {relecture de code: detection d'erreurs statiques, mais pas dynamiques. C'est lourd, mais ca favorise la connaissance du code. Les regles de codage sont importantes, et peuvent ^etre veriees par des outils {analyse de securite: validation d'une architecture. C'est l'identication en amont de tous les problemes potentiels.

Q4: Co^ut du test ?

{30 a 40% du co^ut de developpement, voire plus. Mais un bug peut co^uter encore plus cher...

Un metier a part entiere

quotesdbs_dbs2.pdfusesText_4