Chapter 8: Verification & Validation

Similar documents
SWEN 256 Software Process & Project Management

Automated Driving Systems with Model-Based Design for ISO 26262:2018 and SOTIF

Software Testing for Developer Introduction. Duvan Luong, Ph.D. Operational Excellence Networks

Software Verification and Validation. Prof. Lionel Briand Ph.D., IEEE Fellow

Service-Oriented Software Engineering - SOSE (Academic Year 2015/2016)

STUDY ON FIREWALL APPROACH FOR THE REGRESSION TESTING OF OBJECT-ORIENTED SOFTWARE

Software Testing Introduction

A FRAMEWORK FOR PERFORMING V&V WITHIN REUSE-BASED SOFTWARE ENGINEERING

Software processes, quality, and standards Static analysis

UNIT IV SOFTWARE PROCESSES & TESTING SOFTWARE PROCESS - DEFINITION AND IMPLEMENTATION

M&S Requirements and VV&A: What s the Relationship?

Using Static Analysis in Medical Device Development

Research Statement. 1. Research Overview. 2. Current Research Agenda

EMC Testing to Achieve Functional Safety

SAFIR2014: CORSICA Coverage and rationality of the software I&C safety assurance

Essence for Systems Engineering (Systems Engineering Essence) INCOSE Russian Chapter

Welding Inspection Management

CSE - Annual Research Review. From Informal WinWin Agreements to Formalized Requirements

UNIT VIII SYSTEM METHODOLOGY 2014

Introduction to Software Engineering (Week 1 Session 2)

The Need for Hypotheses in Informatics

Scientific Approach to Cool Room Validation. Garry Ward / July 2016

Solutions to selected exercises

UML and Patterns.book Page 52 Thursday, September 16, :48 PM

Human Interface/ Human Error

Principled Construction of Software Safety Cases

New Idea In Waterfall Model For Real Time Software Development

Testing in the Lifecycle

Objectives. Designing, implementing, deploying and operating systems which include hardware, software and people

WS01 B02 The Impact of Broadband Wavelets on Thin Bed Reservoir Characterisation

Cityware: urban design and pervasive systems

Scientific Certification

Computer Progression Pathways statements for KS3 & 4. Year 7 National Expectations. Algorithms

Requirements Gathering using Object- Oriented Models

Analysis of Software Artifacts

Victoria RASCals Star Party 2003 David Lee

Testing of Complex Digital Chips. Juri Schmidt Advanced Seminar

Basics of Dual-Polarized Antennas

Verification & Validation

Conformity Assessment and Risk Management under Consideration of Applicable Harmonized Standards. Dipl.-Ing. Sven Wittorf, M.Sc. Lübeck,

Robot e.do. Certifications, Service, Warranty. Rel Versions: 4 axes and 6 axes

SPECIFICATIONS FOR GAMMA IMAGING SYSTEM

True 2 ½ D Solder Paste Inspection

FM p.i-xxii 4/2/04 11:39 AM Page v. Preface

Computing Scheme of Work Key Stage 1 Key Stage 2

ISO ISO is the standard for procedures and methods on User Centered Design of interactive systems.

Using Process Compensated Resonance Testing (PCRT) for Cost Savings and Increased Reliability

GSM Transmitter Modulation Quality Measurement Option

MIL-STD-882E: Implementation Challenges. Jeff Walker, Booz Allen Hamilton NDIA Systems Engineering Conference Arlington, VA

Component Based Mechatronics Modelling Methodology

Interpretation von Software Qualitätsmetriken aus automatisierter statischer Analyse

UNIT-III LIFE-CYCLE PHASES

The Elegance of Line Scan Technology for AOI

MIL-STD-883H METHOD ULTRASONIC INSPECTION OF DIE ATTACH

Formal Hardware Verification: Theory Meets Practice

Smooth adoption of Verum s Dezyne to model software for a service tool

Implementing Quality Systems

EPG. by Chris C. Kleronomos

ABSTRACT INTRODUCTION

Code Complete 2: Realities of Modern Software Construction

ITC108 Assignment 2 - Game Analysis


Introducing Functional Qualification

SURVEYORS BOARD OF QUEENSLAND. RTK GNSS for Cadastral Surveys. Guideline

Introductions. Characterizing Knowledge Management Tools

Object-oriented Analysis and Design

Importance of ICH Guidance in Fulfilling Process Validation Requirements

Developing a VR System. Mei Yii Lim

FLOORMAP3Di-R. Twice as Fast Uncompromised Quality

The Nature of Informatics

understand the hardware and software components that make up computer systems, and how they communicate with one another and with other systems

ZoneFox Augmented Intelligence (A.I.)

MIL- B Rev NAVSEA 0900-LP

ProbabilityTestingaComponentofAdvanceSoftwareTesting

Meta-models, Environment and Layers: Agent-Oriented Engineering of Complex Systems

NEW STANDARDS IN THE FIELD OF GEOMETRICAL PRODUCT SPECIFICATIONS

Basic Level 1. PSA course for analysts

Debugging a Boundary-Scan I 2 C Script Test with the BusPro - I and I2C Exerciser Software: A Case Study

Industrial Experience with SPARK. Praxis Critical Systems

Assessing Geocoding Solutions

Energiforsk/ENSRIC Project

MODEL 5002 PHASE VERIFICATION BRIDGE SET

Lab 10. Images with Thin Lenses

Real Analog - Circuits 1 Chapter 1: Lab Projects

