HOL μικρή από Ανώτερης Τάξης Λογική είναι ένα προγραμματιστικό περιβάλλον στο οποίο θεωρήματα μπορούν να αποδειχθούν και τα εργαλεία απόδειξη εφαρμοστεί.Built-in διαδικασίες λήψης αποφάσεων και provers θεώρημα μπορεί να δημιουργήσει αυτόματα πολλές απλές...
openstack.nose_plugin είναι ένα plugin μύτη που παρέχει nosetests εξόδου για να μιμηθεί την έξοδο της run_tests.py OpenStack του. installation & Nbsp? Pip εγκατάσταση openstack.nose_plugin Χρήση Οι ακόλουθες επιλογές είναι availible:& Nbsp? -...
expecter σας βοηθά να γράψετε ισχυρισμούς. Ποτέ ξανά δεν θα ξεχάσετε το οποίο αναμένεται και η οποία είναι πραγματική!Βασικές προσδοκίες είναι εύκολο:& Nbsp? >>> Από την εισαγωγή expecter αναμένουν& Nbsp? >>> Περιμένουμε («κάποια» + «πράγμα») == «κάτι»&...
noseenv είναι ένα plugin μύτη για να προσθέσετε τις επιλογές της μορφής "--env ENVIRONMENT_VARIABLE = VALUE".- PyPI: http://pypi.python.org/pypi/noseenv- Travis CI: http://travis-ci.org/#!/msabramo/python-noseenvRequirements:Python...
προβοσκίδα είναι μια προέκταση μύτη που διευκολύνει τον έλεγχο υψηλότερο επίπεδο.Αλλαγές πώς οι τάξεις δοκιμή ανακαλύφθηκε από αναγκάζοντάς τους να εγγραφούν μέσω διακοσμητές που περιέχουν χρήσιμες μεταδεδομένα, όπως αυτό των ομάδων στις οποίες...
του έργου Pulse είναι ένα αυτοματοποιημένο κατασκευής (ή συνεχής ενσωμάτωση) εξυπηρετητή σχεδιαστεί για να συνεργαστούμε μαζί σας για να διασφαλιστεί η ακεραιότητα του κωδικού σας.Pulse ελέγχει τακτικά τον πηγαίο κώδικα σας έξω από το ΕΑΜ σας, χτίζει τα...
Testify είναι μια αντικατάσταση για unittest ενότητα της Python και τη μύτη.Testify διαμορφώνεται μετά unittest, και οι δοκιμές που γράφτηκαν για unittest θα τρέξει κάτω μαρτυρούν με ένα ελάχιστο των προσαρμογών, αλλά έχει τα ανωτέρω χαρακτηριστικά και...
pytest σήμανσης-Bugzilla είναι ένα plugin py.test για Bugzilla ολοκλήρωση & nbsp? Αυτό το plugin αναλαμβάνει σήμερα την ακόλουθη ροή εργασίας.:bug_status σε [«ΝΕΑ», «για ειδικό προορισμό», «ON_DEV '] σημαίνει ότι το bug είναι γνωστό και γίνεται...
Ο Μαραθώνας είναι ένα πλαίσιο που παρέχει υποστήριξη για όλα τα συστατικά Java / Swing, συμπεριλαμβανομένων και των τυποποιημένων γλώσσες προγραμματισμού & ndash? Ruby και Python.Μαραθώνιος μπορεί επίσης να χρησιμοποιηθεί για την καταγραφή και εξέταση...
TestLink είναι ένα open source web-based διαχείριση testcase και την εκτέλεση του συστήματος παρακολούθησης που δημιουργήθηκε με τη χρήση PHP, MySQL, και πολλές άλλες τεχνολογίες ανοικτού κώδικα.TestLink επιτρέπει Q & A & nbsp? (Διασφάλισης Ποιότητας)...
