User loginNavigation |
archivesAutoTest - Automated contract based testing for EiffelAutoTest is a testing too for Eiffel akin to QuickCheck for Haskell, which automates testing of code based on contract based specifications of functions. While AutoTest is still in development, it is also more ambitious than QuickCheck, seeking to provide a single push-button approach to testing with multiple pluggable strategies for generating test data. A recent talk discusses in more detail some of the more advanced aspects of where AutoTest is going. Most importantly AutoTest has proved to be practical, having already found a number of bugs in Eiffel's base libraries! By Leland McInnes at 2006-10-06 16:59 | LtU Forum | login or register to post comments | other blogs | 6332 reads
Debugging Backwards in TimeOmniscient debugging is old hat by now, but some of you might still enjoy this video of Bil Lewis talking about the subject. It includes snakes and things, believe it or not... |
Browse archivesActive forum topics |
Recent comments
16 weeks 1 day ago
16 weeks 1 day ago
16 weeks 1 day ago
38 weeks 2 days ago
42 weeks 4 days ago
44 weeks 1 day ago
44 weeks 1 day ago
46 weeks 6 days ago
51 weeks 3 days ago
51 weeks 3 days ago