MIL- B B. MIL- B Rev NAVSEA 0900-LP II: ATTRIBUTES: YES NO N/A

Empirical Mode Decomposition (EMD) of Turner Valley Airborne Gravity Data in the Foothills of Alberta, Canada*

AI for Autonomous Ships Challenges in Design and Validation

Empirical Modelling as conceived by WMB + SBR in Empirical Modelling of Requirements (1995)

FLOORMAP3Di MFL Floor Scanner with STARS Top & Bottom Defect Discrimination & MFLi Advanced Defect Analysis

SAFETY CASES: ARGUING THE SAFETY OF AUTONOMOUS SYSTEMS SIMON BURTON DAGSTUHL,

More Info at Open Access Database by S. Dutta and T. Schmidt

Service Bulletin. Fuel Systems. Bulletin No.: PRS-103. Date: 05/12/98. SUBJECT: RSA-10 Fuel Diaphragm Assembly, Part Number

How new is the new VCE Economics Study Design?

Electrical Severity Measurement Tool Revision 4

CD/1895 Conference on Disarmament 14 September 2010

Credible Autocoding for Verification of Autonomous Systems. Juan-Pablo Afman Graduate Researcher Georgia Institute of Technology

Reading Robert Gibbons, A Primer in Game Theory, Harvester Wheatsheaf 1992.

How does one know which repository is worth its salt?

The Deeter Group. Wireless Site Survey Tool

Integrating Fundamental Values into Information Flows in Sustainability Decision-Making

Transcription:

1 Chapter 8: Verification & Validation

2 Objectives To introduce software verification and validation and discuss the distinctions between them. V&V: Verification & Validation To describe the program inspection process and its role in V&V. Chapter 22 in the Sommerville textbook, Section 22.1-22.2

Cost of Fixing a Defect 3 Costs of finding and fixing defects late.. $1000 Delays in identifying and fixing defects get more expensive as the lifecycle progresses! $100 Defects $10 $1

4 V&V Goals Verification and validation should establish confidence that the software is fit for purpose. This does NOT mean completely free of defects. Rather, it must be good enough for its intended use and the type of use will determine the degree of confidence that is needed. Confidence depends on: Software function User expectations Marketing environment

5 What is the difference? Verification "Are we building the product right? The software should conform to its specification. Validation "Are we building the right product? The software should do what the user really requires. (Fit for use)

6 V&V Process Is a whole life-cycle process - V & V must be applied at each stage in the software process. Approaches: Inspections & Testing Has two principal objectives The discovery of defects in a system; The assessment of whether or not the system is useful and useable in an operational situation.

7 Verification Verification is any checking process conducted on software artefacts in an attempt to determine if they work as specified by the designers of the system. Includes reviews, inspections, walkthroughs, unit testing and integration testing.

8 Validation Validation is the process of evaluating software artefacts during the software development process in an attempt to determine if the system works as required by the customers. Includes program reviews, system testing, customer acceptance testing.

9 A comparison (purpose) Verification Main purpose is to detect defects in the artefacts of the system under development. Validation Main purpose is to show that the system under development meets user needs, requirements, and expectations.

10 V&V Techniques Techniques Static Methods Dynamic Methods Techniques applied to artifacts without execution. Inspections and Reviews Techniques applied to artifacts through execution. Testing

Static and Dynamic V&V 11

12 Inspections or Reviews Concerned with analysis of the static system representation to discover problems (static verification) May be supplement by tool-based document and code analysis

13 Inspections These involve people examining the source representation with the aim of discovering anomalies and defects. (using checklists) Inspections do not require execution of a system so may be used before implementation. They may be applied to any representation of the system such as the requirements or design. They have been shown to be an effective technique for discovering program errors.

14 Testing Concerned with exercising and observing product behaviour (dynamic verification) The system is executed with test data and its operational behaviour is observed Can reveal the presence of errors NOT their absence. The only validation technique for non-functional requirements as the software has to be executed to see how it behaves. Should be used in conjunction with static verification to provide full V&V coverage.

15 Types of Testing Defect testing & Validation testing What s the difference? What s a successful defect test? And what s a successful validation test?

16 Defect Testing Vs Validation A comparison.. Defect Testing Tests designed to discover system defects. A successful defect test is one which reveals the presence of defects in a system. Covered in Chapter 10 Validation Testing Intended to show that the software meets its requirements. A successful test is one that shows that a requirements has been properly implemented.

17 Defect Testing Vs Debugging What do you think is the difference?

18 Defect Testing Vs Debugging A comparison.. Defect Testing Concerned with establishing the existence of defects in a program. Debugging Concerned with locating and repairing errors.

Debugging Process 19

20 Validation and Verification Planning Careful planning is required to get the most out of testing and inspection processes. Planning should start early in the development process. The plan should identify the balance between static verification and testing. Test planning is about defining standards for the testing process rather than describing product tests. IEEE Standard Test Plan

V-Model of Development 21

22 Advantages of Inspections over Testing Many different defects may be discovered in a single inspection. In testing, one defect,may mask another (interaction between errors) so several executions are required. Incomplete versions of the software can be inspected without additional costs. Inspections consider broader SW quality attributes such as compliance with standards, poor programming style, inappropriate algorithms, etc.

23 Inspections and Testing Inspections and testing are complementary and not opposing verification techniques. Both should be used during the V & V process. Inspections can check conformance with a specification but not conformance with the customer s real requirements. Inspections cannot check non-functional characteristics such as performance, usability, etc.