rushcheck 0.7 → 0.8

data/Rakefile

@@ -6,7 +6,7 @@ require 'rubygems'
 require 'rake'
 require 'rake/gempackagetask'
 
-RUSHCHECK_VERSION="0.7"
+RUSHCHECK_VERSION="0.8"
 task :default => ["dist", "gem"]
 
 task :dist do
@@ -32,7 +32,7 @@ spec = Gem::Specification.new do |s|
   s.bindir       = 'bin'
   # s.executable = 
   # s.extra_rdoc_files = 
-  s.files = FileList['lib/**/*', 'data/**/**/*', 
+  s.files = FileList['lib/**/*', 'data/**/**/**/*', 
                      '[A-Z]*', 'copying.txt'].to_a
   s.description = <<-EOF
     RushCheck is a random testing tool which is one of implementations

data/data/rushcheck/doc/rushcheck.thtml

@@ -662,7 +662,7 @@ h3. <a name="using Gen.create">(1) using Gen.create</a>
 
 <pre>
 class Candy
-  extend Arbitrary
+  extend RushCheck::Arbitrary
 
   def self.arbitrary
     RushCheck::Gen.create(String, Integer) do |name, price|

data/data/rushcheck/doc/spec.txt

@@ -0,0 +1,45 @@
+2006-11-29 start
+
+files
+-----
+rushcheck.rb
+rushcheck/arbitrary.rb	rushcheck/claim.rb   rushcheck/guard.rb    rushcheck/property.rb  rushcheck/testable.rb
+rushcheck/array.rb	rushcheck/config.rb  rushcheck/hash.rb	   rushcheck/random.rb	  rushcheck/testoptions.rb
+rushcheck/assertion.rb	rushcheck/float.rb   rushcheck/integer.rb  rushcheck/result.rb	  rushcheck/testresult.rb
+rushcheck/bool.rb	rushcheck/gen.rb     rushcheck/proc.rb	   rushcheck/string.rb	  rushcheck/version.rb
+
+21 files
+
+categories
+----------
+- prelude
+  | rushcheck.rb
+- version
+  | version.rb
+- arbitrary for base classes
+  | array.rb
+  | bool.rb
+  | float.rb
+  | hash.rb
+  | integer.rb
+  | proc.rb
+  | string.rb
+- random number generators
+  | random.rb
+- interfaces
+  | assertion.rb
+  | claim.rb
+  | guard.rb
+- internal preliminaries
+  | arbitrary.rb
+  | config.rb
+  | gen.rb
+  | property.rb
+  | result.rb
+  | testable.rb
+  | testoptions.rb
+  | testresult.rb
+
+specification
+-------------
+

data/data/rushcheck/examples/candy.rb

@@ -30,9 +30,9 @@ class ExpensiveCandy < Candy
 
   def self.arbitrary
     lo = 100000
-    g = Gen.sized { |n| Gen.choose(lo, n + lo)}
+    g = RushCheck::Gen.sized { |n| Gen.choose(lo, n + lo)}
     xs = [String.arbitrary, g]
-    Gen.create_by_gen(xs) do |name, price|
+    RushCheck::Gen.create_by_gen(xs) do |name, price|
       RushCheck::guard { price >= 100000 }
       new(name, price)
     end

data/data/rushcheck/examples/printf.rb

@@ -10,7 +10,7 @@ def malformed_format_string
   RushCheck::Assertion.new(String) { |s|
     sprintf(s)
     true
-  }.check
+  }
 end
 
 def malformed_format_string2
@@ -18,5 +18,5 @@ def malformed_format_string2
   RushCheck::Assertion.new(SpecialString) { |s|
     sprintf(s)
     true
-  }.check
+  }
 end

data/lib/rushcheck/assertion.rb

@@ -32,6 +32,8 @@ module RushCheck
     
     include RushCheck::Testable
 
+    attr_reader :proc
+
     def initialize(*xs, &f)
       @inputs = xs[0..(f.arity - 1)]
       @proc = f

data/lib/rushcheck/config.rb

@@ -11,21 +11,18 @@ module RushCheck
 
     attr_reader :max_test, :max_fail, :size, :every
 
-    def self.quick
+    def self.verbose 
       new(100, 1000, 
           Proc.new{|x| x / 2 + 3},
           Proc.new do |n, args|
-            s = n.to_s
-            s + ("\b" * s.length)
+            n.to_s + ":\n" + args.join("\n") + "\n"
           end)
     end
 
-    def self.verbose 
+    def self.silent
       new(100, 1000, 
           Proc.new{|x| x / 2 + 3},
-          Proc.new do |n, args|
-            n.to_s + ":\n" + args.join("\n") + "\n"
-          end)
+          Proc.new { |n, args| ''})
     end
 
     def self.batch(n, v)
