StackOverflow2013

Note that there are some explanatory texts on larger screens.

plurals

POTest Case Generation Tools
text
Body
copied!<p>I am looking for tools or frameworks that can either generate test cases or aid in software testing.</p> <p>So far I have found the following:</p> <ul> <li><p>Feed4JUnit (Java) - <a href="http://testful.sourceforge.net/updateSite/">http://testful.sourceforge.net/updateSite/</a></p></li> <li><p>MuClipse (Java) - <a href="http://muclipse.sourceforge.net/">http://muclipse.sourceforge.net/</a></p></li> <li><p>MuJava (Java) - <a href="http://cs.gmu.edu/~offutt/mujava/">http://cs.gmu.edu/~offutt/mujava/</a></p></li> <li><p>JTest (Java,Commercial) - <a href="http://www.parasoft.com/jsp/products/jtest.jsp?itemId=14">http://www.parasoft.com/jsp/products/jtest.jsp?itemId=14</a></p></li> <li><p>T2 (Java) - <a href="http://www.cs.uu.nl/wiki/WP/T2Framework">http://www.cs.uu.nl/wiki/WP/T2Framework</a></p></li> <li><p>QuickCheck (Java/Haskell) - <a href="https://quickcheck.dev.java.net/">https://quickcheck.dev.java.net/</a></p></li> <li><p>Randoop (Java/.NET) - <a href="http://randoop.googlecode.com/hg/plugin/doc/index.html">http://randoop.googlecode.com/hg/plugin/doc/index.html</a></p></li> <li><p>UnitCheck (Java) - <a href="http://aiya.ms.mff.cuni.cz/unitchecking/dist/">http://aiya.ms.mff.cuni.cz/unitchecking/dist/</a></p></li> <li><p>Java Pathfinder (Java) - <a href="http://babelfish.arc.nasa.gov/trac/jpf/wiki">http://babelfish.arc.nasa.gov/trac/jpf/wiki</a></p></li> <li><p>UDITA (Java) - <a href="http://mir.cs.illinois.edu/udita/">http://mir.cs.illinois.edu/udita/</a></p></li> <li><p>Korat (Java) - <a href="http://korat.sourceforge.net/index.html">http://korat.sourceforge.net/index.html</a></p></li> <li><p>Fast-Code (Java) - <a href="http://fast-code.sourceforge.net/">http://fast-code.sourceforge.net/</a></p></li> <li><p>TestGen4J (Java) - <a href="http://sourceforge.net/projects/spike-test-gen/">http://sourceforge.net/projects/spike-test-gen/</a> (Reported not working) </p></li> <li><p>Agitar (Java) - <a href="http://www.agitar.com/">http://www.agitar.com/</a> (Comercial,ensures 80% line coverage) </p></li> <li><p>ReAssert (Java) - <a href="http://mir.cs.illinois.edu/reassert/">http://mir.cs.illinois.edu/reassert/</a> (Repairing Unit tests) </p></li> <li><p>Daikon (Multi-Language) - <a href="http://groups.csail.mit.edu/pag/daikon/">http://groups.csail.mit.edu/pag/daikon/</a> (Invariant Detector) </p></li> <li><p>Jaca (Java) - <a href="http://www.ic.unicamp.br/~eliane/JACA.html">http://www.ic.unicamp.br/~eliane/JACA.html</a></p></li> <li><p>Pex (.NET) - <a href="http://research.microsoft.com/en-us/projects/pex/">http://research.microsoft.com/en-us/projects/pex/</a></p></li> </ul> <p>These tools apply mostly to Java, but am also looking for .NET or other languages.</p> <p>Can anyone propose other tools</p>

Querying!

Guidance

An individual column

Larger individual text columns get their own page to allow for proper reading.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload