Test :: Lectrotest :: Tutorial Test :: Lectrotest :: Tutorial è un modulo Perl che contiene documentazione su come utilizzare LecRotest per testare il tuo software.
Scarica ora

Test :: Lectrotest :: Tutorial Classifica e riepilogo

Test :: Lectrotest :: Tutorial Tag

modulo Perl COME software di prova Lectrotes Howto. LectroTes

Test :: Lectrotest :: Tutorial Descrizione

Test :: Lectrotest :: Tutorial è un modulo Perl che contiene documentazione su come utilizzare LecRotest per testare il tuo software. Test :: Lectrotest :: Tutorial è un modulo Perl che contiene documentazione su come utilizzare LecRotest per testare il software.SynopsislectorRotest è un sistema di test automatizzato basato su specifiche. Per usarlo, dichiarare le proprietà che specificano il comportamento previsto del tuo software. Quindi richiamare Lectrotest per verificare se tali proprietà hold.lectrotest esegue questo in esecuzione ripetuta prove casuali contro il tuo software. Se Lectrotest scopre che una proprietà non tiene, emette il controexample che "ha rotto" il tuo software. È quindi possibile collegare il controesempio nel tuo software per eseguire il debug del problema. (È anche una buona idea aggiungere il controesempio alla tua lista dei test di regressione.) Pensa al comportamento del tuo software come un pagliaio che stai cercando gli aghi. Ogni errore è un ago. Vuoi trovare gli aghi e rimuoverli. Lectrotest cercherà il pagliaio per te - è bello in quel modo - ma prima devi dirlo sulla forma del pagliaio e come riconoscere un ago quando vedisce uno. La forma del fieno la forma del pagliaio è definita da un set di "Binding Generator", in cui le variabili sono legate all'output dei generatori di valore: X = 0; la sopra riportata afferma per ogni punto nel pagliaio che l'uscita della funzione The_thing_we_are_testing deve essere non negativa. Mettili insieme per creare un immobile. I collegamenti del generatore e il riconoscimento dell'ago sono combinati per creare una proprietà: proprietà {## ##. Questo dice a Perl che i nostri attacchi sono leganti e non il normale codice perl.) Possiamo leggere la proprietà sopra come: "Per" per " Tutti i numeri interi X e tutti i caratteri C nell'intervallo A Attraverso Z, affermiamo che The_Thing_We_are_testing non è negativo. "Testare se le tue proprietà detenute definiscono proprietà per il tuo software, aggiungile a un piccolo programma perl che utilizza il test: Modulo Lectrotest: # MyProperties.Lt usa MyModule; # fornisce il test di utilizzo di_thing_we_are_testing :: Lectrotest; Proprietà {## [x = 0; }, nome => "The_thing_we_are_testing (...) non è negativo"; quindi puoi testare le tue proprietà semplicemente eseguendo il programma: $ perl myproperties.l.tif Le tue proprietà check out, vedrai qualcosa del genere: 1..1 OK 1 - 'the_thing_we_are_testing (...) non è negativo' (1000 tentativi) Se qualcosa va storto, tuttavia, Lectroterest ti dirà dove è successo: 1..1 non ok 1 - 'the_thing_we_are_testing (. ..) non è negativo 'falsificato in 23 tentativi # controesempio: # $ x = 4 # $ c = "r" cosa dice è che al punto (x = 4, c = "r") nel pagliaio, C'è un ago (cioè la tua proprietà non tiene). Con queste informazioni, è possibile esaminare il tuo codice per determinare la causa dell'errore. Requisiti: · Perl.

Test :: Lectrotest :: Tutorial Software correlato