1 Software Testing and Quality Assurance Motivation and Review of Software Verification & Validation (2)

Slides:



Advertisements
Similar presentations
Verification and Validation
Advertisements

Software Project Management Lecture # 11. Outline Quality Management ( chapter 26 - Pressman )  Software reviews  Formal Inspections & Technical Reviews.
Testing Without Executing the Code Pavlina Koleva Junior QA Engineer WinCore Telerik QA Academy Telerik QA Academy.
1 Software Testing and Quality Assurance Lecture 2 Software Verification & Validation.
©Ian Sommerville 2000Software Engineering, 6th edition. Chapter 19Slide 1 Verification and Validation l Assuring that a software system meets a user's.
1 / 28 CS 425/625 Software Engineering Verification and Validation Based on Chapter 19 of the textbook [SE-6] Ian Sommerville, Software Engineering, 6.
Verification and Validation
1 Software Testing and Quality Assurance Lecture 1 Software Verification & Validation.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 22 Slide 1 Verification and Validation.
Verification and Validation CIS 376 Bruce R. Maxim UM-Dearborn.
Verification and Validation
1CMSC 345, Version 4/04 Verification and Validation Reference: Software Engineering, Ian Sommerville, 6th edition, Chapter 19.
OHT 4.1 Galin, SQA from theory to implementation © Pearson Education Limited 2004 Software Quality assurance (SQA) SWE 333 Dr Khalid Alnafjan
©Ian Sommerville 2000Software Engineering, 6th edition. Chapter 19Slide 1 Verification and Validation l Assuring that a software system meets a user's.
Software Testing Verification and validation planning Software inspections Software Inspection vs. Testing Automated static analysis Cleanroom software.
Verification and Validation Yonsei University 2 nd Semester, 2014 Sanghyun Park.
Slide 6.1 CHAPTER 6 TESTING. Slide 6.2 Overview l Quality issues l Nonexecution-based testing l Execution-based testing l What should be tested? l Testing.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 22 Slide 1 Verification and Validation.
Adaptive Processes © Adaptive Processes Simpler, Faster, Better Verification and Validation Assuring that a software system meets a user's needs.
S oftware Q uality A ssurance Part One Reviews and Inspections.
Software Quality Assurance Activities
Chapter 14: Inspection  Basic Concept and Generic Process  Fagan Inspection  Other Inspection and Related Activities.
Software Inspections. Defect Removal Efficiency The number of defects found prior to releasing a product divided by The number of defects found prior.
Software Inspection A basic tool for defect removal A basic tool for defect removal Urgent need for QA and removal can be supported by inspection Urgent.
Dr. Tom WayCSC Code Reviews & Inspections CSC 4700 Software Engineering.
Verification and Validation Chapter 22 of Ian Sommerville’s Software Engineering.
Verification and Validation Hoang Huu Hanh, Hue University hanh-at-hueuni.edu.vn.
©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 22 Slide 1 Verification and Validation Slightly adapted by Anders Børjesson.
Software testing techniques 2.Verification and validation From I. Sommerville textbook Kaunas University of Technology.
©Ian Sommerville 2000Software Engineering, 6th edition. Chapter 19Slide 1 Verification and Validation l Assuring that a software system meets a user's.
Software Testing Testing types Testing strategy Testing principles.
©Ian Sommerville 2000Software Engineering, 6th edition. Chapter 19Slide 1 Chapter 19 Verification and Validation.
CS.436 Software Engineering By Ajarn..Sutapart Sappajak,METC,MSIT Chapter 13 Verification and validation Slide 1 1 Chapter 13 Verification and Validation.
© 2007 Pearson Education, Inc. Publishing as Pearson Addison-Wesley 1 Product Design Finalization; Inspections.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 22 Slide 1 Software Verification, Validation and Testing.
CHAPTER 9 INSPECTIONS AS AN UP-FRONT QUALITY TECHNIQUE
This chapter is extracted from Sommerville’s slides. Textbook chapter
©Ian Sommerville 2000Software Engineering, 6th edition. Chapter 19Slide 1 Chapter 19 Verification and Validation.
Verification and Validation
Ch 22 Verification and Validation
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 22 Slide 1 Bzupages.com Verification and Validation.
1 Phase Implementation. Janice Regan, Overview of Implementation phase Create Class Skeletons Define Implementation Plan (+ determine subphases)
CHAPTER 9: VERIFICATION AND VALIDATION 1. Objectives  To introduce software verification and validation and to discuss the distinction between them 
Chapter 12: Software Inspection Omar Meqdadi SE 3860 Lecture 12 Department of Computer Science and Software Engineering University of Wisconsin-Platteville.
Software Engineering, 8th edition Chapter 22 1 Courtesy: ©Ian Somerville 2006 April 27 th, 2009 Lecture # 19 Verification and Validation.
Verification and Validation Assuring that a software system meets a user's needs.
©Ian Sommerville Software Engineering, 7th edition. Chapter 22 Slide 1 Verification and Validation with edits by Dan Fleck Coming up: Objectives.
The Software Development Life Cycle: An Overview Presented by Maxwell Drew and Dan Kaiser Southwest State University Computer Science Program.
© Michael Crosby and Charles Sacker, 2001 Systematic Software Reviews Software reviews are a “quality improvement process for written material”.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 22 Slide 1 Verification and Validation with edits by Dan Fleck.
Advances In Software Inspection
This chapter is extracted from Sommerville’s slides. Textbook chapter 22 1 Chapter 8 Validation and Verification 1.
Static and Integration Testing. Static Testing vs Dynamic Testing  To find defects  This testing includes verification process  without executing.
©Ian Sommerville 2000Software Engineering, 6th edition. Chapter 19Slide 1 Software inspections l Involve people examining the source representation with.
More SQA Reviews and Inspections. Types of Evaluations  Verification Unit Test, Integration Test, Usability Test, etc  Formal Reviews  aka "formal.
References & User group Reference: Software Testing and Analysis Mauro Pezze Software Engineering Ian Sommerville Eight Edition (2007) User group:
Software Project Management Lecture # 12. Outline Quality Management ( chapter 26 - Pressman )  SQA  Who does it?  SQA Activities  Software reviews.
©Ian Sommerville 2000Software Engineering, 6th edition. Chapter 19Slide 1 Verification and Validation l Assuring that a software system meets a user's.
©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 22 Slide 1 Verification and Validation.
Software Verification & Validation By: Sunmeet Sethi Bhavin kansara.
Software Reviews Ashima Wadhwa.
Software Configuration Management (SCM)
CSC 480 Software Engineering
Verification and Validation
Verification and Validation
Verification and Validation
QA Reviews Lecture # 6.
Software Reviews.
Presentation transcript:

