HOL суть від вищих порядків логіки середовище програмування, в якій теореми можуть бути доведені і доказ інструменти реалізації.Вбудовані процедури ухвалення та доведення теорем може автоматично встановити багато простих теорем. Механізм Oracle надає...
openstack.nose_plugin є плагін ніс, який забезпечує вихід nosetests, щоб імітувати вихід run_tests.py OpenStack в. Установка І NBSP; пункт встановити openstack.nose_plugin Використання Передбачені наступні варіанти воювали:І NBSP; - з-OpenStackІ NBSP;...
expecter допоможе вам написати затвердження. Ніколи більше ви забудете, які, як очікується, і що фактична!Основні очікування просто:І NBSP; >>> від імпорту expecter очікуватиІ NBSP; >>> очікувати ('Деякі' + 'річ') == 'щось'І NBSP;...
noseenv є ніс плагін, щоб додати опції у формі "--env ENVIRONMENT_VARIABLE = значення".- PyPI: http://pypi.python.org/pypi/noseenv- Travis CI: http://travis-ci.org/#!/msabramo/python-noseenvRequirements:Python...
хоботок розширення носа, що сприяє більш високою перевіряючи рівень.Зміни, як тестові класи виявлені змушуючи їх реєстрації за допомогою декораторів, які містять корисну метадані, такі як, в які групи вони знаходяться, чи є у них залежності від інших...
Імпульсний проект автоматичного складання (або безперервна інтеграція) сервер призначений для роботи з вами, щоб забезпечити цілісність вашого коду.Імпульсний регулярно перевіряє вихідний код з вашого SCM, створює проекти, і повідомляє вас про результати ...
дачі свідчень заміна UnitTest модуля Python і носа.Свідчіть за зразком UnitTest, і тести, написані для UnitTest буде працювати під свідчать з мінімумом регулювань, але вона має особливості, що виходять за рамки UnitTest:І NBSP; * Установка на рівні класу...
pytest-маркера-Bugzilla є плагін py.test для інтеграції Bugzilla і NBSP; Цей плагін в даний час приймає наступний робочий процес .:bug_status в ['NEW', 'Assigned', 'ON_DEV'] означає помилка відома і йде робота, і, отже, тест...
Марафон структура, яка забезпечує підтримку всіх компонентів Java / Swing, в тому числі стандартних скриптових мов і Ndash; Рубі і Python.Марафон також може бути використаний для запису і сценаріїв тестування і записує семантичні дії на компоненти, а не...
TestLink є відкритим вихідним кодом веб-управління прикладів і використання системи стеження виконання створена за допомогою PHP, MySQL, і кілька інших технологій з відкритим вихідним кодом.TestLink дозволяє Q & A & NBSP; (забезпечення якості) команди,...
