Спонсорирани връзки:

UPPAAL

UPPAAL 4.0.6

UPPAAL е интегрирана среда инструмент за моделиране, утвърждаване и проверка на системите за реално време, моделирани като мрежи от навременна автомати, удължени с типове данни (обградени числа, масиви, и т.н.).UPPAAL CORA е клон на UPPAAL за оптимална...

rgf

rgf 0.2.0.1

RGF е момента експериментален опит за RSpec стил БДД тестване рамка за Python.По принцип ние се стремим за синтаксис в тази насока:от RGF внос опише, тяс описване ("онова нещо"):& Nbsp;it ("тест низходящо")& Nbsp; Def спец (контекст):& Nbsp; # тест код...

crackerjack

crackerjack 2.0.0

crackerjack осигурява ядрото регресия рамка тест Linux, която предлага систематичен начин за намиране на регресия на Linux ядрото.The Linux ядрото е Unix-подобна операционна система, ядрото на. Той е съименник на семейството Linux операционни системи....

TestLink

TestLink 1.9.9

TestLink е с отворен код на уеб-базирани управление TestCase и изпълнение система за проследяване създаден с помощта на PHP, MySQL, и няколко други технологии с отворен код.TestLink позволява Q & A & Nbsp; (осигуряване на качеството) отбори без усилие да...

Спонсорирани връзки:

JProfiler

JProfiler 8.0.3

JProfiler е търговски и междуплатформена всепризнатата всичко-в-едно Java Profiler.Защото е писано в Java, JProfiler може да се използва за Linux, Mac OS & Nbsp; X & Nbsp; и Windows платформи Характеристики :. < Li> живо профилиране на местно...

YourKit Java Profiler

YourKit Java Profiler 2015 Build 15068 актуализира

YourKit Java Profiler е търговска процесора и паметта профайлър софтуер, който позволява на потребителите лесно да реши широк спектър от CPU и проблеми с производителността на паметта, свързани.YourKit Java Profiler разполага автоматично откриване на...

databene benerator е рамка за създаване на реалистични и валидни данни с голям обем от изпитванията, използвани при изпитванията (единица / интеграция / натоварване) и настройка на витрина.Ограничения метаданните са внесени от системи и / или...

SLAMD

SLAMD 1.8.2

SLAMD разпределен товар Generation Engine (SLAMD) е Java-базирано приложение, предназначен за тестване на стреса и анализ на ефективността на мрежови приложения, базирани. Той първоначално е бил разработен от Sun Microsystems, Inc., но тя е била...

Спонсорирани връзки:

AutobahnTestSuite е Twisted-базирани WebSocket / WAMP изпълнение протокол тестов пакет.AutobahnTestSuite осигурява напълно автоматизирани тестов пакет за проверка на клиент и сървър реализации на протокола WebSocket.Тестов пакет ще проверява за изпълнение...

gprof2dot.py скрипт може да конвертира изхода от gprof в една точка графика. Тя може правилно разбор C ++ имена на функции шаблон, ви позволява да се режат възли и ръбовете под определен праг, може да анализира специалната нотация gprof използва за...

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