Java, les objets : tout de suite ! Test, assertions, « vérification statique »

19/02/2003


Cliquez ici pour démarrer


Table des matières

Java, les objets : tout de suite ! Test, assertions, « vérification statique »

Sommaire

Selon M.Grand, Patterns in Java Vol 2, ISBN 0471258415 Wiley

Black Box Testing

White Box Testing

Unit Testing

Integration et System Testing

Regression Testing

Acceptance et Clean Room Testing

Un exemple : une calculette à pile

L interface Calculator

La calculette post fixée utilise une pile

Une pile d entiers

Documentation utilisateur de la Pile

Une première solution : les assertions

La classe Pile

La classe Pile le constructeur

La classe Pile, suite

Test de la classe Pile avec BlueJ

Pile : WhiteBox Testing ?

la méthode de classe whiteBoxTesting, assert

whiteBoxTesting avec BlueJ

Traces d exécution avec BlueJ

whiteBoxTesting, &=, Code 6.3 page 154

Discussion

BlackBox Testing ?

blackBoxTesting suite

blackBoxTesting suite

Test Exhaustif ?

Unit Testing et BlueJ

Unit Testing et BlueJ

La calculette post fixée utilise une pile

Calculette PostFixée

Integration testing

Test de non-régression

Les extras

Jass Oldenburg

TicketMachine page 35, code 2.8

ESC/Java Compaq

TicketMachine page 35, code 2.8

TicketMachine page 35, code 2.8

TicketMachine page 35, code 2.8

Analyse statique du source passed

La Pile d entiers en ESC

Pile et ESC/Java, empiler, depiler, estVide, estPleine

Pile et ESC/Java, taille,equals, toString

ESC/Java whiteBox Testing

whiteBox Testing une trace ESC

BlackBox Testing

Résumé, synthèse

Documentation, avec JML

Auteur:Jean Michel

Messagerie: douin@cnam.fr

Page d'accueil: http://jfod.cnam.fr

Autres informations:
David J. Barnes & Michael Kölling Objects First with Java A Practical Introduction using BlueJ Prentice Hall / Pearson Education, 2003 ISBN 0-13-044929-6