Which of these are objectives for software testing?