1 Software Testing and Quality Assurance Motivation and Review of Software Verification & Validation (2)

2 Lecture Outline V & V Planning Static V &V techniques ◦ Walkthroughs. ◦ Software Inspections.

3 V & V 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 have the balance between static verification and testing.

4 V-Model of Development Requirements specification System Specification System Design Detailed Design Acceptance Test System Integration Test Sub-System Integration Test Module, Unit Code & Test Acceptance Test Plan System Integration Test Plan Sub-System Integration Test Plan Service

5 Walkthroughs Usually done in a single meeting. Evaluate a software product to ◦ Find anomalies & improve the software product. ◦ Consider alternative implementations. ◦ Evaluate the conformance to standards and specification. Perform training of the project teams.

6 Software Inspection Formalized approach to document reviews. Intended explicitly for defect detection (not correction). Defects may be logical errors & anomalies in the code. For example, ◦ An un-initialized variable ◦ Non-compliance with standards.

7 Software Inspection Remove errors as near source as possible; hence, ◦ reducing costs of rework. It’s success depends on ◦ The inspection process, ◦ Checks applied; ◦ The diligence of the inspectors.

8 Inspection pre-conditions Precise specification must be available. Team members must be familiar with the organization standards. Inspections will increase costs early in the software process.

9 Software Inspections Time No. of Employees Planning Requirements DesignCoding Testing Without Inspection With Inspection

10 Inspection Process Planning Overview Individual Preparation Rework Follow-up Inspection Meeting

11 Inspection Steps Reader paraphrases design, describing how it will be implemented. Questions raised during discourse, only pursued until error recognized. Error noted (but not solution) and classified by severity. ◦ Written report of inspection prepared. Important to inspect modified products. ◦ Re-inspection to avoid ‘bad fix’ problems.

12 Software Inspection Overview Inspection Analysis Fix short term problems Error feedback Learning input for inspectors Feedback What error types to look for…

13 Feedback Inspection provide detailed real-time feedback to developers Process control using inspection ◦ Identification of error prone modules; and ◦ Distribution of error types Inspections should lead to Process Improvement

14 Feedback Inspection success depends on ◦ Management attitude ◦ Conduct of trained moderator Inspections should not be used for performance appraisals

15 Software Inspection Overview Operation 1Operation 2 I Analysis Fix short term problems Error feedback Error prone modules Error types distributions For Special Attentions Feedback Feed forward Learning input for inspectors What error types to look for… Better ways to find error types

16 Rate of Progress Rate of progress (man/hours) Process OperationsDesignCodeobjectives Overview500-communication preparation100125education inspection130150Find errors Rework2016Remove errors Follow-up--Ensure resolutions of errors

17 Error Analysis Finding errors is difficult ◦ Condition people to seek high occurrence, high cost error types. ◦ Take representative sample of code; Analyze errors ◦ Type and origin of error; ◦ cause and salient indicative feature

18 London Ambulance Service Case Study Computer Aided Dispatch Server Automatic Vehicle Location System Radio Communication Infrastructure Ambulance PRINCE Development Methodology was selected for the development

19 London Ambulance Service Case Study Throughout the project there are references to only functional testing ◦ No static V & V process. The draft project plan as provided by the supplier left no time for review and revision. As a result, …….. For example, ◦ Lack of formal clarification how the PRINCE methodology was to be applied.

20 Key Points Careful planning is required to get the most out of V &V processes. Identify error types to get maximum benefits out of static V & V techniques. Analyze inspection results and use it for process improvement.