SoftCheck Inspector

Inspecteur SofCheck est un outil d'analyse statique qui découvre des erreurs dans bytecode Java. Il utilise le contrôle de flux statique, flux de données, et la propagation possible valeur-set (PVP) techniques pour identifier les endroits où ces erreurs d'exécution peuvent se produire. Cette technique de qualité de logiciel automatisé fournit une couverture de chemin de 100% et permet défauts à être identifiés et éliminés très tôt dans le cycle de vie du logiciel, avant l'heure de l'exécution. Inspecteur génère conditions préalables et postconditions qui caractérisent le comportement du code Java et sont utiles pour blancs inspections de code de la boîte. Il détecte les conditions de course, l'indice hors des limites, déborde, diviser par zéro, code mort, les affectations non utilisées, des tests va toujours d'une façon ou d'exceptions levées. Ceci est une version de 45 jours d'essai en charge jusqu'à 200 classes. Le produit contient une version du JRE de Sun

Exigences :.

Windows XP / 2003 Server

Limites :

45 jours