Ieri ho fatto una domanda che aveva un altro significato dentro. Vedo che il controllo / flusso di dati è spesso menzionato come analisi statica (quando vengono utilizzati strumenti) o test di analisi dinamica in termini di test della scatola bianca. Potrebbe essere che gli strumenti di analisi automatici possano solo aiutare con la creazione di grafici o testarli effettivamente con input (quindi non sarebbe statico IMHO).
Puoi anche disporre di strumenti di analisi automatici che eseguono l'esecuzione simbolica. Klee è un esempio di questo. Fondamentalmente passa attraverso il programma cercando di capire quali sono i possibili valori delle variabili in diversi punti. Usando questo decide quali variabili di input possono coprire quali parti del codice. Fa anche cose interessanti con i file system di modellazione e le variabili di ambiente. Il loro articolo è abbastanza facile da leggere e abbastanza informativo
Quindi, in generale, penso che la distinzione non sia così semplice. KLEE esegue il codice in un modo, ma non lo chiamerei esecuzione corretta.
Leggi altre domande sui tag testing unit-testing control-flow