Skip to content
like haskell's QuickCheck http://rosylilly.github.com/QueenCheck
Ruby
Find file
Fetching latest commit…
Cannot retrieve the latest commit at this time.

README.md

QueenCheck Build Status Gem Status

QueenCheck is random test library.

Inspired by QuickCheck library in Haskell.

Usage

$ gem install queencheck

or

$ git clone git://github.com/rosylilly/QueenCheck.git QueenCheck
$ cd QueenCheck
$ bundle install
$ bundle exec rake install

CI Report

See Travis-CI

Abstract

let's start DDT(Data Driven Testing)

require 'queencheck'

def plus(x, y)
  x + y
end

prop_Plus = QueenCheck::Testable.new(Integer, Integer) do | x, y |
  plus(x, y) == x + y
end
puts prop_Plus.check.pretty_report
# Tests: 100
#   ✓ Successes  : 100
#   ✗ Failures   :   0
#   ✷ Exceptions :   0

with exception, labeling and where

def div(x, y)
  x / y # => raise ZeroDividedError if y == 0
end

prop_Div = QueenCheck::Testable.new(Integer, Integer) do | x, y |
  div(x, y) == x / y
end
puts prop_Div.check.pretty_report
# Tests: 100
#   ✓ Successes  :  99
#   ✗ Failures   :   1
#   ✷ Exceptions :   1

puts prop_Div.check_with_label(
  "x > y" => proc{|x,y| x > y },
  "x < y" => proc{|x,y| x < y },
  "x = y" => proc{|x,y| x == y },
  "x is 0" => proc{|x,y| x.zero? },
  "y is 0" => proc{|x,y| y.zero? }
).pretty_report
# Tests: 100
#  ✓ Successes  :  99
#    x > y  :  43
#    x < y  :  56
#    x = y  :   0
#    x is 0 :   0
#    y is 0 :   0
#  ✗ Failures   :   1
#    x > y  :   0
#    x < y  :   0
#    x = y  :   1
#    x is 0 :   1
#    y is 0 :   1
#  ✷ Exceptions :   1
#    x > y  :   0
#    x < y  :   0
#    x = y  :   1
#    x is 0 :   1
#    y is 0 :   1

int_generater = Integer.arbitrary.gen # => QueenCheck::Gen
nonzero_integer = int_generater.where{|num| !num.zero? }
prop_DivSuccess = QueenCheck::Testable.new(nonzero_integer, nonzero_integer) do | x, y |
  div(x, y) == x / y
end
puts prop_DivSuccess.check_with_label(
  "x > y" => proc{|x,y| x > y },
  "x < y" => proc{|x,y| x < y },
  "x = y" => proc{|x,y| x == y },
  "x is 0" => proc{|x,y| x.zero? },
  "y is 0" => proc{|x,y| y.zero? }
).pretty_report
# Tests: 99
#   ✓ Successes  : 99
#     x > y  : 55
#     x < y  : 44
#     x = y  :  0
#     x is 0 :  0
#     y is 0 :  0
#   ✗ Failures   :  0
#     x > y  :  0
#     x < y  :  0
#     x = y  :  0
#     x is 0 :  0
#     y is 0 :  0
#   ✷ Exceptions :  0
#     x > y  :  0
#     x < y  :  0
#     x = y  :  0
#     x is 0 :  0
#     y is 0 :  0

Help me

please fork QueenCheck repository.

I'm waiting for the code review of you !

Something went wrong with that request. Please try again.