Herramientas de generación de casos de prueba

Question

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

Hasta aquí 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

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

• TestGen4J (Java) - http://sourceforge.net/projects/spike-test-gen/ (no se informa de trabajo)

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

• reafirmar (Java) - http://mir.cs.illinois.edu/reassert/ (Reparación pruebas unitarias)

• daikon (Multi-Lenguaje) - http://groups.csail.mit.edu/pag/daikon/ (invariante detector)

• 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

lenguaje agnóstico all-pair testing

Hemos utilizado PICT como una herramienta para minimizar el éxito de la cantidad de casos de prueba sin dejar de ser razonable confianza para tener la mayoría de los casos cubiertos.

el razonamiento detrás de las pruebas de todos los pares es la siguiente: los errores simples en un programa generalmente se desencadenan por un único parámetro de entrada . El siguiente categoría más simple de errores consiste en los que dependen de las interacciones entre pares de parámetros, que puede ser capturado con todos los pares de testing.1 Insectos que implican interacciones entre tres o más parámetros son progresivamente menos Common2, mientras que al al mismo tiempo progresivamente más costoso de encontrar por la exhaustiva prueba , que tiene como límite la prueba exhaustiva de todas las posibles entradas .

Answer 3

a añadir a la lista anterior, si usted está mirando por parejas (combinatoria) de generación de casos de prueba, la completa, (por lo general) actualizada y una extensa lista de todas esas herramientas que permiten generar casos de prueba, junto con el análisis de la efectividad de cada uno, documentos de investigación et. Alabama. se puede encontrar en http://www.pairwise.org/