Preventing errors by testing or debugging software