Copertura del modello, generazione automatica di test e individuazione di errori run-time
Dalla serie: Sistemi complessi e architetture software per applicazioni safety critical
Vediamo come misurare e migliorare la copertura dei componenti software attraverso la generazione automatica dei test. Inoltre, scopriremo come sia possibile trovare degli errori run-time sul modello prima di generare il codice C.
Pubblicato nel: 21 lug 2020
