HOL

HOL 7

HOL суть від вищих порядків логіки середовище програмування, в якій теореми можуть бути доведені і доказ інструменти реалізації.Вбудовані процедури ухвалення та доведення теорем може автоматично встановити багато простих теорем. Механізм Oracle надає...

TestManager

TestManager 1.6.1

TestManager є плагін Trac для створення тестів, організувати їх в каталогах, генерувати тестові плани і відстежувати їх статус виконання і результати.На відміну від інших плагінів управління тестуванням для Trac, які використовують квитки як власники...

EXQUIRES

EXQUIRES 0.9.9.3

EXQUIRES - Оціночний і розширюваний кількісних зображення Re-Розширення Люкс Документація та інструкції Будь ласка, відвідайте: http://exquires.rivetsforbreakfast.comІнструкція Базова установка EXQUIRES може бути встановлений з PyPI за допомогою...

py.saunter

py.saunter 2.0.0 Alpha 1

Py.Saunter є проект в даний час базується на NBSP Ніс & ;. Вона буде заснована на Py.Test дуже скоро. Установка Для того, щоб більшу частину з селену і Python; і використовувати приклад коду тут, що вам потрібноІ NBSP; Судо пункт встановити нісІ NBSP;...

ніс сокета Білий список ніс плагін, який виправляє socket.getaddrinfo для не-локальних сокетов, що дозволяє або увійти всі входження або викликати тест порушника на провал.socketwhitelist.plugins.LoggingSocketWhitelistPluginІ NBSP; реєструє тест (с), де...

jstestnetlib є модуль Python призначений для виконання JavaScript тести на сервері JavaScript TestNet. Встановити Використання PIP виконайте:пункт встановити Git + Git: //github.com/kumar303/jstestnetlib.git#egg=jstestnetlib ходових випробувань JavaScript...

pyfix

pyfix 0.2.3

pyfix є модуль Python, розроблений спеціально для написання тестів функції. Встановити І NBSP; пункт встановити pyfix Використання Ось важливий приклад:від тесту імпорту pyfix, головнийвід pyassert assert_that імпортутестове завданняDef...

Пошук за категоріями