Ich habe PyQCheck, eine Bibliothek, die QuickCheck mit Python ausführen kann, in PyPI registriert.

PyQCheck

PyQCheck wurde Ende August letzten Jahres veröffentlicht. Die ganze Zeit für Python 2.7 veröffentlicht und setup.py erstellt Ich habe es also im Repository gelassen Ich dachte, es sei eine Verschwendung, also habe ich die folgenden Maßnahmen ergriffen.

• Unterstützt Python 3.3 (frühere Serien 3.1, 3.2 und 2.x können nicht garantiert werden) --Registrierung bei PyPI (Vereinfachung der Installation)
• Leicht behandelt mit kleinen Details (Code-Portierung auf init.py, was ich für eine seltsame Antwort halte-> Gegenmaßnahmen gegen Verzeichnisimport ...)

Es hat nur schlechte Eigenschaften, aber ich denke, es kann ziemlich gut verwendet werden.

Wie es geschaffen wurde

Ich habe die Details vergessen, aber die Bibliothek mit dem Namen QuickCheck war an einem bestimmten Ort in einem sehr kleinen Bereich aufgeregt. QuickCheck-like für Leute, die verschiedene Lieblingssprachen in ihren Lieblingsprogrammiersprachen haben Ich denke, das lag daran, dass ich ein Framework erstellt habe, das das Testen ermöglicht.

Was ist zu tun

Einfach ausgedrückt, verhält es sich wie folgt

--Erstellen Sie Ihre eigene Funktion, die Argumente akzeptiert.

• Geben Sie einen Wert ein und führen Sie ihn aus, der den Bereich garantiert, der für dieses Argument verarbeitet werden kann, und der den Typ garantiert.
• Bestimmen Sie, ob der von der Funktion zurückgegebene Wert True oder False ist oder ob eine Ausnahme ausgelöst wird

Lassen Sie es uns vorerst verwenden

Betriebsumgebung

Die Betriebsumgebung hat die folgenden Bedingungen

• Python 3.3 oder höher muss installiert sein

Installation

Sie können es mit dem folgenden Befehl installieren. ... Bereiten Sie die Installationsumgebung mit pyvenv vor, um eine Verschmutzung der Systemumgebung zu vermeiden. Lassen Sie beispielsweise Distribute fallen und setzen Sie easy_install ein, um die Installation vorzubereiten.

> mkdir ~/Sandbox/PyQCheck
> cd ~/Sandbox/PyQCheck
> pyvenv .venv
> source .venv/bin/activate
> curl -O http://python-distribute.org/distribute_setup.py
> python distribute_setup.py
> easy_install PyQCheck

Dies ist das Ende der Vorbereitung.

Mal sehen, wie es funktioniert

Das Code-Snippet für das Operationsbeispiel ist unten angefügt.

equal_length.py

# -*- coding:utf-8 -*-

from pyqcheck import PyQCheck, Arbitrary

def equal_length(a, b):
  return len(a) == len(b)

PyQCheck(verbose=True).add(
  Arbitrary(
    ('string', dict(min=10, max=10)), 
    ('string', dict(min=10, max=10))
  ).property(
    'len(a) == len(b)', equal_length
  )
).run(10).result()

Lauf

Wenn Sie es ausführen, wird es in der folgenden Form ausgegeben.

Was machst du

1. Für eine Funktion, bei der Arbitrary zwei Argumente akzeptiert, beträgt die minimale Länge 10, die maximale 10, dh 10 Zeichen. Übergeben Sie eine Zeichenfolge
2. Gleiche Länge wird an a und b übergeben
3. Gibt True zurück, da es sich um eine Zeichenfolge gleicher Länge handelt
4. Wenn Sie den Test zehnmal versuchen, ist alles in Ordnung, daher wird er mit dem Symbol ☀ gefüllt

Nach alldem

Für die zu testende Funktion als Verarbeitung des von der Funktion empfangenen automatischen Arguments Generieren Sie entsprechend einen Wert, der den unterstützten Typ und die unterstützte Datenlänge usw. angibt. Besteht es den Test richtig? Kann überprüft werden. Versuchen Sie es 100 Mal, 1000 Mal, 10000 Mal, und wenn Sie gehen, ist es wahrscheinlich in Ordnung, Ich fühle mich so. (Obwohl es sich möglicherweise von der ursprünglichen Idee von QuickCheck unterscheidet ...)

Ändern Sie den Schreibstil

Sie können auch mit einem Dekorateur schreiben.

equal_length.py

# -*- coding:utf-8 -*-

from pyqcheck import PyQCheck, set_arbitrary

@set_arbitrary(
  ('string', dict(min=10, max=10)), 
  ('string', dict(min=10, max=10))
)
def equal_length(a, b):
  '''
  len(a) == len(b)
  '''
  return len(a) == len(b)

PyQCheck(verbose=True).run(10).result()

Ich denke, diese Art zu schreiben ist sauberer ...

Ungewöhnliche Verwendung

Sie können Folgendes auch als ungewöhnliche Verwendung von PyQCheck verwenden. Lassen Sie uns das folgende Skript ausführen. Für die Ausführung muss Python3 mit dem Link mit aktiviertem sqlite3 erstellt werden.

insert_random_value_to_the_sqlite.py

# -*- coding:utf-8 -*-

import sqlite3
from pyqcheck import PyQCheck, set_arbitrary

DB_NAME = 'test.db'

@set_arbitrary(
  ('integer', dict(min=0, max=100)),
  ('string', dict(min=3, max=10))
)
def insert_to_sqlite3(age, name):
  con = sqlite3.connect(DB_NAME)
  cur = con.cursor()
  cur.execute('''
    SELECT `name` FROM `sqlite_master` 
      WHERE `type`='table' AND name='users';
  ''')

  if cur.fetchone() is None:
    cur.execute('''
      CREATE TABLE `users` (
        `id` INTEGER NOT NULL PRIMARY KEY,
        `age` INTEGER NOT NULL,
        `name` STRING NOT NULL
      );
    ''')
    con.commit()

  cur.execute('''
    INSERT INTO `users` (`age`, `name`) 
      VALUES (?, ?)
  ''', (age, name))
  con.commit()
  
  return True

PyQCheck(verbose=True).run(30).result()

Lauf

Versuchen Sie es auszuführen.

Da test.rb im aktuellen Verzeichnis erstellt wird, schauen wir uns den Inhalt an ...

Verwenden Sie die Eigenschaft, einen Textwert von PyQCheck zu generieren und an eine Funktion zu übergeben. Es wird gesagt, dass es verwendet wurde, um Dummy-Daten zu generieren. Amerikanische Staaten, Weltlandnamen, Versuchen Sie, häufig verwendete Vor- und Nachnamendaten als willkürlich zu erstellen Wenn Sie das tun, kann es meiner Meinung nach verwendet werden, um Dummy-Daten zu generieren.

von jetzt an

--Erlauben Sie Benutzern und Benutzern, ihre eigenen definierten Arbitrary zu erstellen

• Streben nach kontinuierlicher Freisetzung
• Ausgabe in Datei

Ich habe das Paket bei PyPI registriert und möchte daher die Wartung fortsetzen.