Verification and Validation - Ian Sommerville

More documents

Recommendations

Info

Formal specification and inspections●●●The state based model is a systemspecification and the inspection processchecks the program against this mode.lThe programming approach is defined sothat the correspondence between the modeland the system is clear.Mathematical arguments (not proofs) areused to increase confidence in the inspectionprocess.©Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 22 Slide 42
Cleanroom process teams●●●Specification team. Responsible for developingand maintaining the system specification.Development team. Responsible fordeveloping and verifying the software. Thesoftware is NOT executed or even compiledduring this process.Certification team. Responsible for developinga set of statistical tests to exercise the softwareafter development. Reliability growth modelsused to determine when reliability is acceptable.©Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 22 Slide 43
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 and 40: Cleanroom software development●
Page 41: Cleanroom process characteristics
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?