[pyar] [OT] NINJA-IDE: Generador de Tests

[Mariano Guerra]

Quoting Diego Sarmentero (2013-11-21 18:09:53)
> Groso, muy buenos ambos comentarios.
> 
> Sigo escuchando sugerencias :D

que en base a los tipos y anotaciones te genere pruebas al estilo QuickCheck[1]
hay una implementacion en python[2] pero no se que tan bien esta.

Personalmente me gustaria usar las anotaciones de python para estandarizar un
lenguaje opcional de tipado ala dialyzer[3] o typed clojure[4] y que
en base a eso te genere los tests tipo QuickCheck.

por ejemplo con el port de QuickCheck a clojure[5] vi en las ultimas semanas
que terminaron encontrando bugs en clojure mismo, por ejemplo http://dev.clojure.org/jira/browse/CLJS-677 :D

[1] https://en.wikipedia.org/wiki/QuickCheck
[2] http://dan.bravender.us/2009/6/21/Simple_Quickcheck_implementation_for_Python.html
[3] http://www.erlang.org/doc/man/dialyzer.html
[4] https://github.com/clojure/core.typed
[5] https://github.com/reiddraper/simple-check