UPPAAL это интегрированная среда инструмент для моделирования, проверки и верификации систем реального времени смоделированных как сети приурочен автоматов, расширенных с типами данных (ограниченных целых чисел, массивов и т.д.).UPPAAL КОРА является...
РГФ является в настоящее время экспериментальной попыткой на RSpec-эск рамках тестирования BDD для Python.В основном мы нацелены на синтаксис вдоль этих линий:от импорта РГФ описать, этос описания ("That Thing"):& NBSP;It ("тест по убыванию")& NBSP; Def...
TestLink является открытым исходным кодом веб-управления TestCase и система отслеживания выполнения создана при помощи PHP, MySQL, и несколько других технологий с открытым исходным кодом.TestLink позволяет Q & A & NBSP; (обеспечение качества) команды,...
Acovea реализует генетический алгоритм для нахождения "лучшие" варианты для компиляции программ с GCC и C ++ компиляторов C.ACOVEA (анализ вариантов компилятора через эволюционный алгоритм) реализует генетический алгоритм, чтобы найти "лучшие" варианты...
классный обеспечивает основу регрессионного тестирования ядра Linux, который предлагает систематический способ найти регрессии ядра Linux.Ядро Линукс является Unix-подобные ядра операционной системы. Это тезка семьи Linux операционных систем. Выхода под...
JProfiler является коммерческим и кросс-платформенной наградами все-в-одном Java Profiler.Потому что написано в Java, JProfiler может быть использован на Linux, Mac OS и NBSP; X & NBSP; и платформ Windows, Особенности :. < LI> Живая профилирование...
YourKit Java Profiler является коммерческим процессора и памяти профайлер программное обеспечение, которое позволяет пользователям легко решить широкий спектр процессора и проблем производительности, связанных с памятью.YourKit Java Profiler обеспечивает...
Tcpreplay (TCP (Transmission Control Protocol) Replay) является открытым исходным кодом и свободный проект программного обеспечения реализована в C и предназначен для работы в качестве инструмента командной строки, которая состоит из нескольких утилит для...
pagerunit является простой альтернативой Nagios, чтобы выглядеть юнит-тестов.Разработчик комментируетЭто, вероятно, плохая идея, но я хотел, чтобы что-то на бумаге (как это было), так что я мог вернуться к реальной работе. Использование Настройка...
Настой коммерческий, Eclipse-приложение написано в Java, позволяя разработчикам полностью контролировать качество архитектуры программного обеспечения, а также качество проектирования.Будучи в состоянии справиться Java, C ++ & NBSP; и проекты C, главная...
