This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: Lecture 6 - Adequacy-Functional Spring 2010 CSci 5802 1 CSci 5802 CSci 5802 Software Engineering II Adequacy and Functional Chapters 9 and 10 1 Spring 2010 CSci 5802 Aims for Today Understand the purpose of defining test adequacy criteria, and their limitations http://www Understand the rationale for systematic (non- random) selection of test cases Understand the basic concept of partition testing and its underlying assumptions Understand why functional test selection is a .umsec.umn.edu Spring 2010 CSci 5802 2 primary, base-line technique Why we expect a specification-based partition to help select valuable test cases Lecture 6 - Adequacy-Functional Spring 2010 CSci 5802 2 Adequacy: We cant get what we want What we would like: A real way of measuring effective testing If the system system passes an adequate suite of test cases, then it must be correct (or dependable) But thats impossible! Adequacy of test suites, in the sense above, is provably undecidable. CSci 5802 Ch 9, slide 3 So well have to settle on weaker proxies for adequacy Design rules to highlight inadequacy of test suites Practical (in)Adequacy Criteria Criteria that identify inadequacies in test suites. Examples if the specification describes different treatment in two cases, but the test suite does not check that the two cases are in fact treated differently, we may conclude that the test suite is inadequate to guard against faults in the program logic. If no test in the test suite executes a particular program statement, the test suite is inadequate to guard against faults in that statement. If a test suite fails to satisfy some criterion, the obligation that has not been satisfied may provide some useful CSci 5802 Ch 9, slide 4 that has not been satisfied may provide some useful information about improving the test suite....
View Full Document
This note was uploaded on 10/21/2011 for the course CSCI 5802 taught by Professor Heimdahl,m during the Spring '08 term at Minnesota.
- Spring '08
- Software engineering