Fscheck Una herramienta para probar los programas F # automáticamente
Descargar ahora

Fscheck Clasificación y resumen

Fscheck Etiquetas

generador Biblioteca Marco de referencia Actualizar automáticamente programas generador de clase Biblioteca de pruebas Marco de prueba

Fscheck Descripción

FSCHECK fue diseñado para ser una herramienta para probar los programas F # automáticamente. El programador proporciona una especificación del programa, en forma de propiedades que funciones, métodos u objetos deben satisfacer, y FSCHECK, luego pruebe que las propiedades se mantienen en una gran cantidad de casos generados aleatoriamente. Mientras escribe las propiedades, en realidad está escribiendo una especificación de su programa. Las especificaciones se expresan en F #, utilizando combinadores definidos en la biblioteca FSCHECK. FSCHECK proporciona combinadores para definir propiedades, observar la distribución de los datos de prueba y definir los generadores de datos de prueba. Cuando una propiedad falla, FSCHECK muestra automáticamente un ejemplo de contador mínimo. Los casos de prueba de FSCheck y las especificaciones actualmente se escriben mejor utilizando F #. Los idiomas no funcionales como C # y VB.NET carecen de las características del idioma necesarias para usar FSCHECK de manera efectiva. FSCheck aún podría ser útil para los programas de prueba escritos en otros idiomas. Los combinadores del generador se pueden usar en cualquier marco de prueba para generar fácilmente una serie de valores aleatorios para muchos tipos.

Fscheck Software relacionado