Which of the following may be used as a basis for scripting acceptance tests?