User loginNavigation |
AutoTest - 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 | previous forum topic | next forum topic | other blogs | 6304 reads
|
Browse archives
Active forum topics |
Recent comments
12 weeks 1 day ago
12 weeks 1 day ago
12 weeks 1 day ago
34 weeks 2 days ago
38 weeks 4 days ago
40 weeks 2 days ago
40 weeks 2 days ago
42 weeks 6 days ago
47 weeks 4 days ago
47 weeks 4 days ago