Инструменты для создания тестовых примеров

Я ищу инструменты или фреймворки, которые могут либо генерировать тестовые примеры, либо помогать в тестировании программного обеспечения.

До сих пор я нашел следующее:

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
Fast-Code (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 (Multi-Language) - 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 или другие языки.

Кто-нибудь может предложить другие инструменты

Ответ 1

Dotnet Testdatagenerator NBuilder

Ответ 2

Язык агностик все-парное тестирование

Мы использовали PICT в качестве инструмента для успешного сведения к минимуму количества тестовых ящиков, при этом все еще разумно уверен, что в большинстве случаев они покрыты.

аргументация по тестированию всех пар заключается в следующем: простейшие ошибки в программа, как правило, запускается один входной параметр. Следующий Простейшая категория ошибок состоит из зависимых от взаимодействий между парами параметров, которые могут быть пойманным при тестировании всех пар. Ошибки, связанные с взаимодействием между три или более параметров прогрессивно менее общий2, в то время как в в то же время постепенно дорогостоящий поиск по исчерпывающим тестирования, который имеет в качестве своего предела исчерпывающее тестирование всех возможных входы.

Ответ 3

Чтобы добавить к списку выше, если вы смотрите на создание тестового примера Pairwise (Combinatorial), полный (обычно) обновленный и расширенный список всех таких инструментов, которые позволяют генерировать тестовые примеры, наряду с анализом эффективность каждого, исследовательские документы и др. и др. можно найти на http://www.pairwise.org/