Path: csiph.com!usenet.pasdenom.info!news.redatomik.org!newsfeed.xs4all.nl!newsfeed2a.news.xs4all.nl!xs4all!post.news.xs4all.nl!not-for-mail Return-Path: X-Original-To: python-list@python.org Delivered-To: python-list@mail.python.org X-Spam-Status: OK 0.002 X-Spam-Evidence: '*H*': 1.00; '*S*': 0.00; 'subject:Python': 0.06; 'list).': 0.09; 'received:80.91': 0.09; 'received:80.91.229': 0.09; 'received:gmane.org': 0.09; 'received:list': 0.09; 'tests,': 0.09; 'python': 0.11; 'jan': 0.12; 'wrote': 0.14; 'builtins': 0.16; 'finds': 0.16; 'notations': 0.16; 'received:80.91.229.3': 0.16; 'received:plane.gmane.org': 0.16; 'reedy': 0.16; 'subject: \n ': 0.16; 'subject:1.0': 0.16; 'subject:based': 0.16; 'subject:library': 0.16; 'url:peps': 0.16; 'wider': 0.16; 'wrote:': 0.18; 'library': 0.18; 'module': 0.19; 'examples': 0.20; 'tests': 0.22; 'header:User-Agent:1': 0.23; 'skip': 0.24; 'url:dev': 0.24; 'header:X-Complaints-To:1': 0.27; 'header:In- Reply-To:1': 0.27; 'testing': 0.29; 'gives': 0.31; 'usually': 0.31; '(maybe': 0.31; 'url:python': 0.33; 'actively': 0.33; 'bugs': 0.33; 'cases': 0.33; 'maybe': 0.34; 'beyond': 0.35; 'url:org': 0.36; 'should': 0.36; 'to:addr:python-list': 0.38; 'pm,': 0.38; 'rather': 0.38; 'does': 0.39; 'to:addr:python.org': 0.39; 'received:org': 0.40; 'read': 0.60; 'easy': 0.60; 'ago,': 0.61; 'full': 0.61; 'range': 0.61; 'simple': 0.61; 'such': 0.63; 'believe': 0.68; 'guide:': 0.84; 'hypothesis': 0.84; 'received:fios.verizon.net': 0.84; 'url:latest': 0.91 X-Injected-Via-Gmane: http://gmane.org/ To: python-list@python.org From: Terry Reedy Subject: Re: Hypothesis 1.0: A production quality property-based testing library for Python Date: Mon, 30 Mar 2015 16:37:34 -0400 References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Gmane-NNTP-Posting-Host: pool-98-114-97-173.phlapa.fios.verizon.net User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.5.0 In-Reply-To: X-BeenThere: python-list@python.org X-Mailman-Version: 2.1.19 Precedence: list List-Id: General discussion list for the Python programming language List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Newsgroups: comp.lang.python Message-ID: Lines: 25 NNTP-Posting-Host: 2001:888:2000:d::a6 X-Trace: 1427747912 news.xs4all.nl 2880 [2001:888:2000:d::a6]:43239 X-Complaints-To: abuse@xs4all.nl Xref: csiph.com comp.lang.python:88344 On 3/30/2015 2:44 PM, David MacIver wrote: > Hypothesis is a Python library for turningunit tests into generative > tests, covering a far wider range of cases thanyou can manually. Rather > than just testing for thethings you already know about, Hypothesis goes > out and actively hunts forbugs in your code.It usually finds them, and > when it does it gives you simple and easy to read examples to demonstrate. Iteresting. Some years ago, Vickor Stinner wrote a fuzzing module (fusil?). I believe he found some bugs in the stdlib with it. https://www.python.org/dev/peps/pep-0484/ proposes the addition of a 'typing' module for defining types beyond the builtins and ABCs, such as List(int), Union(tuple, list). If and when it is accepted and added (maybe 3.5, maybe later), you should consider having Hypothesis accept the notations that it can work with. > 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 -- Terry Jan Reedy