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.
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
Jadx
Setup Builder
EXECryptor
QSetup Installation Suite
WTM CD Protect
Professional Licence Manager
ShareGuard Copy Protection
Software Planner
ActiveX Windows NT/2000 group and account UserManager
CodeDepot
Easy Pocket PC Installer
Code-Lock
Visual Patch
Logic Protect EXE Creator
C & C++
Components & Libraries
Databases & Networks
Delphi
Development Kits
Editors, IDEs & Coding Utilities
Help File Tools
Installation Builders
Integration Tools
Java
JavaScript
Languages - Others
Macro Schedulers
Management & Distribution
Generator Cool
Generator Cover
Generator Dao
Generator C Dao
Alchemist Code Generator
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.
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, ...

