GCViewer

GCViewer 1.29

GCViewer є Гойдалки-додаток, який візуалізує докладний висновок збору сміття, згенерований IBM і Sun Java VM, (-Verbose: GC / -Xloggc: -flags).Ці дані також можуть бути експортовані в CSV для обробки forther з додатком електронних таблиць. Візуалізація...

gprof2dot.py сценарій може перетворити вихід з GProf в точковій графіку. Це може правильно розібрати імена функцій шаблон C ++, дозволяє скоротити вузли і ребра нижче певного порогу, можна розібрати спеціальне позначення дргоЕ використовує для взаємно...

grandma

grandma 0.1 Alpha 2

бабуся набір утиліт для тестування комбінаторної.Коментарі розробниківЯ працюю виключно на тестування програмного забезпечення протягом більше п'яти років ...В даний час я намагаюся, щоб забезпечити підтримку на максимальних зусиль основі. Вам слід...

gunit-hildon

gunit-hildon 0.1.2

Gunit є система тестування кондиціонера в дусі JUnit. База Gunit включає легкий у використанні графічний інтерфейс, заснований на бібліотеках GNOME, а також підтримку інтерфейсу Hildon (maemo.org).Установка:1. `CD" в каталог, що містить вихідний код...

HOL

HOL 7

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

HOL-TestGen

HOL-TestGen 1.7.0

HOL-TestGen дозволяє записати специфікації тестів в області вищого порядку логіки (HOL). Це може (підлозі) автоматичне розбиття вхідного простору, в результаті чого абстрактних тестів, і автоматично вибрати конкретні дані випробувань.Автоматична генерація...

importchecker є утиліта командного рядка, щоб знайти невживані імпорту в модулях Python.Його вихід "Grep-як" (і, таким чином, "Emacs чисті"), звітність як імена модуля і номер рядка, де імена імпортованих, що не acually, використовувані в...

inFusion

inFusion 1.7.2

Настій комерційний, Eclipse-додаток написано в Java, дозволяючи розробникам повністю контролювати якість архітектури програмного забезпечення, а також якість проектування.Будучи в змозі впоратися Java, C ++ & NBSP і проекти в C, основною метою вливання,...

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