Home > By category > Developer Tools >Management & Distribution > FsCheck



FsCheck

  • Downloads: 
  • Views: 
  • Rating:

FsCheck was designed to be a tool for testing F# programs automatically. The programmer provides a specification of the program, in the form of properties which functions, methods or objects should satisfy, and FsCheck then tests that the properties hold in a large number of randomly generated cases.

While writing the properties, you are actually writing a testable specification of your program. Specifications are expressed in F#, using combinators defined in the FsCheck library.

FsCheck provides combinators to define properties, observe the distribution of test data, and define test data generators. When a property fails, FsCheck automatically displays a minimal counter example.

FsCheck test cases and specifications are currently best written using F#. Non-functional languages like C# and VB.net lack the language features necessary to use FsCheck effectively.

FsCheck still might be useful for testing programs written in other languages. The generator combinators can be used in any testing framework to easily generate a number of random values for many types.

Free download from Shareware Connection - FsCheck was designed to be a tool for testing F# programs automatically.

Publisher: Kurt Schelfthout | License: Shareware
Version: 0.8.2 | Platform: WinOther
Released Date: | Rating: 0 | Title: FsCheck

Author Url: http://codeplex.com
Program Info Url: http://codeplex.com
Download Url: http://fscheck.codeplex.com/downloads/get/125486

FsCheck keywords:
FsCheck related downloads:

php Class Generator - PCG - PHP Class Generator will generate PHP 5 source code from your mysql BD model. PCG The internal optimizer self create objects on demand and provide fluid interface. You can plug-it on Zend Framework.

Beanfix Unit Testing Framework - Beanfix is a testing framework based on JUnit 1.

Java Class File Library - Java class files parser to help you with your development.

PHP Class Generator - The PHP Class Generator is a small windows desktop application that allows a PHP programmer to generate Entity classes from a MySQL database table. For instance, if the user has a table in his or her MySQL database called customers.

The Grinder - A testing framework to help you with your development

Shareware Connection periodically updates pricing and software information of 'FsCheck' from company source 'Kurt Schelfthout' , so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft,  Using 'FsCheck' crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of FsCheck.

New Reviews

Safe In Cloud - It is quite difficult to find any computer users nowadays who do not need to use the web, for any purpose. Whether it is for education or entertainment, the web is your best resource. You also need to use various online services for banking, ...

Voila - Mac users have never felt much hassle as far as image editing goes, given the fact Apple itself offers two compelling image editing suites. However, serious users may find the inbuilt screen capturing options basic, the fact they are much ahead ...

Poser - The concept of 3D animation and modeling may seem amazing to the viewers but those who are into the industry know it is no cakewalk. Majority of 3D animation and modeling software known for some of the amazing animations and CGI work in films ...

Adobe SpeedGrade - Adobe has been a long time player in video editing and post production sector, with apps like Premier Pro and AfterEffects winning accolades and keeping customers hooked for several years. To cater to a niche section of the target users, it has ...

Auslogics BitReplica - With storage capacity and options going up with time, PC users have got numerous options to back up their important data, whether you need to store your music, movie collection or other types of data safely, using the PC’s HDD may not be ...

Apple Aperture - It is quite true that Macintosh users generally get fewer tools to pick from than Windows users but they have some solid and impressive software to work with. One such example is Apple’s professional image editing and organizing tool, ...

Freemake Video Converter - Video conversion can become a necessity for average PC users who find it increasingly hard to manage an ever growing collection of media and video files. The DVDs, videos obtained from web and clips shot with mobile devices keep growing. Over ...

PhotoRescue PC EN - When you deal with computers and data, recovering deleted or lost data may become a necessity sometimes. The same thing can happen with digital images. When that happens, you need to use third party image recovery software. One such example is ...

Stellar Speedup Mac - While Macintosh computers are known for their stellar speed and multitasking prowess they also become subjected to pitfalls of usage. After prolonged use, junk files pile up and bits of installed apps remain scattered on the hard disk. These, ...

CleanMyDrive - PC experts unanimously agree that using Macs tend to be a smoother and faster experience than running Windows based PCs but the Apple laptops and desktops also need maintenance and performance tweaking, occasionally. Regular web browsing, ...




New Downloads

2D Barcode FMX Components

A FireMonkey components set
designed for generating 2D
barcode symbols including
QRCode, PDF417 etc. The
database ...

Barcode Label Printing SDK
for .NET

Allows you to integrate the
barcode label design and
printing functionality into
your .NET applications with a
few steps. ...

Zeus IDE

A powerful, language generic
IDE. Features include Brief,
Epsilon, Emacs support,
project workspace file
management, ...

Vallum Halo Manager

Halo Manager is a full
featured network monitoring
and management solution with a
NextGen architecture. Easy to
install ...

String-O-Matic

A shareware program that
performs search and replace
operations on multiple
substrings in multiple files.
...

Spire.Office

Spire.Office for .NET is a
compilation of every .NET
component offered by
e-iceblue. It supports to work
with word, ...

CudaText

Advanced code editor. Syntax
highlighting for lot of
languages (more than 120
types). Supports UTF8
encoding. ...

Virtual Serial Port ActiveX

Create virtual serial ports
directly from your application
and work with them. Created
virtual ports look and behave
like ...

PCLTool SDK Option III

PCLTool SDK Option III is
designed for Capturing and
Converting PCL to PDF or PCL
to PDF/A. Option III converts
COMPLEX ...

SMTP/POP3/IMAP Email Engine
for Delphi

SMTP/POP3/IMAP Delphi email
component uses a simple
interface to send, receive
and parse mail, including HTML
and MIME ...

MySQL Data Access
Components

MyDAC (Data Access Components
for MySQL) is an enhanced
component library for fast
direct access to MySQL from
Delphi, ...

concat

Concatenate text files and SQL
Scripts with placeholders and
Hierarchical concatenation to
build and maintain SQL Patch
...