Aprove. Ambiente di verifica del programma automatizzato
Scarica ora

Aprove. Classifica e riepilogo

Aprove. Tag

Tester Verifica prove Ambiente di prova verifica dei programmi Provatura del codice

Aprove. Descrizione

Il sistema Aprove può essere utilizzato per la terminazione automatizzata e le prove di terminazione più interne dei sistemi di riscrittura dei termini (condizionati) (TRSS), programmi di Prolog, programmi funzionali e imperativi. Aprove attualmente offre numeriche tecniche di trasformazione, tecniche di terminazione di base (compresi gli ordini di percorso ricorsivi, gli ordini di Knut Bendix, gli ordini polinomiali, le partite RFC), le coppie di dipendenza, compresi i recenti rifiniture come restringimento, riscrittura e istanza delle coppie di dipendenza, e il principio di cambio di dimensioni , anche in combinazione con coppie di dipendenza. Lo strumento è scritto in Java e le prove possono essere eseguite sia in modalità completamente automatizzata o in una modalità interattiva tramite un'interfaccia utente grafica. Dare Aprove a provare a vedere quanto può essere utile nei tuoi progetti di sviluppo.

Aprove. Software correlato