testing - software - Herramientas de generación de casos de prueba

ejemplos de casos de prueba funcionales

Question

Estoy buscando herramientas o marcos que puedan generar casos de prueba o ayudar en las pruebas de software.

Hasta ahora he encontrado lo siguiente:

• Feed4JUnit (Java) - http://testful.sourceforge.net/updateSite/

• MuClipse (Java) - http://muclipse.sourceforge.net/

• MuJava (Java) - http://cs.gmu.edu/~offutt/mujava/

• JTest (Java, Comercial) - http://www.parasoft.com/jsp/products/jtest.jsp?itemId=14

• T2 (Java) - http://www.cs.uu.nl/wiki/WP/T2Framework

• QuickCheck (Java / Haskell) - https://quickcheck.dev.java.net/

• Randoop (Java / .NET) - http://randoop.googlecode.com/hg/plugin/doc/index.html

• UnitCheck (Java) - http://aiya.ms.mff.cuni.cz/unitchecking/dist/

• Java Pathfinder (Java) - http://babelfish.arc.nasa.gov/trac/jpf/wiki

• UDITA (Java) - http://mir.cs.illinois.edu/udita/

• Korat (Java) - http://korat.sourceforge.net/index.html

• Código rápido (Java) - http://fast-code.sourceforge.net/

• TestGen4J (Java) - http://sourceforge.net/projects/spike-test-gen/ (Informó que no funciona)

• Agitar (Java) - http://www.agitar.com/ (Comercial, garantiza una cobertura de línea del 80%)

• ReAssert (Java) - http://mir.cs.illinois.edu/reassert/ (Pruebas de unidades de reparación)

• Daikon (en varios idiomas) - http://groups.csail.mit.edu/pag/daikon/ (Detector invariante)

• Jaca (Java) - http://www.ic.unicamp.br/~eliane/JACA.html

• Pex (.NET) - http://research.microsoft.com/en-us/projects/pex/

Estas herramientas se aplican principalmente a Java, pero también estoy buscando .NET u otros idiomas.

¿Alguien puede proponer otras herramientas?

Answer 1

Dotnet Testdatagenerator NBuilder

Answer 2

Para agregar a la lista anterior, si está viendo la generación de casos de prueba de Pairwise (Combinatorial), la lista completa, (generalmente) actualizada y EXTENSIVA de TODAS estas herramientas que le permiten generar casos de prueba, junto con el análisis de la efectividad de cada uno, trabajos de investigación et. Alabama. se puede encontrar en http://www.pairwise.org/

Answer 3

Idioma agnóstico pruebas de todos los pares

Hemos utilizado PICT como una herramienta para minimizar con éxito la cantidad de estuches de prueba sin dejar de ser razonablemente seguros de tener la mayoría de los casos cubiertos.

El razonamiento detrás de la prueba de todos los pares es el siguiente: los errores más simples en un programa generalmente se activan mediante un solo parámetro de entrada. La siguiente categoría más simple de errores consiste en aquellos que dependen de las interacciones entre pares de parámetros, que pueden detectarse con todas las pruebas de pares.1 Los errores que involucran interacciones entre tres o más parámetros son progresivamente menos comunes2, mientras que al mismo tiempo son cada vez más costosos Encontrar mediante pruebas exhaustivas, que tiene como límite la prueba exhaustiva de todas las entradas posibles.