HOL кратко от по-висш порядък Logic е програмна среда, в която теореми може да бъде доказано и инструменти се отварят изпълнени.Вградени процедури решения и теорема доказващите може автоматично да създават много прости теореми. Механизъм Наложеното дава...
openstack.nose_plugin е плъгин, нос, който осигурява nosetests изход да подражава на изхода на run_tests.py OpenStack е. Монтаж & Nbsp; PIP инсталирате openstack.nose_plugin Usage Следните опции са availible:& Nbsp; - с-OpenStack& Nbsp; Enable плъгин...
expecter ви помага да пишете твърдения. Никога повече няма да те забравя, която се очаква и което е действително!Основни очакванията са лесни:& Nbsp; >>> от очакваме expecter внос& Nbsp; >>> очакваме ("някои" + "нещо") == "нещо"& Nbsp; очакваме ("нещо")&...
noseenv е плъгин, носа, за да добавите опции на формата "--env ENVIRONMENT_VARIABLE = стойност".- PyPI: http://pypi.python.org/pypi/noseenv- Травис CI: http://travis-ci.org/#!/msabramo/python-noseenvRequirements:Python...
хобот е разширение Nose, която улеснява по-високо ниво изпитване.Промени как тестови класове са открити от принуждавайки ги да се регистрирате онлайн, декоратори, които съдържат полезна метаданни като какви групи се намират, независимо дали имат или нямат...
Pulse проект е автоматичен строителство (или непрекъсната интеграция) сървър проектиран да работи с вас, за да се гарантира целостта на кода си.Pulse редовно проверява вашия изходен код се от вашата SCM, изгражда си проекти, и ще ви извести за резултатите...
Свидетелствайте е заместител на unittest модул и носа Пайтън.Свидетелствайте се моделира след unittest и тестове, написани за unittest ще се движат при свидетелствам с минимум корекции, но тя има функции над и извън unittest:& Nbsp; * настройка клас ниво...
pytest-маркер-Bugzilla е py.test плъгин за Bugzilla интеграция & Nbsp; Този плъгин в момента приема следната последователност от действия.:bug_status в ["NEW", "НАЗНАЧЕН", "ON_DEV"] означава бъгът е известен и се работи и затова теста трябва да се...
Marathon е рамката, която предоставя подкрепа за всички Java / Swing компоненти, включително стандартните скриптови езици & ndash; Ruby и Python.Marathon също може да се използва за запис и тест скриптове и записва семантични действия по компоненти, а не...
TestLink е с отворен код на уеб-базирани управление TestCase и изпълнение система за проследяване създаден с помощта на PHP, MySQL, и няколко други технологии с отворен код.TestLink позволява Q & A & Nbsp; (осигуряване на качеството) отбори без усилие да...
