Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.python > #88342 > unrolled thread

Hypothesis 1.0: A production quality property-based testing library for Python

Back to article view | Back to comp.lang.python

Contents

  Hypothesis 1.0: A production quality property-based testing library for Python David MacIver <david@drmaciver.com> - 2015-03-30 20:44 +0200
    Re: Hypothesis 1.0: A production quality property-based testing library for Python Paul Rubin <no.email@nospam.invalid> - 2015-03-30 17:51 -0700
      Re: Hypothesis 1.0: A production quality property-based testing library for Python David MacIver <david@drmaciver.com> - 2015-03-31 08:41 +0200

#88342 — Hypothesis 1.0: A production quality property-based testing library for Python

[Multipart message — attachments visible in raw view] — view raw

Hypothesis is a Python library for turning unit tests into generative tests,
covering a far wider range of cases than you can manually. Rather than just
testing for the things you already know about, Hypothesis goes out and
actively hunts for bugs in your code. It usually finds them, and when it
does it gives you simple and easy to read examples to demonstrate.

Hypothesis is based on Quickcheck (
https://wiki.haskell.org/Introduction_to_QuickCheck2) but is designed to
have a naturally Pythonic API and integrate well with Python testing
libraries.

It's easy to use, extremely solid, and probably more devious than you
are at finding
edge cases.

The 1.0 release of Hypothesis has a stable and well documented public API.
It's more than ready for you to use and it's easy to get started.

Full documentation is available at
http://hypothesis.readthedocs.org/en/latest/, or if you prefer you can skip
straight to the quick start guide:
http://hypothesis.readthedocs.org/en/latest/quickstart.html

[toc] | [next] | [standalone]

#88358

David MacIver <david@drmaciver.com> writes:
> Hypothesis is based on Quickcheck
> (https://wiki.haskell.org/Introduction_to_QuickCheck2)

This is great.  Have you looked at the Erlang version of Quickcheck?  It
may have aspects more directly applicable to Python, since Erlang is
dynamically typed like Python is.

[toc] | [prev] | [next] | [standalone]

#88366

[Multipart message — attachments visible in raw view] — view raw

On 31 March 2015 at 02:51, Paul Rubin <no.email@nospam.invalid> wrote:

> David MacIver <david@drmaciver.com> writes:
> > Hypothesis is based on Quickcheck
> > (https://wiki.haskell.org/Introduction_to_QuickCheck2)
>
> This is great.  Have you looked at the Erlang version of Quickcheck?  It
> may have aspects more directly applicable to Python, since Erlang is
> dynamically typed like Python is.
>

I actually haven't looked at it much. I've read some of the associated
papers, but due to a mix of my not really knowing erlang well and it being
proprietary it's not as useful for idea mining as I'd like it to be. I have
some friends who are more extensive users of it who I've talked to a bit
about it for feature comparisons though.

[toc] | [prev] | [standalone]

Back to top | Article view | comp.lang.python

csiph-web