Stclass

STCLASS es un marco de prueba incorporado basado en contrato (CBTB) para Java.
Descargar ahora

Stclass Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • GPL
  • Precio:
  • FREE
  • Nombre del editor:
  • D. Deveaux
  • Sitio web del editor:
  • http://www-valoria.univ-ubs.fr/stclass/

Stclass Etiquetas


Stclass Descripción

STCLASS es un marco de prueba incorporado basado en contrato (CBTB) para Java. STCLASS es un marco de prueba incorporado basado en contrato (CBTB) para Java. El objetivo del proyecto STCLASS es difundir un marco de prueba profesional para el idioma Java. El sitio de TIGRIS SHOUD admite el mantenimiento y la evolución de la herramienta. Aquí hay algunas características clave de "STCLASS": · Definición y evaluación de los contratos evaluables de tiempo de ejecución: OCL como invariantes de clase, pre y postcondiciones sobre métodos; Contratos definidos en los comentarios de Javadoc (puede ser extraído por javadoc); contratar la herencia de la clase de padres e interfaces siguiendo las reglas de Meyer; · Pruebas de la unidad de nivel de clase: la prueba se organiza en pruebas, testcasas y pruebas; La configuración y las acciones de derivación se pueden asociar a Testcase, un testunit puede participar a varios Tescasas; Las pruebas se basan en contratos: las pruebas definen solo escenarias, los oráculos se evalúan por contratos; las pruebas se incorporan: Toda la definición de prueba se realiza en los comentarios del código fuente; Las pruebas son heredables de las clases e interfaces de los padres; · un preprocesador Genera desde la fuente un código instrumentado con una función principal: ejecutar la prueba solo está ejecutando la clase en sí. Opciones gestionan las condiciones de prueba; Es posible lanzar pruebas individuales en modo de verificación; Con hormigas u otros scripts, se pueden realizar el paquete o la prueba del sistema. · El resultado de la prueba se guarda en formato XML, las herramientas de postprocesamiento producen informes HTML agradables; Utilizando el Profiler Jip, se puede realizar un análisis estadisítico y de perfil durante la prueba, sus resuts se agregan al informe HTML. Lo que está nuevo en esta versión: · Se solucionaron varios errores. · Cambiar la administración de opciones ahora se basa en archivos de propiedad. Se logró una buena integración con la hormiga. · Se admiten IDES, incluidos NetBeans y Eclipse. · Se agregó un nuevo comando 'Code_cover' que facilita las pruebas de cobertura con EMMA.


Stclass Software relacionado

Lavengro

Lavengro es un motor de prueba de vocabulario basado en la tabla transversal. ...

141

Descargar

phpautotest

PHPAUTOTTEST es una herramienta para realizar pruebas de regresión automatizadas en sitios web impulsados por PHP. ...

144

Descargar

Gráfico-incluye

El gráfico-incluye crea un gráfico de dependencias entre los archivos de origen y / o grupos de archivos de origen. ...

135

Descargar