HOL breve da Higher Order Logic è un ambiente di programmazione in cui teoremi possono essere provati e strumenti di prova implementati.Procedure decisionali integrate e provers teorema può stabilire automaticamente molti teoremi semplici. Un meccanismo...
openstack.nose_plugin è un plugin naso che fornisce uscita nosetests per simulare l'uscita di run_tests.py di OpenStack. Installazione & Nbsp; pip installare openstack.nose_plugin Utilizzo Le seguenti opzioni sono availible:& Nbsp; - con-OpenStack&...
expecter aiuta a scrivere affermazioni. Mai più si dimentica che è previsto e che è reale!Le aspettative di base sono semplici:& Nbsp; >>> da expecter import aspetta& Nbsp; >>> aspettare ('un po' + 'cosa') == 'qualcosa'& Nbsp; si...
noseenv è un plugin naso per aggiungere opzioni della forma "--env ENVIRONMENT_VARIABLE = VALUE".- PyPI: http://pypi.python.org/pypi/noseenv- Travis CI: http://travis-ci.org/#!/msabramo/python-noseenvRequirements:Python...
proboscide è un'estensione naso che facilita il test di livello superiore.Cambiamenti come classi di test siano rilevati da costringendoli a registrarsi tramite decoratori che contengono metadati utili, come quello che i gruppi si sono, anche se non...
progetto Pulse è una compilazione automatica (o integrazione continua) server progettata per lavorare con voi per assicurare l'integrità del codice.Pulse controlla regolarmente il codice sorgente dal tuo SCM, costruisce i vostri progetti, e notifica...
Testify è un sostituto per il modulo unittest del Python e il naso.Testify è modellato dopo unittest, e le prove scritte per unittest verrà eseguito sotto testimoniare con un minimo di aggiustamenti, ma ha caratteristiche di cui sopra e al di là di...
pytest-marcatore-Bugzilla è un plugin per l'integrazione py.test Bugzilla & nbsp; Questo plugin attualmente assume il seguente flusso di lavoro.:bug_status in ['NOVITA', 'ASSEGNATO', 'ON_DEV'] significa che il bug è noto ed è...
Marathon è un framework che fornisce il supporto per tutti i componenti Java / Swing, compresi i linguaggi di scripting standard di & ndash; Ruby e Python.Marathon può essere utilizzato anche per registrare e testare gli script e registra le azioni...
TestLink è un open source web-based di gestione testcase e sistema di tracciamento esecuzione creati utilizzando PHP, MySQL, e diverse altre tecnologie open source.TestLink consente Q & A & nbsp; squadre (Quality Assurance) per gestire senza sforzo e...
