Initial specifications in testing