TCG: Uno strumento di test basato su modelli

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.