@Jori Mäntysalo

So you have a mind of a tester? That's good to  know.  
In general I think it would be good to have a random testing framework  
together with a testbot in sage.


I'm working on that in Singular and Macaulay2 
<https://github.com/jakobkroeker/infiniteTests.M2>  and already catched 
more than 100 bugs <https://github.com/jakobkroeker/test-CAS/wiki>
 Most of them were fixed (some by me). Unfortunately I make only slow 
progress, because I moved to industry a year ago.

Maybe you are also interested in the slides from my presentation about bug 
hunting and bug preventing on 
https://wiki.sagemath.org/days66

Jakob


Am Samstag, 22. Oktober 2016 10:06:18 UTC+2 schrieb Jori Mäntysalo:
>
> I just play a little with Python. I think others might also benefit on 
> this when testing corner cases like 0x0 or 1x1 matrices, 1-element groups 
> and so on. 
>
> G = Graph() 
> known_kaboom = ['is_prime', 'layout_graphviz'] 
> errors = [] 
> for f in [y for y in dir(G) if y[0] != '_']: 
>      if f in known_kaboom: 
>          continue 
>      try: 
>          attrcall(f)(G) 
>      except TypeError as e: 
>          if "takes exactly" in e.message: 
>              continue 
>      except Exception as e: 
>          print(f, e) 
>          print 
>          errors.append(f) 
>          continue 
> errors 
>
> (This found that for example is_triangle_free() and is_cayley() fails. 
> known_kaboom is needed as for example is_prime() don't just throw an 
> exception, it stops the whole workseet.) 
>
> -- 
> Jori Mäntysalo 
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to