Description

Ce Focus vise à vous présenter des outils qui vont contribuer à améliorer la qualité de votre code Java à partir de mécanismes de vérification qui vont bien au-delà de ce que proposent les outils traditionnels.

Ce Focus vous montre comment :

• utiliser les options javac, JUnit et les assertions ;
• renforcer l’efficience de votre environnement de développement ;
• vérifier votre code source avec PMD ;
• valider votre code compilé (fichiers .class) avec FindBugs ;
• analyser le comportement de votre programme en exécution avec Java PathFinder.

Au sommaire :

• Contrôler les programmes Java
• Limites de ce Focus
• Tout commence normalement avec javac
• Rendre votre environnement de développement plus efficient
• Contrôle de code source avec PMD
• Analyse statique (des fichiers Class) avec FindBugsTM
• Vérification dynamique avec Java
• PathFinder de la NASA
• Pour continuer