Which of the following is a method of software testing?