anton krbaťa ján budáč 10.11.2009.  verification: "are we building the product right ?„ ...

Download Anton Krbaťa Ján Budáč 10.11.2009.  Verification:

Post on 05-Jan-2016




0 download

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

  • Code Validation

    Integration Validation

    Functional Validation

    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