HOL scurt de ordin superior Logic este un mediu de programare în care teoreme pot fi dovedite și instrumente dovada puse în aplicare.Procedurile de decizie Built-in și provers teorema poate stabili în mod automat mai multe teoreme simple. Un mecanism...
openstack.nose_plugin este un plugin nas care oferă nosetests ieșire pentru a imita ieșirea de run_tests.py OpenStack lui. Instalare & Nbsp; pip instala openstack.nose_plugin Utilizare Următoarele opțiuni sunt availible:& Nbsp; - cu-OpenStack& Nbsp;...
expecter vă ajută să scrie afirmații. Niciodata nu vei uita care este de așteptat și care este real!Așteptările de bază sunt ușor:& Nbsp; >>> din aștepta expecter import& Nbsp; >>> spus ("unii" + "lucru") == "ceva"& Nbsp; spus ("ceva")& Nbsp; >>> spus...
noseenv este un plug-in nas pentru a adăuga opțiuni din formularul "--env ENVIRONMENT_VARIABLE = VALUE".- PyPI: http://pypi.python.org/pypi/noseenv- Travis CI: http://travis-ci.org/#!/msabramo/python-noseenvRequirements:Python...
trompă este o extensie nas care facilitează testarea nivel superior.Modificările cum clase de test sunt descoperite prin forțându-le să se înregistreze prin decoratori care conțin metadate utile, cum ar fi ce grupurile care se află, indiferent dacă au sau...
proiect Pulse este o construcție automată (sau integrare continuă) serverul proiectat pentru a lucra cu tine pentru a asigura integritatea codului.Pulse verifică în mod regulat codul sursă de la CSM ta, construiește proiectele dvs., și vă anunță a...
Mărturisiți este un înlocuitor pentru unittest modul și nasul Python.Mărturisiți este modelat după unittest, si teste de scris pentru unittest va rula sub depune mărturie cu un minim de ajustări, dar are caracteristicile de mai sus și dincolo de...
pytest-îi trimită-Bugzilla este un plugin py.test pentru integrare Bugzilla & nbsp; Acest plugin presupune în prezent fluxul de lucru următor.:bug_status în ['NEW', 'ALOCATE "," ON_DEV'] înseamnă bug este cunoscută și este în lucru și,...
Maratonul este un cadru care oferă suport pentru toate componentele Java / Swing, inclusiv limbaje de scripting standard de & ndash; Ruby și Python.Marathon pot fi, de asemenea, folosit pentru a înregistra și script-uri de testare și înregistrează...
TestLink este un open source de management testcase web-based și sistem de urmărire executare create folosind PHP, MySQL, precum și o serie de alte tehnologii open-source.TestLink permite Q & A & nbsp; (de Asigurare a Calității) echipe de a gestiona fără...
