Lecuture 12 Verification and Validation

Lecuture 12 Verification and Validation - Verificationand...

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

View Full Document Right Arrow Icon
CUHK, Spring 2007 Verification and  Verification and  Validation Validation Teresa Teresa  Xia Cai  Xia Cai
Background image of page 1

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

View Full DocumentRight Arrow Icon
CUHK, Spring 2007 Software Engineering / 8 - 2 Objectives Objectives To introduce  software verification and  validation  and to discuss the distinction  between them To describe the  program inspection   To explain  static analysis  as a verification  technique
Background image of page 2
CUHK, Spring 2007 Software Engineering / 8 - 3 Topics covered Topics covered Verification and validation planning Software inspections Automated static analysis Formal methods
Background image of page 3

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

View Full DocumentRight Arrow Icon
CUHK, Spring 2007 Software Engineering / 8 - 4 Four fundamental activities in software process Specification Development Validation evolution Requirement review Design review Code inspection Product testing
Background image of page 4
CUHK, Spring 2007 Software Engineering / 8 - 5 Validation:  Are we building the right product? based on customers (real users) Verification : Are we building the product right? based on requirements (documents) Q: Which one is more difficult? Verification vs validation Verification vs validation
Background image of page 5

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

View Full DocumentRight Arrow Icon
CUHK, Spring 2007 Software Engineering / 8 - 6 The Need for Verification The Need for Verification     The product of any engineering activity must be verified (shown to be correct) according to its requirements throughout its development. Verifying s/w is perhaps more difficult than verifying other engineering products Software verification and validation (V&V) cost 40% or more of the whole software development
Background image of page 6
CUHK, Spring 2007 Software Engineering / 8 - 7 Loss destroyed 40 seconds after liftoff,  $500 million loss (June 4, 1996) Software Bug  mapping 64-bit float to 16-bit signed caused “horizontal velocity” to exceed  32767. software exception activated automatic  destruct Explosion of Ariane 5 Explosion of Ariane 5
Background image of page 7

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

View Full DocumentRight Arrow Icon
CUHK, Spring 2007 Software Engineering / 8 - 8 Radiation Treatment Machine made by  Atomic Energy of Canada, Ltd. Loss (1985-1987) Four patients killed Huge lawsuit Software Bug Delivered maximum power regardless of  operator’s setting http://courses.cs.vt.edu/~cs3604/lib/Therac_25/Therac_1.html   Failure of Therac 25 Failure of Therac 25
Background image of page 8
Software Engineering / 8 - 9 Industrial Average:  3 - 10 failures per KLOC  MS Windows 2000  63000 known bugs  Software is not being certified. Undependable Software
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 12/28/2010 for the course CSC CSC2120 taught by Professor Xiacai during the Spring '07 term at CUHK.

Page1 / 39

Lecuture 12 Verification and Validation - Verificationand...

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