Overview

L'individuazione degli errori nelle specifiche può contribuire a ridurre i costi e i rischi dello sviluppo software, poiché i difetti non corretti nelle specifiche si propagheranno al codice, influenzando negativamente la qualità del prodotto finale. Il test di mutazione è una tecnica consolidata basata sui difetti per valutare e migliorare la qualità delle suite di test. Il test di mutazione può essere applicato a diversi livelli di astrazione, ad esempio a livello di unità, di integrazione e di specifiche. In questo libro viene proposta una suite di operatori di mutazione specifici per AsmetaL, classificati in quattro categorie. Gli operatori proposti vengono utilizzati per valutare l'adeguatezza delle suite di test generate utilizzando lo strumento ATGT, in base a vari criteri di copertura dei test. L'applicabilità dell'approccio proposto viene dimostrata attraverso casi di studio AsmetaL.

Full Product Details

9786209390432

Table of Contents

Reviews

Author Information

Tab Content 6

Countries Available