TCG

Il test basato su modelli consiste in una tecnica per la generazione automatica di una serie di casi di test utilizzando modelli estratti da artefatti software. Si tratta di un approccio che mira a migliorare la qualità del software e a ridurre i costi inerenti al processo di test. Questo libro è destinato a professionisti ricercatori e studenti nel campo dell'ingegneria del software e ha lo scopo di presentare il TCG uno strumento per la generazione e la selezione di casi di test funzionali e statistici che accetta come input modelli probabilistici e non probabilistici. Le tecniche di selezione fornite sono: scopi di test percorso casuale e percorso più probabile. Inoltre questo libro presenta anche la tecnica di selezione chiamata probabilità minima di percorso in cui lo strumento seleziona i casi di test che hanno una probabilità di occorrenza maggiore o uguale a un valore specificato dall'utente.