Gedanken experimentation : An alternative to traditional system testing ? *