Pex

Mar 06, 2010 10:10

Они это сделали! Я и не надеялся уже, но Pex будет доступен в VS 2010 (и 2008) Pro, а не только в Team Suite ( Read more... )

quickcheck, программирование, pex, .net

Leave a comment

Comments 12

antilamer March 6 2010, 07:21:51 UTC
А он (Pex) на самом деле полезен?

Reply

alexey_rom March 6 2010, 07:32:19 UTC
Мне полезен. Не настолько, конечно, как QuickCheck в Haskell, но вполне.
Главная проблема, с которой я сталкивался - плохая работа со struct’ами.
Есть ещё FsCheck, всё собираюсь попробовать.

Reply

antilamer March 6 2010, 07:55:27 UTC
А можешь ткнуть в какой-нибудь убедительный пример его полезности?

Reply

alexey_rom March 6 2010, 08:11:59 UTC
Я могу только сказать на своём примере, что 1) я с его помощью находил баги 2) с меньшими затратами времени и усилий, чем потребовалось бы без него.

Вроде бы больше от инструмента для тестирования ничего и не требуется.

Конкретнее, баги находил в своей библиотеке функциональных структур данных для .Net, так что стиль QuickCheck там как раз очень удобен. Нужно бы, кстати, после выхода .Net 4.0 обновить её и сделать, наконец, релиз.

Reply


anonymous March 6 2010, 14:24:24 UTC
вот может интересно будет, http://drmastap.livejournal.com/16220.html
похожая штука, только пока в исследовательской версии

Reply

alexey_rom March 6 2010, 14:31:55 UTC
Спасибо! Ещё не видел.

Reply


anton_arhipov March 6 2010, 14:25:28 UTC
Qex очти как Pex :) http://research.microsoft.com/qex

Reply

alexey_rom March 6 2010, 14:30:17 UTC
Странно, блоги Тиллмана и де Халью (или как эта фамилия произносится?) я читаю, и вроде бы об этом проекте ничего не видел. Спасибо!

Reply

anton_arhipov March 6 2010, 14:37:12 UTC
Проект просто в исследовательской стадии, но если я правильно помню они хотели таки в vs2010 его добавить. Френд руку в прошлом году прикладывал - есть видео даже http://drmastap.livejournal.com/16220.html

Reply

drmastap May 4 2011, 16:35:33 UTC
*случайно набрел на этот топик* фамилия произносится де Алю с ударением на Ю :)
К сведению, Qex переродился на более перспективный на данный момент проект Rex http://research.microsoft.com/en-us/projects/rex/

Reply


Leave a comment

Up