Verification and Validation - Ian Sommerville

More documents

Recommendations

Info

Software inspections●●●●These involve people examining the sourcerepresentation with the aim of discovering anomaliesand defects.Inspections not require execution of a system somay be used before implementation.They may be applied to any representation of thesystem (requirements, design,configuration data,test data, etc.).They have been shown to be an effective techniquefor discovering program errors.©Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 22 Slide 18
Inspection success●●Many different defects may be discovered ina single inspection. In testing, one defect,may mask another so several executionsare required.The reuse domain and programmingknowledge so reviewers are likely to haveseen the types of error that commonly arise.©Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 22 Slide 19
Page 1 and 2: Verification and Validation©Ian So
Page 3 and 4: Topics covered●●●●Verificat
Page 5 and 6: The V & V process●●Is a whole l
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: The software test planThe testing p
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?