UPPAAL е интегрирана среда инструмент за моделиране, утвърждаване и проверка на системите за реално време, моделирани като мрежи от навременна автомати, удължени с типове данни (обградени числа, масиви, и т.н.).UPPAAL CORA е клон на UPPAAL за оптимална...
RGF е момента експериментален опит за RSpec стил БДД тестване рамка за Python.По принцип ние се стремим за синтаксис в тази насока:от RGF внос опише, тяс описване ("онова нещо"):& Nbsp;it ("тест низходящо")& Nbsp; Def спец (контекст):& Nbsp; # тест код...
TestLink е с отворен код на уеб-базирани управление TestCase и изпълнение система за проследяване създаден с помощта на PHP, MySQL, и няколко други технологии с отворен код.TestLink позволява Q & A & Nbsp; (осигуряване на качеството) отбори без усилие да...
Acovea изпълнява генетичен алгоритъм за намиране на "добрите" опции за съставяне на програми с GCC C и C ++ компилатори.ACOVEA (Анализ на Compiler Options чрез еволюционна алгоритъм), се изпълнява на генетичен алгоритъм, за да намерите най-добрите ""...
crackerjack осигурява ядрото регресия рамка тест Linux, която предлага систематичен начин за намиране на регресия на Linux ядрото.The Linux ядрото е Unix-подобна операционна система, ядрото на. Той е съименник на семейството Linux операционни системи....
JProfiler е търговски и междуплатформена всепризнатата всичко-в-едно Java Profiler.Защото е писано в Java, JProfiler може да се използва за Linux, Mac OS & Nbsp; X & Nbsp; и Windows платформи Характеристики :. < Li> живо профилиране на местно...
YourKit Java Profiler е търговска процесора и паметта профайлър софтуер, който позволява на потребителите лесно да реши широк спектър от CPU и проблеми с производителността на паметта, свързани.YourKit Java Profiler разполага автоматично откриване на...
Tcpreplay (TCP (Предаване контрол протокол) Replay) е с отворен код и свободен софтуер, проект, реализиран в C и проектирана да действа като инструмент за командния ред, който се състои от няколко помощни програми за * NIX операционни системи, които...
pagerunit е проста алтернатива Nagios направени да изглеждат като единица тестове.Коментари на разработчикаТова вероятно е лоша идея, но аз исках да си взема нещо на хартия (така да се каже) за да мога да се върна към реалната работа. Usage Конфигуриране...
инфузия е търговска, заявление Eclipse базирани написан на Java, което позволява на разработчиците да контролират напълно качеството софтуерна архитектура, както и качествен дизайн.Да бъдеш в състояние да се справят с Java, C ++ & Nbsp; и проекти C,...
