У меня был некоторый успех при запуске Pex с F #. Версией, которую я использовал, если верить моей папке «Загрузки», была академическая версия Microsoft Pex and Moles 0.94.51006.1 для (x86). Установочный файл был назван pex.academic.x86.msi.
Я не знаю, предшествует ли эта версия вашей.
Мои впечатления от моих испытаний заключались в том, что Pex и F # были не очень хорошей комбинацией: Pex настаивал на создании тестовых случаев с нулевыми входами. Поскольку генерация нулевых значений в F # не так уж распространена, обычно это не те сценарии, в которых я заинтересован. Добавление множества предположений для устранения тех, которые только что оставили меня с Pex, не в состоянии генерировать тестовые случаи. По общему признанию, функции, которые я тестировал, были слишком сложными, мне все еще нравится идея Pex, и я мог бы попробовать ее снова на меньших / более простых частях кода.
Использование Pex и его графического интерфейса в VS 2010 работало относительно хорошо, но не без разочарований.