Having read just another pamphlet about a successful software project with special emphasis on testing, testing, testing.
If they had chosen the right algorithms and made assumptions about their performance (Big Oh and stuff), that testing, testing, testing could have been reduced significantly.
Old school, I know. They don't trust their own software anymore.