UPPAAL це інтегроване середовище інструмент для моделювання, перевірки та верифікації систем реального часу змодельованих як мережі приурочений автоматів, виданих з типами даних (обмежених цілих чисел, масивів і т.д.).UPPAAL Кора філія UPPAAL для...
РГФ є в даний час експериментальні спроби на RSpec-еск рамках тестування BDD для Python.В основному ми прагнемо до синтаксису уздовж цих ліній:від імпорту РГФ описати, цез опису ("цю справу"):І NBSP; It ("тест спаданням")І NBSP; Def специфікації...
TestLink є відкритим вихідним кодом веб-управління прикладів і використання системи стеження виконання створена за допомогою PHP, MySQL, і кілька інших технологій з відкритим вихідним кодом.TestLink дозволяє Q & A & NBSP; (забезпечення якості) команди,...
Acovea реалізує генетичний алгоритм для знаходження "кращі" варіанти для компіляції програм з GCC C і C ++ компіляторів.ACOVEA (аналіз варіантів компілятора через еволюційний алгоритм) реалізує генетичний алгоритм, щоб знайти «найкращі» варіанти...
класний забезпечує основу регресійного тестування ядра Linux, який пропонує систематичний спосіб знайти регресії ядра Linux.Ядро Linux є Unix-подібні ядра операційної системи. Це тезка сім'ї Linux операційних систем. Виходу під GNU General Public...
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, щоб виглядати юніт-тестів.Коментарі розробниківЦе, ймовірно, погана ідея, але я хотів, щоб щось на папері (як це було), так що я міг повернутися до реальної роботи. Використання Налаштування PagerUnit, щоб...
Настій комерційний, Eclipse-додаток написано в Java, дозволяючи розробникам повністю контролювати якість архітектури програмного забезпечення, а також якість проектування.Будучи в змозі впоратися Java, C ++ & NBSP і проекти в C, основною метою вливання,...
