HOL court à partir d'ordre supérieur Logic est un environnement de programmation dans lequel théorèmes peuvent être prouvées et les outils de preuve mis en œuvre.Procédures de décision intégrés et démonstrateurs peuvent automatiquement établir...
openstack.nose_plugin est un plugin de nez qui fournit une sortie de nosetests pour imiter la sortie de la run_tests.py de OpenStack. Installation & Nbsp; pip installer openstack.nose_plugin Utilisation Les options suivantes sont availible:& Nbsp; - avec...
expecter vous aide à écrire affirmations. Plus jamais vous oubliez ce qui est attendu et ce qui est réel!Attentes de base sont faciles:& Nbsp; >>> from expecter importation attendre& Nbsp; >>> attendre («certains» + «chose») == "quelque chose"& Nbsp;...
noseenv est un plugin de nez pour ajouter des options de la forme "--env ENVIRONMENT_VARIABLE = valeur".- PyPI: http://pypi.python.org/pypi/noseenv- Travis CI: http://travis-ci.org/#!/msabramo/python-noseenvRequirements:Python...
trompe est une extension de Nez qui facilite les tests de niveau supérieur.Changements comment les classes de test sont découverts en les forçant à se inscrire via décorateurs qui contiennent des métadonnées utiles tels que quels groupes ils sont, ou non...
projet de Pulse est une construction automatique (ou intégration continue) serveur conçu pour travailler avec vous pour assurer l'intégrité de votre code.Pulse vérifie régulièrement votre code source à partir de votre SMC, construit vos projets, et...
témoigner est un remplacement pour unittest module et le nez de Python.Témoignez est calquée unittest, et des tests écrits pour unittest se déroulera sous témoigner avec un minimum d'ajustements, mais il a des caractéristiques ci-dessus et au-delà...
pytest-marqueur-bugzilla est un plugin pour l'intégration py.test Bugzilla & nbsp; Ce plugin assume actuellement la procédure suivante.:bug_status dans ['NEW', 'AFFECTE »,« ON_DEV'] signifie que le bug est connu et est en cours...
Marathon est un cadre qui offre un soutien pour tous les composants Java / Swing, y compris les langages de script standards & ndash; Ruby et Python.Marathon peut également être utilisé pour enregistrer et de tester son exécution et enregistre actions...
TestLink est une open source de gestion de cas de test basé sur le Web et le système de suivi d'exécution créés en utilisant PHP, MySQL, et plusieurs autres technologies open source.TestLink permet Q & A & nbsp; (Quality Assurance) équipes pour gérer...
