Я думаю, что Pex как инструмент для исследовательского тестирования действительно интригует. В связи с этим, я вижу это как то, что я хотел бы передать QA для использования.
Как инструмент TDD, он требует некоторой работы, поскольку TDD - это проектная деятельность. Тем не менее, мне нравится направление, в котором движется Пели. Есть что-то, что можно сказать об автоматизированном проектировании. Например, просто потому, что TDD - это инструмент проектирования, нет причины, по которой я не могу позволить автоматизированному инструменту указывать потенциальные крайние случаи во время разработки, верно? Качество сборки с самого начала.
Проверьте этот пост, в котором Peli использует Pex в рабочем процессе в стиле TDD. http://blog.dotnetwiki.org/TDDingABinaryHeapWithPexPart1.aspx