{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Lecuture 12 Verification and Validation

Lecuture 12 Verification and Validation - Verificationand...

Info icon This preview shows pages 1–11. 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
Image of page 1

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

View Full Document Right 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   process and its role in V & V To explain  static analysis  as a verification  technique
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
Image of page 3

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

View Full Document Right Arrow Icon
CUHK, Spring 2007 Software Engineering / 8 - 4 Where is V&V? Where is V&V? Four fundamental activities in software process Specification Development Validation evolution V&V: Requirement review Design review Code inspection Product testing
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
Image of page 5

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

View Full Document Right 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
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
Image of page 7

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

View Full Document Right 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
Image of page 8
CUHK, Spring 2007 Software Engineering / 8 - 9 Industrial Average:  3 - 10 failures per KLOC  MS Windows 2000  63000 known bugs  Software is not being certified. Undependable Software Undependable Software
Image of page 9

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

View Full Document Right Arrow Icon
CUHK, Spring 2007 Software Engineering / 8 - 10 Goals and Requirements of  Goals and Requirements of  Verification Verification     Everything must be verified Verifying: code spec (simulation or property analysis) process the verification itself software quality (portability, understandability, performance, etc)
Image of page 10
Image of page 11
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern