Esecuzione simbolica
Cos'è l'esecuzione simbolica?
L'esecuzione simbolica è una tecnica di test del software utile per aiutare la generazione di dati di test e per dimostrare la qualità del programma.
Passaggi per utilizzare l'esecuzione simbolica:
L'esecuzione richiede una selezione di percorsi che vengono esercitati da un insieme di valori di dati. Un programma, che viene eseguito utilizzando i dati effettivi, produce l'output di una serie di valori.
Nell'esecuzione simbolica, i dati vengono sostituiti da valori simbolici con un insieme di espressioni, un'espressione per variabile di output.
L'approccio comune per l'esecuzione simbolica consiste nell'eseguire un'analisi del programma, che si traduce nella creazione di un diagramma di flusso.
Il diagramma di flusso identifica i punti di decisione e le assegnazioni associate a ciascun flusso. Attraversando il diagramma di flusso da un punto di ingresso, viene prodotto un elenco di istruzioni di assegnazione e predicati di ramo.
Problemi con l'esecuzione simbolica:
L'esecuzione simbolica non può procedere se il numero di iterazioni nel ciclo è noto.
Il secondo problema è l'invocazione di qualsiasi codice fuori linea o chiamate di modulo.
L'esecuzione simbolica non può essere utilizzata con gli array.
L'esecuzione simbolica non può identificare percorsi irrealizzabili.
Applicazione di esecuzione simbolica:
Controllo del dominio del percorso
Generazione dei dati di test
Analisi delle partizioni
Debug simbolico