GitHub - giorgiosironi/eris: Eris is a porting of Quickcheck and property-based testing tools to the PHP and PHPUnit ecosystem.You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
QuickCheck - Wikipedia
QuickCheck is a software library, a combinator library, originally written in the programming language Haskell, designed to assist in software testing by generating test cases for test suites – an approach known as property testing. It is compatible with the compiler, Glasgow Haskell Compiler (GHC) and the interpreter, Haskell User's Gofer System (Hugs). It is free and open-source software release
QuickCheck++: Main Page
Table of Contents Introduction What is QuickCheck++ Why Would I Want to Use It? How to Get It? Relation to Haskell's QuickCheck License Using QuickCheck++ Defining Properties Verifying Properties Specifying a Precondition Inspecting Input Data Distribution Custom Data Generators General Purpose Generators Special Purpose Generators Data Generator Primitives Printing Property Names Verbose Checking
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - steos/php-quickcheck: generative testing for PHP
GitHub - QuickChick/QuickChick: Randomized Property-Based Testing Plugin for Coq
QuviQ | software quality
GitHub - silentbicycle/theft: property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
GitHub - rpt/eqcmini: Quviq Quickcheck Mini
GitHub - mcandre/rubycheck: a Ruby port of the QuickCheck unit test framework
GitHub - yaakaito/NLTQuickCheck: like haskell quickcheck
QuickCheck / SmallCheck の紹介 〜オートマトンの例を通して〜 - これは圏です
GitHub - mcandre/qc: qc - A C port of the QuickCheck unit test framework