[vchakrav]

Actually, its a little strange that they would do this for a spreadsheet program. Spreadsheets are, by nature functional, and would yield themselves to approaches like quickcheck.

http://www.cs.chalmers.se/~rjmh/QuickCheck/

It would also help to know what exactly the tests were about. One could always write tests that test (tautology) the same invariant.