Test :: Lectrotest :: Tutoriel TEST :: Lectrotest :: Tutoriel est un module Perl contenant une documentation sur la manière d'utiliser Lectrotest pour tester votre logiciel.
Télécharger maintenant

Test :: Lectrotest :: Tutoriel Classement & Résumé

Test :: Lectrotest :: Tutoriel Mots clés

Module Perl COMMENT logiciel de test Lectrotes HOWTO LectroTes

Test :: Lectrotest :: Tutoriel La description

Test :: Lectrotest :: Tutoriel est un module Perl contenant la documentation sur la manière d'utiliser Lectrotest pour tester votre logiciel. Test :: Lectrotest :: Didacticiel est un module Perl contenant la documentation sur la manière d'utiliser Lectrotest pour tester votre logiciel.Synopsislectrotest est un système de test basé sur des spécifications automatisé. Pour l'utiliser, déclarez des propriétés qui spécifient le comportement attendu de votre logiciel. Ensuite, invoquer Lectrotest à tester si ces propriétés Hold.lectrotest le fait en exécutant des essais aléatoires répétés contre votre logiciel. Si Lectrotest trouve qu'une propriété ne contient pas, elle émet un contre-exemple «cassé» votre logiciel. Vous pouvez ensuite brancher le contre-exemple dans votre logiciel pour déboguer le problème. (C'est également une bonne idée d'ajouter le contre-exemple à votre liste de tests de régression.) Pensez au comportement de votre logiciel en tant que fointette que vous recherchez des aiguilles. Chaque erreur est une aiguille. Vous voulez trouver les aiguilles et les supprimer d'eux. Lectrotest recherchera la botte de foin pour vous - c'est bien de cette façon - mais vous devez d'abord le dire de la forme de la botte de foin et de la reconnaissance d'une aiguille quand elle en voit une.La la fointe de la foin de la foin est définie par un ensemble de "Reliures des générateurs", dans lesquelles les variables sont liées à la sortie des générateurs de valeur: x = 0; ce qui précède affirme pour chaque point de la botte de foin que la sortie de la fonction_thing_we_are_testing doit être non négative. Ne pas les non négatifs pour créer une propriété Les liaisons génératrices et la reconnaissance des aiguilles sont combinées pour créer une propriété: propriété {## ##. Cela dit à Perl que nos liaisons sont des liaisons et non du code Perl régulier.) Nous pouvons lire la propriété ci-dessus comme suit: "Pour Tous les entiers x et tous les caractères C dans la plage A à Z, nous affirmons que the_thing_we_are_testing est non négatif. "Testez si vos propriétés Hatrefter vous définissez les propriétés de votre logiciel, les ajoutez simplement à un petit programme PERL utilisant le test :: Module Lectrotest: # myProperties.lt Utilisez MyModule; # fournit the_thing_we_are_testing use test :: lectrotest; Propriété {## [x = 0; }, nom => "the_thing_we_are_testing (...) est non négatif"; vous pouvez alors tester vos propriétés simplement en exécutant le programme: $ perl myproperties.l.tifitez vos propriétés, vous verrez quelque chose comme ceci: 1..1 OK 1 - 'the_thing_we_are_testing (...) est non négatif (1000 tentatives) (1000 tentatives) si quelque chose ne va pas, cependant, Lectrotest vous dira où il s'est produit: 1..1 pas ok 1 -' the_thing_we_are_testing (. .. Il y a une aiguille (c'est-à-dire que votre propriété ne tient pas). Avec cette information, vous pouvez examiner votre code pour déterminer la cause de l'erreur. Exigences: · Perl

Test :: Lectrotest :: Tutoriel Logiciels associés