Which of the following statements contains a valid goal for a functional test set?