Fscheck. Uno strumento per testare automaticamente i programmi F #
Scarica ora

Fscheck. Classifica e riepilogo

Fscheck. Tag

Generatore Biblioteca Struttura automaticamente programmi di aggiornamento Generatore di classe Biblioteca di prova Quadro di prova

Fscheck. Descrizione

Fscheck è stato progettato per essere uno strumento per testare automaticamente i programmi F #. Il programmatore fornisce una specifica del programma, sotto forma di proprietà che funzioni, metodi o oggetti dovrebbero soddisfare, e il fscheck è quindi verificare che le proprietà detengono in un gran numero di casi generati a caso. Durante la scrittura delle proprietà, stai effettivamente scrivendo una specifica testabile del tuo programma. Le specifiche sono espresse in F #, utilizzando combinatrici definite nella biblioteca Fscheck. Fscheck fornisce i combinatori per definire le proprietà, osservare la distribuzione dei dati di test e definire i generatori di dati di test. Quando una proprietà fallisce, Fscheck visualizza automaticamente un contatore minimo. FSCheck I casi di test e le specifiche sono attualmente scritti migliori utilizzando F #. Lingue non funzionali come c # e vb.net non mancano le funzionalità linguistiche necessarie per utilizzare efficacemente fscheck. Fscheck potrebbe ancora essere utile per il test dei programmi scritti in altre lingue. I combinatori del generatore possono essere utilizzati in qualsiasi framework di test per generare facilmente un numero di valori casuali per molti tipi.

Fscheck. Software correlato