Wikipedia

Generazione di programmi di prova automatici: differenze tra le versioni

Naviga nella cronologia in modo interattivo
← Differenza precedenteDifferenza successiva →
annullaFrescoBot (discussione | contributi)
Bot
3 592 630 modifiche
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
FrescoBot (discussione | contributi)
Bot
3 592 630 modifiche
FrescoBot (discussione | contributi)
Bot
3 592 630 modifiche
m Bot: niente spazio dopo l'apostrofo
Riga 30:
 
*Gli algoritmi della prima generazione come "differenza booleana" e "proposizione letterale" non erano pratici da mettere in atto sul computer.
*L' '''Algoritmo D''' fu il primo Algoritmo generatore di prove in termini di fabbisogno di memoria. L'algoritmo D ha introdotto la "notazione D" che continua ad essere usata in quasi tutti gli algoritmi degli ATPG.
*'''Path-Oriented Decision Making''' ([[PODEM]]) è un miglioramento dell'algoritmo D. Il PODEM è stato creato nel 1981 quando deficienze nell'Algoritmo D si evidenziarono nel momento in cui innovazioni progettuali si risolsero in circuiti che l'Algoritmo D non era in grado di realizzare.
*'''Fan-Out Oriented''' ([[FAN Algorithm]]) è un miglioramento del PODEM. Limita l'insieme delle soluzioni possibili per ridurre il tempo computazionale ed accelera il [[backtracking]].
Estratto da "https://it.wikipedia.org/wiki/Generazione_di_programmi_di_prova_automatici"