Verification and Validation - Ian Sommerville

More documents

Recommendations

Info

The Cleanroom process©Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 22 Slide 40
Cleanroom process characteristics●●●●●Formal specification using a state transitionmodel.Incremental development where thecustomer prioritises increments.Structured programming - limited control andabstraction constructs are used in theprogram.Static verification using rigorous inspections.Statistical testing of the system (covered inCh. 24).©Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 22 Slide 41
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 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: Cleanroom software development●
Page 43 and 44: Cleanroom process teams●●●Spe
Page 45 and 46: Key points●●●Verification and

Verification and Validation - Ian Sommerville

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?