HTTP/2 302 date: Fri, 26 Dec 2025 09:53:32 GMT content-type: text/html; charset=utf-8 content-length: 0 location: https://phpspec.net/en/stable/ server: cloudflare cf-ray: 9b3fb112bc55d3d4-BLR cf-cache-status: EXPIRED cache-control: max-age=1200 content-language: en vary: Accept-Language, Accept-Encoding cdn-cache-control: public cross-origin-opener-policy: same-origin referrer-policy: no-referrer-when-downgrade x-backend: web-i-01a1f1361d1b64d08 x-content-type-options: nosniff x-rtd-domain: phpspec.net x-rtd-force-addons: true x-rtd-project: phpspec x-rtd-project-method: custom_domain x-rtd-redirect: system x-rtd-version-method: path x-served: Django-Proxito set-cookie: __cf_bm=Zs6etqcGvVWOUOx98oOcRjl8Lsdx1daYP3GwErSiGwk-1766742812-1.0.1.1-qo08A4Zf2QA62CH.12Dbh1U0B0yZot9H5QVLF7yGWelpNBxm2501GqVgUPTzB4EnFGKpx8jB19oKfL_usespwnf11axmu15F9j1GBnVBNMs; path=/; expires=Fri, 26-Dec-25 10:23:32 GMT; domain=.phpspec.net; HttpOnly; Secure; SameSite=None set-cookie: _cfuvid=LxTFZ5foFIHn_umjJSNVpGYgH4YeqGmlSC4OsLu2AX8-1766742812972-0.0.1.1-604800000; path=/; domain=.phpspec.net; HttpOnly; Secure; SameSite=None alt-svc: h3=":443"; ma=86400 HTTP/2 200 date: Fri, 26 Dec 2025 09:53:33 GMT content-type: text/html server: cloudflare cf-ray: 9b3fb115193cd3d4-BLR cf-cache-status: HIT access-control-allow-origin: * cache-control: max-age=1200 content-encoding: gzip etag: W/"002ad4b7d2c77ac06220162647725897" last-modified: Fri, 29 Jan 2021 12:08:25 GMT vary: Accept-Encoding access-control-allow-methods: HEAD, OPTIONS, GET cdn-cache-control: public cross-origin-opener-policy: same-origin referrer-policy: no-referrer-when-downgrade x-amz-id-2: LcYQqwUhmqbz23wWtm1RsqOyZMYcNDPs7RpypW8Oy11084WKwsU99FSsXXO6rj1ZBWDMg7Zj8yMiplNdZs16H6Cv06bR4GwFqcEzZwp/KoE= x-amz-meta-mtime: 1592338323 x-amz-request-id: KNE8VXG6DJ8FW4NZ x-backend: web-i-04795b5fdec447abf x-content-type-options: nosniff x-rtd-domain: phpspec.net x-rtd-force-addons: true x-rtd-path: /proxito/html/phpspec/stable/index.html x-rtd-project: phpspec x-rtd-project-method: custom_domain x-rtd-resolver-filename: / x-rtd-version: stable x-rtd-version-method: path x-served: Nginx-Proxito-Sendfile alt-svc: h3=":443"; ma=86400

• main
• phpspec manual
• prophecy repo
• phpspec repo

phpspec

A php toolset to drive emergent
design by specification.

phpspec
repository phpspec
manual

Quick Start¶

Create a composer.json file:

{
    "require-dev": {
        "phpspec/phpspec": "^6.2"
    },
    "config": {
        "bin-dir": "bin"
    },
    "autoload": {"psr-0": {"": "src"}}
}

Follow the instructions on this page to install composer: https://getcomposer.org/download/.

Install phpspec with composer:

composer install

Start writing specs:

bin/phpspec desc Acme/Calculator

Learn more from the documentation.