HOL μικρή από Ανώτερης Τάξης Λογική είναι ένα προγραμματιστικό περιβάλλον στο οποίο θεωρήματα μπορούν να αποδειχθούν και τα εργαλεία απόδειξη εφαρμοστεί.Built-in διαδικασίες λήψης αποφάσεων και provers θεώρημα μπορεί να δημιουργήσει αυτόματα πολλές απλές...
TestManager είναι Trac plugin για τη δημιουργία περιπτώσεις δοκιμής, να τις οργανώσετε σε καταλόγους, τη δημιουργία σχεδίων δοκιμής και να παρακολουθείτε την κατάσταση της εκτέλεσής τους και το αποτέλεσμα.Σε αντίθεση με τις άλλες πρόσθετες λειτουργίες...
EXQUIRES - Αξιολογική και επεκτάσιμο ποσοτική Εικόνα Re-Διεύρυνση Σουίτα Τεκμηρίωση & Οδηγίες Παρακαλούμε επισκεφθείτε: http://exquires.rivetsforbreakfast.comΟδηγίες Βασική Εγκατάσταση EXQUIRES μπορεί να εγκατασταθεί από PyPI χρησιμοποιώντας PIP:PIP...
Py.Saunter είναι ένα σχέδιο το οποίο βασίζεται στη μύτη & nbsp?. Θα βασίζεται σε Py.Test πολύ σύντομα. installation Προκειμένου να καταστεί η πιο έξω από το σελήνιο και Python? και να χρησιμοποιήσετε τον κωδικό παράδειγμα εδώ, θα πρέπει να& Nbsp? Sudo PIP...
noseOfYeti είναι ένα plugin για τη μύτη, εμπνευσμένο από http://github.com/fmeyer/yeti, το οποίο χρησιμοποιεί έναν κωδικοποιητή στυλ να παρέχουν ένα στυλ Rspec BDD DSL για τις δοκιμές Python. Απαιτήσεις : Python ...
λάβα-ταμπλό είναι μια αποθήκη για τα αποτελέσματα των δοκιμών.Πακέτο Τεκμηρίωσης Απαιτήσεις : ...
μύτη-υποδοχή-whitelist είναι ένα plugin μύτη που μπαλώματα socket.getaddrinfo για μη-τοπικές υποδοχές, επιτρέποντάς σας να συνδεθείτε είτε όλες τις εμφανίσεις ή να προκαλέσει την παραβατική την αποτυχία του...
eutester είναι ένα πλαίσιο δοκιμών για την AWS συμβατό σύννεφα.Πακέτο Τεκμηρίωσης Απαιτήσεις : Python boto ...
jstestnetlib είναι μια μονάδα Python σχεδιαστεί για να εκτελέσει το JavaScript δοκιμές σε ένα διακομιστή JavaScript TestNet. Εγκατάσταση Χρησιμοποιώντας PIP εκτελέσει:PIP εγκαταστήσετε git + git: //github.com/kumar303/jstestnetlib.git#egg=jstestnetlib...
pyfix είναι μια μονάδα Python σχεδιαστεί ειδικά για το γράψιμο λειτουργίες ελέγχου. Εγκατάσταση & Nbsp? Pip εγκατάσταση pyfix Χρήση Εδώ είναι ένα σημαντικό παράδειγμα:από τεστ εισαγωγής pyfix, κύριααπό pyassert assert_that εισαγωγήςtestdef...
