#6343: Adds SageObject.check() generic testing framework
-------------------------+--------------------------------------------------
Reporter: nthiery | Owner: nthiery
Type: enhancement | Status: new
Priority: major | Milestone: sage-4.0.3
Component: doctest | Keywords:
Reviewer: | Author: nthiery
Merged: |
-------------------------+--------------------------------------------------
This patch adds a .check() method in SageObject which runs systematic
checks on the object. Here is a typical call:
sage: ZZ.check(verbose = True)
running test_an_element ... done
running test_element_pickling ... done
running test_not_implemented_methods ... done
running test_pickling ... done
In practice, o.check() runs all the methods named test_* of the object o.
The test_* methods are typically implemented by abstract super classes and
in particular via categories, in order to enforce standard behavior and
API (test_pickling, test_an_element), or provide mathematical sanity
checks (test_associativity).
For consistent error reporting, the test_* methods in turn must use the
gadget sage.misc.instance_tester.InstanceTester to actually run the tests.
This patch is a prerequisite for #5891 (category framework), which uses it
intensively. Some examples in the patch illustrate this, and are therefore
temporarily disabled.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6343>
Sage <http://sagemath.org/>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
