ParaSoft renouvelle son offre applicative. Jtest 4, son outil de test et de vérification de classes Java, fonctionne désormais avec Jcontract, un logiciel d'annotation de code. Disponible en option, Jcontract a pour but de préciser sous forme écrite les spécifications du programmeur sur les comportements d'une classe.

En pratique, il permet de saisir, à l'aide d'un langage approprié, des commentaires dans des balises associées à l'une des fonctions. En plus de documenter précisément le code pour des usages futurs, ces balises sont, en outre, interprétées par Jtest 4 qui voit ainsi sa vitesse de test accrue.

En effet, grâce à elle, le logiciel ne pointe plus les exceptions documentées qui auparavant étaient reconnues comme des erreurs de code. Autre particularité, à la lecture des balises, Jtest 4 générera automatiquement des cas de test pour vérifier si le comportement de la classe est conforme à l'attente du développeur.

Jcontract est utile lors de la phase d'assemblage d'une application, lorsque l'on agrège des éléments développés séparément.

Le logiciel vérifie alors la validité des liens entre les différents composants, tels qu'ils ont été définis par le programmeur. Des messages d'erreur signalent ensuite la non-conformité d'une relation, permettant ainsi de la corriger.