Download the PHP package steos/php-quickcheck without Composer
On this page you can find all versions of the php package steos/php-quickcheck. It is possible to download/install these versions without Composer. Possible dependencies are resolved automatically.
Download steos/php-quickcheck
More information about steos/php-quickcheck
Files in steos/php-quickcheck
Package php-quickcheck
Short Description a generative testing library
License BSD-3-Clause
FAQ
Example:
In general, it is recommended to use always a project to download your libraries. In an application normally there is more than one library needed.
- Some hosting areas are not accessible by a terminal or SSH. Then it is not possible to use Composer.
- To use Composer is sometimes complicated. Especially for beginners.
- Composer needs much resources. Sometimes they are not available on a simple webspace.
- If you are using private repositories you don't need to share your credentials. You can set up everything on our site and then you provide a simple download link to your team member.
- Simplify your Composer build process. Use our own command line tool to download the vendor folder as binary. This makes your build process faster and you don't need to expose your credentials for private repositories.
Informations about the package php-quickcheck
PHPQuickCheck
PHPQuickCheck is a generative testing library for PHP based on clojure.test.check.
Don't write tests. Generate them. - John Hughes
Huh?
Generative testing, also called property-based testing, is about describing the behaviour of your system in terms of properties that should hold true for all possible input.
Quickstart
Install PHPQuickCheck:
Create a property test test/stringsAreNeverNumeric.php:
And run quickcheck against it:
Documentation
- CLI Reference
- Writing CLI Tests
API
- Introduction
- PHPUnit Support
- Using Annotations
- Generator Examples
Other Resources
xdebug
PHPQuickCheck uses a lot of functional programming techniques which leads to a lot of nested functions. With xdebug default settings it can quickly lead to this error:
This happens due to the infinite recursion protection setting xdebug.max_nesting_level.
Best is to disable this or set it to a high value.
The phpunit config sets it to 9999.
Performance
-
Disable xdebug to get tests to run faster. It has a huge impact on the runtime performance.
- Use the GMP extension. The RNG will use the gmp functions if available. Otherwise it falls back to very slow bit-fiddling in php userland.
Project Status
PHPQuickCheck is somewhat experimental. The core functionality of clojure.test.check (v0.5.9, August 2014) has been implemented. There have been a number of improvements to clojure.test.check since the initial port which have not been implemented yet.
Contributing
All contributions are welcome.
Feel free to fork and send a pull request. If you intend to make major changes please get in touch so we can coordinate our efforts.
Dev Setup
The repository contains a Dockerfile to quickly set up a dev environment.
It is based on the php:7.3.18-cli image and adds xdebug, gmp and composer.
The image also contains a small script toggle-ext to toggle php extensions on and off:
Credits
All credit goes to clojure.test.check, this project is mostly just a port.
Requirements
Requires PHP 7.3.x with 64 bit integers. The gmp extension is recommended but not required.
License
Copyright © 2022, Stefan Oestreicher and contributors.
Distributed under the terms of the BSD (3-Clause) license.
