[isabelle-dev] Feedback from a Isabelle tutorial
ballarin at in.tum.de
Sat Jun 25 11:51:45 CEST 2011
Quoting Makarius <makarius at sketis.net>:
> In principle everything is possible, but one needs to try hard to
> minimize "options" and "features". Otherwise it becomes impossible
> to maintain robustness of the application. There are no proper
> automated test procedures, which means I usually play through all
> the important things manually (on 3 platform families).
Java provides support for GUI tests through a Robot class, and there
are frameworks out there since everybode has this problem. It'll sure
be worth investigating automatic testing (student project?).
More information about the isabelle-dev