Как и почему имущественного тестирования в Ruby

`` ... IF@5!x}PI({m[8XPw=r1Vep(\*uIi Cz)ZkAcUUE],xoOI/@g*&; I): JVN $
J \ Oo ”PT R-8[A3);k*5Li0+v;[e8o= R{IL2Vz]$.KcOG<uy<gBpPc}T|+j7n .gsw?:?#"Iy%0O>-V0!]y#K} R-8[A3);k*5Li0+v;[e8o= R{IL2Vz]$.KcOG<uy<gBpPc}T|+j7n .gsw?:?#"Iy%0O>-V0!]y#K} R-8[A3);k*5Li0+v;[e8o= R{IL2Vz]$.KcOG<uy<gBpPc}T|+j7n .gsw?:?#"Iy%0O>-V0!]y#K} 6> M! Ny
xnkLFCLeim) VR9r | qaZuoYrNWd1GOU
? ~ Т | 6 ;; Н ~ термометр) _ + L-МИКС-X? Lkb55Z7C»_Ps
Kb [Или V’ypYI KwK> хв>:!? S- D GXS
! Фунт% мт> u0V6xHwh9 + D6C $ / Q0! УКМ \ Y

успех: 1000 тестов
,
«`

2. Идемпотентность

Идемпотент — слово, чтобы произвести впечатление на ваших друзей и раздражать ваших коллег! Это означает, что делать это один раз — это то же самое, что делать это несколько раз. Например, вызов Array#uniq несколько раз приведет к одному и тому же значению. Функции сортировки также относятся к той же категории.

Давайте попробуем Array#uniq (вы можете поместить это в spec / uniq.rb ):

 require 'rantly' require 'rantly/rspec_extensions' require 'rantly/shrinks' RSpec.describe "Array" do it "uniq is idempotent" do property_of { Rantly { array { Rantly { i = integer; guard i >= 0; i } } } }.check { |a| expect(a.uniq.uniq).to eq(a.uniq) } end end 

Здесь мы генерируем массив неотрицательных целых чисел. Мы используем генератор защиты, чтобы ограничить сгенерированные целые числа только неотрицательными:

 Rantly { i = integer; guard i >= 0; i } 

3. Использование существующей реализации

Допустим, вы обнаружили новый алгоритм сортировки QuickerSort, который, как вы знаете, работает быстрее, чем существующий алгоритм сортировки, реализованный в Ruby. Теперь все, что вам нужно сделать, это убедиться, что ваша реализация QuickerSort дает те же результаты, что и реализация Ruby.

С помощью QuickCheck мы можем легко выразить свойство следующим образом:

 RSpec.describe "Array" do it "Array#quicker_sort works produces the same result as Array#sort" do property_of { Rantly { array(range(0, 100)) { integer }} }.check { |a| expect(a.quicker_sort).to eq(a.sort) } end end 

Здесь мы генерируем массив случайных целых чисел, который может быть пустым массивом вплоть до массива из 100 элементов.

Пользовательские генераторы: создание последовательности ДНК

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

В этом примере мы создадим генератор последовательности ДНК. Для наших целей последовательность ДНК в основном представляет собой массив, который содержит комбинацию A , T , G и C

Примером может быть ["C", "G", "A", "G", "A", "T", "G"] . Наша первая остановка — Rantly#choose , который позволяет генератору выбрать значение из указанных вариантов:

choose("A", "T", "G", "C")

Далее мы знаем, что нам нужен массив. Генератор массива принимает блок, который вызывается для генерации элемента массива. Это именно то, что нам нужно:

Rantly { array { choose("A", "T", "G", "C") } }

Чтобы добавить некоторые вариации, мы также можем заставить генератор создавать массивы различной длины, указав диапазон:

Rantly { array(range(0, 20)) { choose("A", "T", "G", "C") } }

Попробуйте это на консоли. Вам нужно будет выполнить require "rantly" :

 > 10.times { p Rantly { array(range(1,20)) { choose("A", "T", "G", "C") } } } ["T", "A", "A", "G", "A", "A", "T", "G", "G", "T", "A", "T", "T", "T"] ["T", "A", "T", "T", "G"] ["T", "T", "C", "G", "T", "T", "C", "A"] ["T", "C", "C"] ["G", "G", "T", "C"] ["A", "A", "A", "A", "C", "G", "T", "G", "G", "T"] ["C", "A", "G"] ["T", "G", "C", "C", "A", "C", "C", "T", "G", "C", "T", "C", "G", "C"] ["G", "C", "T", "T", "T", "A", "C", "A"] ["G", "G", "G", "A", "C", "T", "G", "C"] => 10 

Довольно круто, а?

Резюме

Тестирование на основе свойств предлагает другой способ думать о тестах. Вместо того, чтобы писать конкретные примеры, почему бы не написать общие свойства и позволить инструменту генерировать тестовые случаи для вас?

Однако, пока не выбрасывайте свои юнит-тесты! Основанное на свойствах тестирование, вероятно, было бы наиболее полезным для тестирования таких вещей, как структуры данных, функции без сохранения состояния (то есть функции в смысле слова функционального программирования) и алгоритмы. Это, вероятно, не очень подходит для тестирования бизнес-логики. Другими словами, Rantly — это новый инструмент в вашем поясе, а не весь ремень.

Попробуйте Rantly и дайте мне знать, как это происходит. Удачного тестирования!