@@ -36,7 +33,10 @@ module RushCheck
           end)
     end
 
-    def initialize(max_test, max_fail, size, every)
+    def initialize(max_test = 100, 
+                   max_fail = 1000,
+                   size = Proc.new {|x| x / 2 + 3},
+                   every = Proc.new {|n, args| s = n.to_s; s + ("\b" * s.length)})
       @max_test, @max_fail, @size, @every = max_test, max_fail, size, every
     end
 

data/lib/rushcheck/gen.rb

@@ -17,7 +17,9 @@ module RushCheck
     # choose returns a Gen object which generates a random value in the
     # bound. It may useful to implement arbitrary method into your class.
     def self.choose(lo=nil, hi=nil)
-      rand.fmap {|x| lo.class.random(x, lo, hi)[0] }
+      rand.fmap do |x| 
+        lo.class.random(x, lo, hi).first
+      end
     end
 
     # create_gen is one of primitive generators to create a random Gen object.
@@ -77,7 +79,7 @@ module RushCheck
     # random generator Gen.rand in 33%, while another random generator
     # of Integer (Integer.arbitrary) in 67%.
     def self.frequency(xs)
-      tot = xs.inject(0) {|r, pair| r + pair[0]}
+      tot = xs.inject(0) {|r, pair| r + pair.first}
       raise(RuntimeError, "Illegal frequency:#{xs.inspect}") if tot == 0
       choose(0, tot - 1).bind do |n|
         m = n
@@ -219,7 +221,7 @@ module RushCheck
 
     # variant constructs a generator which transforms the random number
     # seed. variant takes one variable which should be an
-    # Integer. variant is needed to generate rundom functions.
+    # Integer. variant is needed to generate random functions.
     def variant(v)
       self.class.new do |n, r| 
         gen = r

data/lib/rushcheck/integer.rb

@@ -44,7 +44,6 @@ class Integer
     m = (self >= 0) ? 2 * self  : (-2) * self + 1
     g.variant(m)
   end
-
 end
 
 class PositiveInteger < Integer
@@ -97,7 +96,7 @@ class NegativeInteger < Integer
   def self.arbitrary
     RushCheck::Gen.sized do |n| 
       n = (-1) - n if n >= 0
-      RushCheck::Gen.choose(-n, -1) 
+      RushCheck::Gen.choose(n, -1) 
     end
   end
 

data/lib/rushcheck/string.rb

@@ -19,11 +19,11 @@ class String
 
   def self.arbitrary
     RushCheck::Gen.sized do |n|
-      RushCheck::Gen.choose(0, n).bind do |len|
-        RushCheck::Gen.vector(Integer, len).fmap do |xs|
-          xs.map{|x| (x % 128).chr}.join
-        end
-      end
+      # Note the Benford's law;
+      # http://mathworld.wolfram.com/BenfordsLaw.html
+      # This says that (a random integer % 128).chr seems not
+      # have /really randomness/.
+      RushCheck::Gen.unit((0..n).map{rand(128).chr}.join)
     end
   end
 

data/lib/rushcheck/testable.rb

@@ -14,7 +14,7 @@ module RushCheck
       raise(NotImplementedError, "This method should be overrided.")    
     end
 
-    def check(config=RushCheck::Config.quick)
+    def check(config=RushCheck::Config.new)
       config.tests(property.gen, RushCheck::TheStdGen.instance)
     end
     alias quick_check :check
@@ -97,6 +97,10 @@ module RushCheck
       nil
     end
 
+    def silent_check
+      check(RushCheck::Config.silent)
+    end
+
     def test
       check(RushCheck::Config.verbose)
     end

data/lib/rushcheck/version.rb

@@ -3,6 +3,6 @@
 
 module RushCheck
 
-  VERSION = "0.7"
+  VERSION = "0.8"
 
 end

metadata

@@ -3,8 +3,8 @@ rubygems_version: 0.9.0
 specification_version: 1
 name: rushcheck
 version: !ruby/object:Gem::Version 
-  version: "0.7"
-date: 2006-10-28 00:00:00 +09:00
+  version: "0.8"
+date: 2007-08-25 00:00:00 +09:00
 summary: A lightweight random testing tool
 require_paths: 
   - lib
@@ -59,6 +59,7 @@ files:
   - data/rushcheck/rdoc
   - data/rushcheck/doc/policy.txt
   - data/rushcheck/doc/rushcheck.thtml
+  - data/rushcheck/doc/spec.txt
   - data/rushcheck/examples/candy.rb
   - data/rushcheck/examples/printf.rb
   - data/rushcheck/examples/proc.rb