rubycheck 0.0.1

data/example.rb

@@ -0,0 +1,38 @@
+#!/usr/bin/env ruby
+
+require "rubycheck"
+
+module RubyCheck
+	def self.gen_even
+		i = gen_int
+
+		if i % 2 == 0
+			i
+		else
+			i + 1
+		end
+	end
+end
+
+propEven = Proc.new { |n| n.even? }
+
+# Should fail.
+RubyCheck::for_all(propEven, [:gen_int])
+
+# Should pass.
+RubyCheck::for_all(propEven, [:gen_even])
+
+module RubyCheck
+	def self.gen_palindrome
+		s = gen_str
+		s + s.reverse
+	end
+end
+
+propPalindrome = Proc.new { |s| s == s.reverse }
+
+# Should fail.
+RubyCheck::for_all(propPalindrome, [:gen_str])
+
+# Should pass.
+RubyCheck::for_all(propPalindrome, [:gen_palindrome])

data/lib/rubycheck.rb

@@ -0,0 +1,51 @@
+module RubyCheck
+	# Returns a random integer from 0 to 10^10 - 1.
+	def self.gen_int
+		Random::rand(10e10).to_i
+	end
+
+	# Returns a random byte.
+	def self.gen_byte
+		gen_int % 256
+	end
+
+	# Returns a random ASCII character.
+	def self.gen_char
+		(gen_int % 128).chr
+	end
+
+	# Returning a random array given a value generator.
+	def self.gen_array(gen_sym)
+		len = gen_int % 100
+
+		0.upto(len).collect { |i| self.send(gen_sym) }
+	end
+
+	# Returns a random string.
+	def self.gen_str
+		gen_array(:gen_char).join("")
+	end
+
+	# Evaluates property over 100 random unit tests,
+	# with argument values specified in generators.
+	def self.for_all(property, gen_syms)
+		trials = 100
+
+		passed_all = true
+
+		0.upto(trials - 1) { |i|
+			test_case = gen_syms.collect { |gen_sym| self.send(gen_sym) }
+
+			propertyHolds = property.call(*test_case)
+
+			if not propertyHolds
+				puts "*** Failed!"
+				puts test_case
+				return false
+			end
+		}
+
+		puts "+++ OK, passed #{trials} tests."
+		true
+	end
+end

metadata

@@ -0,0 +1,46 @@
+--- !ruby/object:Gem::Specification
+name: rubycheck
+version: !ruby/object:Gem::Version
+  version: 0.0.1
+  prerelease: 
+platform: ruby
+authors:
+- Andrew Pennebaker
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2013-02-13 00:00:00.000000000 Z
+dependencies: []
+description: See example.rb for API usage.
+email: andrew.pennebaker@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- lib/rubycheck.rb
+- example.rb
+homepage: http://www.yellosoft.us/quickcheck
+licenses: []
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 1.8.24
+signing_key: 
+specification_version: 3
+summary: a Ruby port of the QuickCheck unit test framework
+test_files: []