HOL-TestGen permite escribir las especificaciones de prueba en las lógicas de orden superior (HOL). Puede (semi) particionar automáticamente el espacio de entrada, lo que resulta en los casos de pruebas abstractas, y se seleccionará automáticamente los...
Jet Profiler es un tiempo real de los diagnósticos de consulta del servidor de base de datos MySQL y el software de rendimiento.Jet Profiler soporta todas las versiones de MySQL y se centra en los usuarios, tablas y consultas Características :. ...
JIRA es una aplicación, el seguimiento de problemas basados J2EE y gestión de proyectos desarrollado para hacer este proceso más fácil para su equipo.Atlassian JIRA ha sido diseñado con un enfoque en el rendimiento de tareas, es inmediatamente...
Ldtp está dirigido a la producción de herramientas marco de automatización de pruebas de alta calidad y de vanguardia que se pueden utilizar para probar GNU / Linux Desktop y mejorarlo.Utiliza las bibliotecas "accesibilidad" para empujar a través de la...
El módulo de MySQL Qore requiere Qore 0.7.1 y MySQL 3.3 o más reciente cabeceras y bibliotecas para construir.Con MySQL 4.1 y versiones posteriores se puede obtener soporte de transacciones y el módulo usará la interfaz declaración preparada más...
JSwat es una fuente abierta, gráfica y autónomo depurador Java que utiliza la biblioteca JPDA.JSwat depurador de Java ofrece puntos de corte con los monitores y condiciones, presentación de código fuente coloreada, de un solo paso a paso, mostrando las...
