Fscheck Un outil pour tester automatiquement les programmes F #
Télécharger maintenant

Fscheck Classement & Résumé

Fscheck Mots clés

Générateur Bibliothèque Cadre Mettre à jour automatiquement les programmes générateur de classe Bibliothèque de test Cadre de test

Fscheck La description

Fscheck a été conçu pour être un outil de test des programmes F # automatiquement. Le programmeur fournit une spécification du programme, sous la forme de propriétés qui fonctionne, les méthodes ou objets doivent satisfaire et FSCheck teste ensuite que les propriétés contiennent dans un grand nombre de cas générés au hasard. Lors de la rédaction des propriétés, vous écrivez en réalité une spécification testable de votre programme. Les spécifications sont exprimées en F #, à l'aide de combinaisons définies dans la bibliothèque FSCheck. FSCheck fournit aux combinaisons de définir des propriétés, d'observer la distribution des données de test et de définir des générateurs de données de test. Lorsqu'une propriété échoue, FSCHECK affiche automatiquement un exemple minimum exemple. Les cas de test FSCheck et les spécifications sont actuellement mieux écrits à l'aide de F #. Les langues non fonctionnelles telles que C # et VB.NET n'ont pas les fonctions de langue nécessaires pour utiliser efficacement FSCheck. Fscheck pourrait toujours être utile pour les programmes de test écrits dans d'autres langues. Les combinaisons de générateurs peuvent être utilisés dans tout cadre de test pour générer facilement un certain nombre de valeurs aléatoires pour de nombreux types.

Fscheck Logiciels associés