# Distributed Dojo: riffraff+kral = Test::Quick

**URL:** <https://www.ruby-forum.com/t/distributed-dojo-riffraff-kral-test-quick/106109>\
**Category:** IT\
**Created:** [June 6, 2007, 3:22pm UTC](https://www.ruby-forum.com/t/distributed-dojo-riffraff-kral-test-quick/106109 "2007-06-06T15:22:20Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![gabriele\_renzi](https://www.ruby-forum.com/letter_avatar_proxy/v4/letter/g/e19b73/32.png) [@gabriele\_renzi](https://www.ruby-forum.com/u/gabriele_renzi)\
**Post date:** [June 6, 2007, 3:22pm UTC](https://www.ruby-forum.com/t/distributed-dojo-riffraff-kral-test-quick/106109/1 "2007-06-06T15:22:20Z")

</div>

ciao gente,

è con piacere che annuncio l’adozione di Marco Dalla  
Stella per il DD.

io & lui cercheremo di fare qualcosa di carino  
implementando una libreria per il testing basato su  
specifiche.  
RSpec non c’entra un cavolo, qui si tratta di fare  
cose come

def foo(x)  
x \> 0 ? sqrt(x) : sqrt(-x)  
end  
forall X in Integer foo(X) \>= 0

non potendo definire operatori nuovi in ruby dovremo  
accontentarci di una cosa come  
property(‘foo(x) is always \>=0’,Int) {|x| foo(x)\>=0}

e il sistema dovrebbe generare in automatico qualche  
migliaio di test random, e segnalare se qualcosa  
fallisce.

Non sappiamo ancora quanto la cosa sarà complicata, ma  
intanto io ho scritto qualche test e adesso aspetto in  
panciolle che marco li faccia passare 🙂

Il codice l’abbiamo messo su [code.google.com](http://code.google.com) perché  
era la cosa più veloce:  
[Google Code Archive - Long-term storage for Google Code Project Hosting.](http://code.google.com/p/test-quick/)  
Peccato non supportino darcs 🙂

```
  ___________________________________________________________

```

Yahoo! Mail is the world’s favourite email. Don’t settle for less, sign  
up for  
your free account today  
[http://uk.rd.yahoo.com/evt=44106/\*http://uk.docs.yahoo.com/mail/winter07.html](http://uk.rd.yahoo.com/evt=44106/*http://uk.docs.yahoo.com/mail/winter07.html)