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