测试用例生成工具

Question

我正在寻找可以生成测试用例或帮助软件测试的工具或框架。

到目前为止，我发现如下：

• Feed4JUnit (Java) - http://testful.sourceforge.net/updateSite/
• MuClipse (Java) - http://muclipse.sourceforge.net/
• MuJava (Java) - http://cs.gmu.edu/~offutt/mujava/
• JTest (Java，商业)- 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 (Java) - http://babelfish.arc.nasa.gov/trac/jpf/wiki
• UDITA (Java) - http://mir.cs.illinois.edu/udita/
• Korat (爪哇)- http://korat.sourceforge.net/index.html
• 快速代码(Java) - http://fast-code.sourceforge.net/
• TestGen4J (Java) - http://sourceforge.net/projects/spike-test-gen/ (报告不工作)
• Agitar (Java) - http://www.agitar.com/ (商城，确保80%的线路覆盖)
• ReAssert (Java) - http://mir.cs.illinois.edu/reassert/ (修复单元测试)
• Daikon (多语言)- http://groups.csail.mit.edu/pag/daikon/ (不变检测器)
• Java (Java) - http://www.ic.unicamp.br/~eliane/JACA.html
• Pex (.NET) - http://research.microsoft.com/en-us/projects/pex/

这些工具主要应用于Java，但也在寻找.NET或其他语言。

有人能提出其他的工具吗？

Answer 1

Dotnet测试数据生成器NBuilder

Answer 2

语言不可知论的 全对测试

我们已经将皮克特作为一个工具来成功地最小化测试用例的数量，同时仍然是合理的、有信心的，能够涵盖大多数案例。

所有对测试背后的理由是:程序中最简单的错误通常由单个输入参数触发。下一类最简单的bugs是那些依赖于参数对之间的交互的Bugs，这些依赖于所有对的测试。1涉及三个或更多参数之间的交互的Bugs的common2逐渐减少，同时通过穷举测试发现的代价也越来越高，因为它的限制是对所有可能的输入进行彻底的测试。

Answer 3

要添加到上面的列表中，如果您正在查看成对(组合)测试用例生成，完整的(通常)更新的以及所有这些工具的列表，这些工具可以让您生成测试用例，同时分析每一篇研究论文等的有效性。阿尔。可以在http://www.pairwise.org/找到