Musi mieć Zapewnienia jakości i testowania oprogramowania Dla Linux

. gar jest plugin nos, który przynosi specyficzne testy kontekstowe Wymagania : Python ...

gator-testy to aplikacja, która pozwala na przeprowadzenie testów w celu sprawdzenia modułu gator i gator demona na Linaro uwalnia Wymagania . ...

GCViewer jest oparty na aplikacji Swing, które wizualizuje gadatliwe wyjście zbierania śmieci generowanych przez IBM i Sun Java VM (-verbose: GC / -Xloggc: -flags).Dane mogą być eksportowane w formacie CSV do forther obróbki w arkuszu kalkulacyjnym....

Skrypt gprof2dot.py może konwertować wyjście z gprof na wykresie punktowym. To może poprawnie analizować nazwy funkcji szablonu C ++ pozwala przycinać węzłów i krawędzi poniżej pewnego progu, można analizować specjalną notacją gprof wykorzystuje do...

babcia jest zestaw narzędzi do testowania kombinatorycznej.Komentarze TwórcaPracuję wyłącznie na testowanie oprogramowania od ponad pięciu lat ...Obecnie staram się zapewnić wsparcie na zasadzie najwyższej staranności. Należy zająć się forum dyskusyjne, w...

jest testowanie GUnit ramy Jednostka C w duchu JUnit. GUnit ramy zawiera łatwy w obsłudze graficzny interfejs użytkownika oparty na bibliotekach GNOME, a także wsparcie dla Hildon UI (maemo.org).Instalacja:1. `cd 'do katalogu zawierającego kod...

HOL krótkie Wyższej Zamów Logic jest środowisko programistyczne, w których można udowodnić twierdzenia i narzędzia dowód realizowane.Wbudowane procedury decyzyjne i dowodzenie twierdzenie może automatycznie nawiązać wiele prostych twierdzeń. Mechanizm...

HOL-TestGen pozwala pisać specyfikacji testów w logiki wyższego rzędu (HOL). To może (pół) automatycznie podzielić przestrzeń wejściową, w wyniku abstrakcyjnych przypadków testowych, i automatycznie wybrać dane z badań konkretnych.Automatyczna generacja...

importchecker jest narzędziem wiersza polecenia, aby znaleźć nieużywane importu w modułów Pythona.Jego wyjście jest "grep-like" (a więc "emacs-friendly"), raportowanie zarówno nazwy plików modułu i numery linii, na których nazwiska są importowane, które...

infuzji jest komercyjny, aplikacji opartych na środowisku Eclipse napisane w Javie, co pozwala programistom w pełni kontrolować jakość architektury oprogramowania, a także jakości projektu.Jest w stanie obsługiwać Java, C ++ & nbsp; i projektów C, głównym...