Verification and Validation - Ian Sommerville

More documents

Recommendations

Info

Verification vs validation●●●●Verification:"Are we building the product right”.The software should conform to itsspecification.Validation:"Are we building the right product”.The software should do what the user reallyrequires.©Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 22 Slide 4
The V & V process●●Is a whole life-cycle process - V & V must beapplied at each stage in the softwareprocess.Has two principal objectives• The discovery of defects in a system;• The assessment of whether or not the system isuseful and useable in an operational situation.©Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 22 Slide 5
Page 1 and 2: Verification and Validation©Ian So
Page 3: Topics covered●●●●Verificat
Page 7 and 8: V & V confidence●Depends on syste
Page 9 and 10: Static and dynamic V&V©Ian Sommerv
Page 11 and 12: Types of testing●●Defect testin
Page 13 and 14: The debugging process©Ian Sommervi
Page 15 and 16: The V-model of development©Ian Som
Page 17 and 18: The software test planThe testing p
Page 19 and 20: Inspection success●●Many differ
Page 21 and 22: Program inspections●●●Formali
Page 23 and 24: The inspection process©Ian Sommerv
Page 25 and 26: Inspection rolesAuthor or ownerInsp
Page 27 and 28: Inspection checks 1Data faultsContr
Page 29 and 30: Inspection rate●●●●500 stat
Page 31 and 32: Static analysis checksFault classDa
Page 33 and 34: Stages of static analysis●●●I
Page 35 and 36: Use of static analysis●●Particu
Page 37 and 38: Arguments for formal methods●●P
Page 39 and 40: Cleanroom software development●
Page 41 and 42: Cleanroom process characteristics
Page 43 and 44: Cleanroom process teams●●●Spe
Page 45 and 46: Key points●●●Verification and

Verification and Validation - Ian Sommerville

Create successful ePaper yourself

Delete template?

Save as template?