HOL

HOL 7

HOL кратко от по-висш порядък Logic е програмна среда, в която теореми може да бъде доказано и инструменти се отварят изпълнени.Вградени процедури решения и теорема доказващите може автоматично да създават много прости теореми. Механизъм Наложеното дава...

TestManager

TestManager 1.6.1

TestManager е Trac плъгин за създаване на тестови случаи, да ги организирате в каталози, генериране на схеми за измерване и проследяване на състоянието на тяхното изпълнение и резултат.За разлика от други плъгини за управление на тест за Trac, които...

EXQUIRES

EXQUIRES 0.9.9.3

EXQUIRES - оценка и разширения количествени Изображение Re-Разширяване Suite Documentation & Инструкции Моля, посетете: http://exquires.rivetsforbreakfast.comИнструкции основната инсталация EXQUIRES могат да бъдат инсталирани от PyPI използване пипс:PIP...

py.saunter

py.saunter 2.0.0 Alpha 1

Py.Saunter е проект понастоящем се основава на носа & Nbsp;. Тя ще се основава на Py.Test съвсем скоро. Монтаж За да извлечете максимума от селен и Python; и да се използва например код тук, трябва да се& Nbsp; Sudo PIP инсталирате носа& Nbsp; Sudo PIP...

носа сокета-бял списък е плъгин, носа, който кара socket.getaddrinfo за не-местни контакти, което ви позволява да влезете или всички събития или причини изпитването нарушител да се провали.socketwhitelist.plugins.LoggingSocketWhitelistPlugin& Nbsp; логва...

jstestnetlib е Python модул, проектиран за изпълнение на JavaScript тестове срещу сървъра JavaScript TestNet. Install Използването на PIP изпълни:PIP инсталирате Git + Git: //github.com/kumar303/jstestnetlib.git#egg=jstestnetlib текущи тестове JavaScript...

pyfix

pyfix 0.2.3

pyfix е Python модул, проектиран специално за писане на тестови функции. Install & Nbsp; PIP инсталирате pyfix Usage Ето един важен пример:от тест за внос pyfix, основниятот pyassert внос assert_thatконтролна работаDef ensure_that_two_plus_two_equals_four...

Търсене по категория