我正在寻找可以生成测试用例或辅助软件测试的工具或框架。
到目前为止,我发现了以下内容:
Feed4JUnit(Java) - http://testful.sourceforge.net/updateSite/
MuClipse(Java) - http://muclipse.sourceforge.net/
MuJava(Java) - http://cs.gmu.edu/~offutt/mujava/
JTest(Java,Commercial) - 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
快速代码(Java) - http://fast-code.sourceforge.net/
TestGen4J(Java) - http://sourceforge.net/projects/spike-test-gen/ (报告不起作用)
Agitar(Java) - http://www.agitar.com/(Comercial,确保80%线路覆盖率)
ReAssert(Java) - http://mir.cs.illinois.edu/reassert/(修复单元测试)
Daikon(多语言) - http://groups.csail.mit.edu/pag/daikon/(不变检测器)
Jaca(Java) - http://www.ic.unicamp.br/~eliane/JACA.html
Pex(.NET) - http://research.microsoft.com/en-us/projects/pex/
这些工具主要适用于Java,但我也在寻找.NET或其他语言。
任何人都可以提出其他工具
答案 0 :(得分:2)
Dotnet Testdatagenerator NBuilder
答案 1 :(得分:2)
语言不可知all-pair testing
我们已经使用PICT作为工具来成功地最大限度地减少了测试用例的数量,同时仍然可以合理地确信大部分案例都已被覆盖。
所有对测试背后的原因是:最简单的错误 程序通常由a触发 单输入参数。下一个 最简单的错误类别包括 那些依赖于互动的人 在参数对之间,可以 被所有对测试抓住 涉及之间相互作用的错误 三个或更多参数是 逐渐减少共同2,而在 同时逐步增加 通过详尽的找到昂贵 测试,其中有限制 所有可能的详尽测试 输入。
答案 2 :(得分:2)
要添加到上面的列表中,如果您正在查看Pairwise(Combinatorial)测试用例生成,完整的(通常)更新以及所有此类工具的扩展列表,这些工具可以生成测试用例,同时还可以分析各研究论文的有效性等。人。可以在http://www.pairwise.org/
找到