Verification and Validation - Ian Sommerville

More documents

Recommendations

Info

Static and dynamic verification●●Software inspections. Concerned with analysis ofthe static system representation to discoverproblems (static verification)• May be supplement by tool-based document and codeanalysisSoftware testing. Concerned with exercising andobserving product behaviour (dynamic verification)• The system is executed with test data and its operationalbehaviour is observed©Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 22 Slide 8
Static and dynamic V&V©Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 22 Slide 9
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: V & V confidence●Depends on syste
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?