テストケース生成ツール
テストケースを生成したり、ソフトウェアテストを支援したりできるツールやフレームワークを探しています。
これまでのところ、私は次のことを発見しました。
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
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/
コラート（Java）- http://korat.sourceforge.net/index.html
Fast-Code（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/ （単体テストの修復）
大根（多言語）- http://groups.csail.mit.edu/pag/daikon/ （不変検出器）
Pex（.NET）- http://research.Microsoft.com/en-us/projects/pex/
これらのツールは主にJavaに適用されますが、.NETまたは他の言語も探しています。
誰でも他のツールを提案できますか
言語に依存しない すべてのペアのテスト
[〜＃〜] pict [〜＃〜] をツールとして使用して、テストケースの量を最小限に抑えながら、ほとんどのケースをカバーできると確信しています。
すべてのペアのテストの背後にある理由は次のとおりです。プログラムの最も単純なバグは、通常、単一の入力パラメーターによってトリガーされます。次の最も単純なカテゴリのバグは、パラメータのペア間の相互作用に依存するもので構成され、すべてのペアのテストで検出できます。13つ以上のパラメータ間の相互作用を伴うバグは、次第に一般的ではなくなります2が、同時に次第に高価になります。可能なすべての入力の徹底的なテストを限界として持つ徹底的なテストによって見つけること。
Dotnet Testdatagenerator NBuilder
上記のリストに追加するために、Pairwise（Combinatorial）テストケースの生成を検討している場合は、テストケースの生成を可能にするすべてのツールの完全な（通常は）更新された広範なリストと、それぞれ、研究論文等。 al。 http://www.pairwise.org/ で見つけることができます