Modeljunit

Modeljunit es una biblioteca de Java que extiende JUII para apoyar las pruebas basadas en el modelo.
Descargar ahora

Modeljunit Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • GPL
  • Precio:
  • FREE
  • Nombre del editor:
  • Mark Utting
  • Sitio web del editor:
  • http://www.cs.waikato.ac.nz/~marku/mbt/modeljunit/

Modeljunit Etiquetas


Modeljunit Descripción

Modeljunit es una biblioteca de Java que extiende JUII para apoyar las pruebas basadas en el modelo. Modeljunit es una biblioteca de Java que extiende JUII para apoyar las pruebas basadas en el modelo. La biblioteca es una herramienta de código abierto, publicada bajo la licencia GNU GPL.Modeljunit le permite escribir modelos FSM o EFSM simples como clases de Java, luego generan pruebas de esos modelos y miden varias métricas de cobertura del modelo. Los principios detrás de Modeljunit se describen en las Secciones 5.2 y 5.3 de nuestro libro, Pruebas prácticas basadas en el modelo. Aquí hay un lanzamiento 1.0 de Modeljunit. Tenga en cuenta que utiliza la función Anotaciones de Java 5.0, por lo que requiere JDK 1.5 o superior a ejecutar. Esta versión de Modeljunit se presentó en una charla de Google Tech por Mark Utting en agosto de 2007. Los primeros 30 minutos de la charla son una introducción al modelo. Las pruebas basadas en Modeljunit se discuten a partir de las 28:20 y una herramienta comercial más sofisticada, Leirios Test Designer, se discute a partir de 43:50 en adelante. El archivo Modeljunit.jar, que necesita para usar la herramienta. (Esto fue compilado con JDK 1.6) Documentación de Javadoc en línea para Modeljunit (Comience leyendo la descripción del paquete Modeljunit) .a la versión descargable de Modejunit.zip de la documentación. El código fuente de la forma del proyecto CZT. Las fuentes de desarrollo de Modeljunit se pueden verificar usando estos dos comandos: svn co modeljunit svn co svnroot / CZT / TUNK / POM.XML POM.XMLWE puede generar fácilmente algunas pruebas de este modelo, ejecutando el código Java: Tester Tester = New RandomTester (nuevo FSM ()); tester.addlistener ("verbose", nuevo verboselistener (tester.getmodel ())); // Imprima el probador de pruebas. Generado (20); // Generar pruebas al azar El método principal de la clase FSM muestra una versión más sofisticada de esto, que también mide las métricas de cobertura del modelo de la suite de prueba generada. Produce esta salida. Puede ejecutar este método principal de la siguiente manera (debe tener modeljunit.jar y junit.jar en su Classpath y use Java 1.6): java net.sourceforge.czt.modeljunit.examples.fsmthis Ejemplo solo imprime los mensajes a medida que se ejecuta el modelo. Los mensajes generados podrían guardarse en un archivo y se utilizaron como un script de prueba para la ejecución posterior de la prueba (pruebas sin conexión). Por lo general, usamos Modeljunit para pruebas en línea, donde las pruebas se ejecutan en el sistema en la prueba (SUT) a medida que se generan. Para realizar pruebas en línea, el código de generación de pruebas dentro del método principal anterior se escribe dentro de los métodos TestXYZ () De sus clases de prueba de JUnit, de modo que cada vez que ejecute su suite de prueba JUXIT, generará un conjunto de pruebas de su modelo FSM. Además, los métodos ... los métodos en su clase de modelo incluirán el código para llamar a los métodos de su SUT, verifique su valor de devolución y verifique el estado del SUT. De esta manera, cada vez que ejecuta sus pruebas de JUnit, el modelo se usa para generar una secuencia de @action ... Llamadas y prueban su característica nueva y experimental de Modeljunit es una interfaz GUI, que le permite generar pruebas Al señalar y hacer clic, o para generar el código que genera las pruebas. Para ejecutar la GUI, poner modeljunit.jar y junit.jar en su Classpath, luego ejecute: java net.sourceforge.czt.modeljunit.gui.main


Modeljunit Software relacionado

Revoltijo

Jumble es una herramienta de prueba de mutación de nivel de clase que funciona en conjunto con JUnit. ...

177

Descargar

Spike PHPCoverage

SPIKE PHPCoverage es una herramienta de código abierto para medir e informar la cobertura del código proporcionada por el conjunto de pruebas de APPS PHP. ...

193

Descargar

Aepro

AEPRO proporciona un gerente de compilación para programas escritos en Progres4GL. ...

413

Descargar