ch19 - Verification and Validation l Assuring that a...

Info iconThis preview shows pages 1–10. Sign up to view the full content.

View Full Document Right Arrow Icon
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 19 Slide 1 Verification and Validation l Assuring that a software system meets a user's needs
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 19 Slide 2 Objectives l To introduce software verification and validation and to discuss the distinction between them l To describe the program inspection process and l To explain static analysis as a verification technique l To describe the Cleanroom software development process
Background image of page 2
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 19 Slide 3 Topics covered l Verification and validation planning l Software inspections l Automated static analysis l Cleanroom software development
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 19 Slide 4 l Verification: "Are we building the product right" l The software should conform to its specification l Validation: "Are we building the right product" l The software should do what the user really requires Verification vs validation
Background image of page 4
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 19 Slide 5 l applied at each stage in the software process. l Has two principal objectives The discovery of defects in a system The assessment of whether or not the system is usable in an operational situation. The V & V process
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 19 Slide 6 l Software inspections Concerned with analysis of the static system representation to discover problems ( static verification) May be supplement by tool-based document and code analysis l Software testing Concerned with exercising and observing product behaviour (dynamic verification) The system is executed with test data and its operational behaviour is observed Static and dynamic verification
Background image of page 6
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 19 Slide 7 Formal specification High-level design Requirements specification Detailed design Program Prototype Dynamic validation Static verification
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 19 Slide 8 l Can reveal the presence of errors NOT their absence l A successful test is a test which discovers one or more errors l The only validation technique for non-functional requirements l Should be used in conjunction with static Program testing
Background image of page 8
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 19 Slide 9 l Defect testing Tests designed to discover system defects. A successful defect test is one which reveals the presence of defects in a system. Covered in Chapter 20
Background image of page 9

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 10
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 11/09/2009 for the course SE 120336 taught by Professor Unknown during the Spring '09 term at Avila University.

Page1 / 42

ch19 - Verification and Validation l Assuring that a...

This preview shows document pages 1 - 10. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online