HOL-TestGen permette di scrivere le specifiche di test a logiche di ordine superiore (HOL). Può (semi-) partizionare automaticamente lo spazio di ingresso, con conseguente casi di test astratte, e selezionare automaticamente i dati di prova...
Jet Profiler è un tempo reale la diagnostica della query server di database MySQL e il software delle prestazioni.Jet Profiler supporta tutte le versioni di MySQL e si concentra su utenti, tabelle e query Caratteristiche :. User friendly Query,...
Bisett è uno strumento di copertura di codice per la lingua Caml Obiettivo. Si tratta di uno strumento basato camlp4-che permette allo strumento l'applicazione prima di eseguire i test. Dopo l'esecuzione dell'applicazione, Bisett possibile...
JIRA è basato su J2EE, gestione dei problemi e gestione di progetti di applicazione sviluppata per rendere questo processo più facile per la tua squadra.Atlassian JIRA è stato progettato con una particolare attenzione sul compito realizzazione, è...
infusione è una commerciale, un'applicazione basata su Eclipse scritto in Java, che permette agli sviluppatori di controllare pienamente la qualità dell'architettura software, così come la qualità del design.Essere in grado di gestire Java, C ++ &...
Linux Desktop Testing progetto mira a produrre strumenti di alta qualità quadro automazione di test e all'avanguardia che possono essere utilizzati per testare GNU / Linux Desktop e migliorarla.Esso utilizza le librerie "accessibilità" per colpire...
Il MySQL Module Qore richiede Qore 0.7.1 e MySQL 3.3 o più recenti header e librerie per costruire.Con MySQL 4.1+ è possibile ottenere il supporto delle transazioni e il modulo utilizzerà il più efficiente interfaccia dichiarazione preparata.Il driver...
ContiPerf è uno strumento di test leggero che permette all'utente di sfruttare facilmente JUnit 4 casi di test come test di performance ad esempio . per la verifica continua delle prestazioni & nbsp; Si ispira configurazione di prova facile JUnit 4...
SDK ampio è un cross-browser basato su standard JavaScript GUI quadro per la creazione di Rich Internet Applications. Impiega tecnologie XML (come XUL, SVG o HTML5) per il layout dell'interfaccia utente, CSS per lo stile UI e JavaScript per la logica...
JSwat è un open source, grafica e stand-alone Java debugger che utilizza la libreria JPDA.JSwat Java Debugger offre punti di interruzione con monitor e le condizioni, visualizzazione del codice sorgente colorato, single-stepping, visualizzazione delle...
