Re: Controlling growth rates of generators with test.check

2015-07-29 Thread Mayank Jain
Nice. Any updates on this?
Is this a good idea?

On Friday, May 15, 2015 at 12:13:06 PM UTC+5:30, Mikera wrote:

 Hi all,

 I am doing some generative testing with test.check and need a way to 
 control the growth rate of data structures (the regular linear growth 
 quickly makes the computations too large for meaningful testing usage). I 
 came up with the following solution to do this:

 (defn gen-resize 
   Creates a generator that pre-modifies the 'size' pramater with the 
 function f. Use if you want to 
have the size grow at a different rate from the normal linear scaling.
   ([f gen]
 (let [gf (or (:gen gen) gen paramter must be a test.check generator)
   new-gf (fn [rnd size]
(gf rnd (f size)))]
   (clojure.test.check.generators.Generator. new-gf

 Normal O(n) growth:

 (gen/sample gen/s-pos-int 30)
 = (1 2 3 2 4 5 4 7 6 3 3 7 10 4 8 11 14 12 6 10 9 1 8 21 12 16 25 25 21 6)

 Controlled O(sqrt(n)) growth:

 (gen/sample (gen-resize sqrt gen/s-pos-int) 30)
 = (1 2 2 2 2 4 3 3 3 3 4 3 5 1 2 3 2 4 4 2 2 3 6 6 2 5 5 4 6 3)

 So it seems to work, but is this a sane / recommended approach? Am I 
 relying too much on test.check internals?

   mikera


-- 
You received this message because you are subscribed to the Google
Groups Clojure group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
--- 
You received this message because you are subscribed to the Google Groups 
Clojure group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


Re: Controlling growth rates of generators with test.check

2015-07-29 Thread Mikera
See:
https://github.com/clojure/test.check/commit/d4883873df73717629272d0ab71619d7e58c9c9e

On Wednesday, 29 July 2015 23:31:14 UTC+8, Mayank Jain wrote:

 Nice. Any updates on this?
 Is this a good idea?

 On Friday, May 15, 2015 at 12:13:06 PM UTC+5:30, Mikera wrote:

 Hi all,

 I am doing some generative testing with test.check and need a way to 
 control the growth rate of data structures (the regular linear growth 
 quickly makes the computations too large for meaningful testing usage). I 
 came up with the following solution to do this:

 (defn gen-resize 
   Creates a generator that pre-modifies the 'size' pramater with the 
 function f. Use if you want to 
have the size grow at a different rate from the normal linear scaling.
   ([f gen]
 (let [gf (or (:gen gen) gen paramter must be a test.check generator)
   new-gf (fn [rnd size]
(gf rnd (f size)))]
   (clojure.test.check.generators.Generator. new-gf

 Normal O(n) growth:

 (gen/sample gen/s-pos-int 30)
 = (1 2 3 2 4 5 4 7 6 3 3 7 10 4 8 11 14 12 6 10 9 1 8 21 12 16 25 25 21 
 6)

 Controlled O(sqrt(n)) growth:

 (gen/sample (gen-resize sqrt gen/s-pos-int) 30)
 = (1 2 2 2 2 4 3 3 3 3 4 3 5 1 2 3 2 4 4 2 2 3 6 6 2 5 5 4 6 3)

 So it seems to work, but is this a sane / recommended approach? Am I 
 relying too much on test.check internals?

   mikera



-- 
You received this message because you are subscribed to the Google
Groups Clojure group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
--- 
You received this message because you are subscribed to the Google Groups 
Clojure group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


Re: Controlling growth rates of generators with test.check

2015-07-29 Thread Mayank Jain
Thanks. That looks useful.
On Jul 30, 2015 6:14 AM, Mikera mike.r.anderson...@gmail.com wrote:

 See:

 https://github.com/clojure/test.check/commit/d4883873df73717629272d0ab71619d7e58c9c9e

 On Wednesday, 29 July 2015 23:31:14 UTC+8, Mayank Jain wrote:

 Nice. Any updates on this?
 Is this a good idea?

 On Friday, May 15, 2015 at 12:13:06 PM UTC+5:30, Mikera wrote:

 Hi all,

 I am doing some generative testing with test.check and need a way to
 control the growth rate of data structures (the regular linear growth
 quickly makes the computations too large for meaningful testing usage). I
 came up with the following solution to do this:

 (defn gen-resize
   Creates a generator that pre-modifies the 'size' pramater with the
 function f. Use if you want to
have the size grow at a different rate from the normal linear
 scaling.
   ([f gen]
 (let [gf (or (:gen gen) gen paramter must be a test.check
 generator)
   new-gf (fn [rnd size]
(gf rnd (f size)))]
   (clojure.test.check.generators.Generator. new-gf

 Normal O(n) growth:

 (gen/sample gen/s-pos-int 30)
 = (1 2 3 2 4 5 4 7 6 3 3 7 10 4 8 11 14 12 6 10 9 1 8 21 12 16 25 25 21
 6)

 Controlled O(sqrt(n)) growth:

 (gen/sample (gen-resize sqrt gen/s-pos-int) 30)
 = (1 2 2 2 2 4 3 3 3 3 4 3 5 1 2 3 2 4 4 2 2 3 6 6 2 5 5 4 6 3)

 So it seems to work, but is this a sane / recommended approach? Am I
 relying too much on test.check internals?

   mikera



-- 
You received this message because you are subscribed to the Google
Groups Clojure group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
--- 
You received this message because you are subscribed to the Google Groups 
Clojure group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


Controlling growth rates of generators with test.check

2015-05-15 Thread Mikera
Hi all,

I am doing some generative testing with test.check and need a way to 
control the growth rate of data structures (the regular linear growth 
quickly makes the computations too large for meaningful testing usage). I 
came up with the following solution to do this:

(defn gen-resize 
  Creates a generator that pre-modifies the 'size' pramater with the 
function f. Use if you want to 
   have the size grow at a different rate from the normal linear scaling.
  ([f gen]
(let [gf (or (:gen gen) gen paramter must be a test.check generator)
  new-gf (fn [rnd size]
   (gf rnd (f size)))]
  (clojure.test.check.generators.Generator. new-gf

Normal O(n) growth:

(gen/sample gen/s-pos-int 30)
= (1 2 3 2 4 5 4 7 6 3 3 7 10 4 8 11 14 12 6 10 9 1 8 21 12 16 25 25 21 6)

Controlled O(sqrt(n)) growth:

(gen/sample (gen-resize sqrt gen/s-pos-int) 30)
= (1 2 2 2 2 4 3 3 3 3 4 3 5 1 2 3 2 4 4 2 2 3 6 6 2 5 5 4 6 3)

So it seems to work, but is this a sane / recommended approach? Am I 
relying too much on test.check internals?

  mikera

-- 
You received this message because you are subscribed to the Google
Groups Clojure group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
--- 
You received this message because you are subscribed to the Google Groups 
Clojure group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.