qc_pyext
QuickCheck and reference testing extension for Python programs
python
quickcheck
testing
property-based testing
Dependencies
- Kaida-Amethyst/python0.1.7
- moonbitlang/quickcheck0.9.10
#QuickCheck Extension for Python
An extension for MoonBit's QuickCheck library to facilitate reference testing of Python implementations against MoonBit implementations (WIP).
#Idea
Reference Testing: suppose you have a function (in MoonBit) and (in Python) that you want to verify are equivalent on a domain , but currently they have different data representations.
Here we define essential componenets for reference testing between MoonBit and Python implementations using QuickCheck.
- : Embedding from MoonBit data representation to Python data representation (The reverse is not always possible nor easy)
- : Convert python data into string for comparison
- : Equivalence relation on strings (in python)
The equivalence of implementation and (denoted as ) on domain can be defined as follows:
PyEnumFrom
impl PyEnumFrom for Boolimpl PyEnumFrom for Intimpl PyEnumFrom for Int64impl PyEnumFrom for Doubleimpl PyEnumFrom for Stringimpl PyEnumFrom for PyObjectEnumimpl PyEnumFrom for Tuple2[A, B]impl PyEnumFrom for Tuple3[A, B, C]fn[A : PyEnumFrom, B : PyEnumFrom, C : PyEnumFrom] from_py_object(self : PyObjectEnum?) -> (A, B, C) raise ConvErrorPyObjectInto
impl PyObjectInto for Boolimpl PyObjectInto for Intimpl PyObjectInto for Int64impl PyObjectInto for Doubleimpl PyObjectInto for Stringimpl PyObjectInto for PyBoolimpl PyObjectInto for PyCallableimpl PyObjectInto for PyDictimpl PyObjectInto for PyFloatimpl PyObjectInto for PyIntegerimpl PyObjectInto for PyListimpl PyObjectInto for PyModuleimpl PyObjectInto for PyObjectimpl PyObjectInto for PyObjectEnumimpl PyObjectInto for PyStringimpl PyObjectInto for Array[T]CallError
pub suberror CallError {
MtdNotFound(String)
UnexpectedReturnType(String)
RuntimeError(PyRuntimeError)
}TypedCallable
type TypedCallable[A, R]TypedCallable::run
fn[A : PyObjectInto, R : PyEnumFrom] TypedCallable::run(self : TypedCallable[A, R], a : A) -> R raiseTypedPyDict
type TypedPyDict[V]TypedPyTuple2
type TypedPyTuple2[A, B]impl PyObjectInto for TypedPyTuple2[T, U]impl Show for TypedPyTuple2[A, B]impl Arbitrary for TypedPyTuple2[A, B]fn[A : Arbitrary + PyObjectInto, B : Arbitrary + PyObjectInto] arbitrary(size : Int, rng : RandomState) -> TypedPyTuple2[A, B]TypedPyTuple2::new
TypedPyTuple3
type TypedPyTuple3[A, B, C]impl Show for TypedPyTuple3[A, B, C]impl Arbitrary for TypedPyTuple3[A, B, C]fn[A : Arbitrary + PyObjectInto, B : Arbitrary + PyObjectInto, C : Arbitrary + PyObjectInto] arbitrary(size : Int, rng : RandomState) -> TypedPyTuple3[A, B, C]TypedPyTuple3::new
fn[A : PyObjectInto, B : PyObjectInto, C : PyObjectInto] TypedPyTuple3::new(a : A, b : B, c : C) -> TypedPyTuple3[A, B, C]invoke_binary
fn[A : PyObjectInto, B : PyObjectInto] invoke_binary(sel : A, other : B, mtd : String) -> PyObjectEnum? raise PyRuntimeErrorinvoke_unary
py_equal
Checks equality between two Python objects using the __eq__ method
of the first object.
py_tuple2
fn[A : Arbitrary + PyObjectInto, B : Arbitrary + PyObjectInto] py_tuple2() -> Gen[TypedPyTuple2[A, B]]Source Files
Install
Download zipQuickCheck and reference testing extension for Python programs
pythonquickchecktestingproperty-based testing
0.1.1
Apache-2.0
Updated 7 months ago
1K downloadsDependencies
- Kaida-Amethyst/python0.1.7
- moonbitlang/quickcheck0.9.10