Editing Ru/Introduction to QuickCheck (section)

== Тестирование с QuickCheck  ==

Теперь мы можем протестировать ‘внутренности’ алгоритма, то есть функцию take5, отдельно. Используем QuickCheck. Для начала нам нужно воплощение(instanse) Arbitrary для типа Char -- он занимается генерацией произвольных Char для нашего тестирования. Для простоты я ограничу это промежутком специальных символов:

<haskell>
import Data.Char
import Test.QuickCheck

instance Arbitrary Char where
    arbitrary     = choose ('\32', '\128')
    coarbitrary c = variant (ord c `rem` 4)
</haskell>

Запустим GHCi(или Hugs) и испытаем какие-нибудь обобщенные свойства (хорошо, что мы можем использовать QuickCheck прямо из командной строки Haskell). Сначала, для простоты, значение типа [Char] равно самому себе:

<haskell>
*A> quickCheck ((\s -> s == s) :: [Char] -> Bool)
OK, passed 100 tests.
</haskell>

Что произошло? QuickCheck сгенерировал 100 случайных значений [Char] и применил наше свойство, проверяя, что результат был True во всех случаях.
QuickCheck ''сгенерирвал этот тестовый набор для нас''!

Теперь более интересное свойство: двойное обращение тождественно:

<haskell>
*A> quickCheck ((\s -> (reverse.reverse) s == s) :: [Char] -> Bool)
OK, passed 100 tests.
</haskell>

Великолепно!