anton krbaťa ján budáč 10.11.2009. verification: "are we building the product right ?„ ...
Post on 05-Jan-2016
Embed Size (px)
Anton Krbaa Jn Bud 10.11.2009
Verification: "Are we building the product right ?
Validation: "Are we building the right product ?"
STATIC Software inspections Concerned with analysis of the static system representation to discover problemsMay be supplement by tool-based document and code analysisDYNAMIC Software testing Concerned with exercising and observing product behaviourThe system is executed with test data and its operational behaviour is observed
Defect PreventionTime and EffortSoftware Life CyclePlansProceduresSoftware Validation After a ChangeIndependence of Review
User Acceptance Testing or System Validation
Verification and validation should establish confidence that the software is fit for purpose
This does not mean completely free of defects
The name is derived from the 'Cleanroom' process in semiconductor fabrication. The philosophy is defect avoidance rather than defect removalSoftware development process based on:Incremental developmentFormal specificationStatic verification using correctness argumentsStatistical testing to determine program reliability
Specification teamResponsible for developing and maintaining the system specificationDevelopment teamResponsible for developing and verifying the softwareThe software is not executed or even compiled during this processCertification teamResponsible for developing a set of statistical tests to exercise the software after developmentReliability models are used to determine when reliability is acceptable