Февральская встреча

[Sergey Bushnyak]

OdHUG - Февральская встреча - "Тестирование в Haskell"

http://www.haskell.od.ua/site/posts/2015-02-16-announcement.html

Ищем докладчиков!

[Oleg Tsybulskyi]

Надо бы уточнить аудиторию или что там у них в ШАГе.

16 февраля 2015 г., 23:45 пользователь Sergey Bushnyak <s.bus...@gmail.com> написал:

OdHUG - Февральская встреча - "Тестирование в Haskell"

http://www.haskell.od.ua/site/posts/2015-02-16-announcement.html

Ищем докладчиков!

--
Вы получили это сообщение, поскольку подписаны на группу "OdHUG".
Чтобы отменить подписку на эту группу и больше не получать от нее сообщения, отправьте письмо на электронный адрес odhug+un...@googlegroups.com.
Чтобы отправлять сообщения в эту группу, отправьте письмо на электронный адрес od...@googlegroups.com.
Чтобы зайти в группу, перейдите по ссылке http://groups.google.com/group/odhug.
Чтобы настроить другие параметры, перейдите по ссылке https://groups.google.com/d/optout.

--

Олег Цыбульский, тел. (+38)050-513-24-33

[Sergey Bushnyak]

Ближе к встрече. Я перешлю отдельное письмо, где будет аудитория указана.

[Sergey Bushnyak]

Ребята, попиарьте событие в ваших жж или других местах где вы социализируетесь. А так же активно записывайтесь на встречу.  

[Oleg Tsybulskyi]

Большое спасибо Сергею, что взялся и сделал доклад. Теперь я хоть имею представление, как работают тест-фреймворки HSpec и Tasty. Ну и по поводу тестирования на случайных, сгенерированных данных анекдот вспомнился:

Как физики доказывают теоремы.
"Теорема: все нечетные числа больше 2 - простые.
Доказательство: проверим. 3 - простое число, 5 - простое, 7 - простое. Возьмем наугад несколько чисел. 11, 17 , 19 - все простые.
Вывод: все нечетные числа больше 2 - простые.
Теорема доказана." 

--

[Andrew Lelechenko]

По поводу тестирования. И Smallcheck, и Quickcheck определяют newtype Positive и каждый вешают на свой инстанс класса (Serial и Arbitrary соответственно). Как быть, если в test-suite используются обе библиотеки?

Я сейчас делаю
import Test.QuickCheck hiding (Positive)
import Test.SmallCheck.Series
и доопределяю SmallCheck.Positive инстансом
instance (Num a, Ord a, Arbitrary a) => Arbitrary (Positive a)

Есть ли более приличный способ?

Если что, исходник - https://github.com/Bodigrim/exp-pairs/blob/master/tests/Instances.hs
Замечания по коду приветствуются.

—
С уважением,
Андрей

[Roman Cheplyaka]

Нормально, наверное.

Тестирование одних и тех же свойств QuickCheck'ом и SmallCheck'ом
одновременно — это режим паранойи :) Обычно если даже их совмещают в
одном проекте (что уже очень редко), то для каждого свойства выбирают
что-то одно.

В таком случае можно импортировать оба Positive qualified и в каждом
свойстве использовать "родной" Positive.