1 test10a Software Verification and Validation: An Overview Dolores Wallace and Roger Fujii IEEE Software May 89 text pp404-411.

Slides:



Advertisements
Similar presentations
CIS-74 Computer Software Quality Assurance Systematic Software Testing Chapter 1: An Overview of the Testing Process.
Advertisements

Chapter 4 Quality Assurance in Context
CS0004: Introduction to Programming Introduction to Programming.
Software Engineering Software quality. Software quality characteristics:  External: user is aware of. User cares about.  Internal: programmer is aware.
Reliability and Software metrics Done by: Tayeb El Alaoui Software Engineering II Course.
Lifecycle of Testing CSSE 376, Software Quality Assurance Rose-Hulman Institute of Technology March 6, 2007.
System Testing CS 414 – Software Engineering I Don Bagert January 21, 2003.
Phase Difference = Phase Difference = 0.05.
1 SOFTWARE LIFE-CYCLES Elements and Definitions. 2 Requirements System Design Detailed Design Implementation Installation & Testing Maintenance The WATERFALL.
Software Quality Assurance For Software Engineering && Architecture and Design.
CMSC 345, Version 1/03 An Overview of Software Processes Reference: Software Engineering, by Ian Sommerville, 6 th edition, Chapter 3.
Software Verification and Validation (V&V) By Roger U. Fujii Presented by Donovan Faustino.
Testing Dr. Andrew Wallace PhD BEng(hons) EurIng
Ch.4: QA in Context  QA and the overall development context Defect handling/resolution How alternative QA activities fit in process Alternative perspectives:
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.
Let us start from the V-Model Verification Phases Requirements analysis System Design Architecture Design Module Design Coding Validation phases Unit.
1SAS 03/ GSFC/SATC- NSWC-DD System and Software Reliability Dolores R. Wallace SRS Technologies Software Assurance Technology Center
Based on D. Galin, and R. Patton.  According to D. Galin  Software quality assurance is:  A systematic, planned set of actions necessary to provide.
Software testing basic. Main contents  Why is testing necessary?  What is testing?  Test Design techniques  Test level  Test type  How to write.
Verification and Validation Overview References: Shach, Object Oriented and Classical Software Engineering Pressman, Software Engineering: a Practitioner’s.
SQA System Overview Chapter 4. Where we have been so far, Where we are going Where do software errors come from? What is quality? How can quality be measured?
每时每刻 可信安全 1 Which of the following is an advantage of prototyping? A Prototype systems can provide significant time and cost savings. B Change control.
Software Quality Assurance SE Software Quality Assurance What is “quality”?
Software Engineering Modern Approaches Eric Braude and Michael Bernstein 1.
Software Metrics and Reliability. Definitions According to ANSI, “ Software Reliability is defined as the probability of failure – free software operation.
Slide 6.1 © The McGraw-Hill Companies, 2002 Object-Oriented and Classical Software Engineering Fifth Edition, WCB/McGraw-Hill, 2002 Stephen R. Schach
Systems Life Cycle. Know the elements of the system that are created Understand the need for thorough testing Be able to describe the different tests.
YouTube Duplicate Finder Group 4 Members : Brian Kelly Darryl Parulan Vanessa Kellawan Diana Gonzalez Natoya Higgins.
Requirements and Testing Peer Reviews and Walkthroughs CSSE 376, Software Quality Assurance Rose-Hulman Institute of Technology March 8, 2007.
Development of Methodologies for Independent Verification and Validation of Neural Networks NAG OSMA-F001-UNCLASS Methods and Procedures.
Verification and Validation Assuring that a software system meets a user's needs.
Federal Aviation Administration 2011 V&V Summit: Verification & Validation Overview Presented by: John Frederick Date:10/19/11.
Software Configuration Management (SCM). Product Developer Disciplines One view of the world is that there are three types of activities are required.
Ensure that the right functions are performed Ensure that the these functions are performed right and are reliable.
Introduction to Testing. Topics Who are we? Who are we? Software Testing Definition and Goals Software Testing Definition and Goals Facts and Numbers.
MANUAL TESTING KS SESSION PRESENTED BY 26/11/015 VISHAL KUMAR.
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.
Program Development Cycle
Software Testing. System/Software Testing Error detection and removal determine level of reliability well-planned procedure - Test Cases done by independent.
Software Quality Assurance and Testing Fazal Rehman Shamil.
Independent Verification and Validation. IV&V Independent group –Outside of the development shop –Responsible for verifying and validating a system –May.
Overview of Socio-cognitive Engineering General requirements Theory of Use Design Concept Contextual Studies Task model Design space System specification.
1 spi5a SEL’s Software Process-Improvement Program Vic Basili et al. IEEE Software, Nov 1995.
Slide 1SATC June 2000 Dolores R. Wallace* NASA Goddard Space Flight Center Greenbelt, Maryland for the American Society.
Week # 4 Quality Assurance Software Quality Engineering 1.
ПЕЧЕНЬ 9. Закладка печени в период эмбрионального развития.
Cs498dm Software Testing Darko Marinov January 24, 2012.
Pradeep Konduri Niranjan Rao Julapelly.  Introduction and Overview  Verification Vs Validation  Process  Goals  Confidence  Role of V&V in different.
Software Verification & Validation By: Sunmeet Sethi Bhavin kansara.
Software Metrics and Reliability
Runtime Verification of Business Processes
PREPARED BY G.VIJAYA KUMAR ASST.PROFESSOR
2012 Spring Simulation Interoperability Workshop
Software Engineering (CSI 321)
Software Configuration Management (SCM)
Successful Verification
Verification and Validation Overview
How to fix Printer Errors- Reliable Printer Repair Services at an affordable rate-
Retirement Information Online (RIO) Enhancement
Introduction to Software Testing
Test Case Test case Describes an input Description and an expected output Description. Test case ID Section 1: Before execution Section 2: After execution.
Software Verification, Validation, and Acceptance Testing
Object-Oriented and Classical Software Engineering Fifth Edition, WCB/McGraw-Hill, 2002 Stephen R. Schach
Figure 11-1.
Figure Overview.
Figure Overview.
Integrating quality activities in
Types of Errors And Error Analysis.
Undetectable Error in Independent Dual Programming Validation
Unit IV – Chapter 2 V-Test Model.
Presentation transcript:

1 test10a Software Verification and Validation: An Overview Dolores Wallace and Roger Fujii IEEE Software May 89 text pp

2 test10a Verification or Validation? u A. at end of development u B. at each phase u C. to ensure it meets requirements u D. to ensure it meets previous phase requirements

3 test10a Minimum Set of V&V u Table 1 – p 406

6 test10a Four ways to organize V&V u Independent u Embedded in system-engineering group u Embedded in quality assurance group u Embedded in user group

7 test10a Class Discussion u Why is the organization important?

8 test10a Effectiveness u 1982 – McGarry – SEL – not effective –Productivity was lowest, cost of fixing errors was not less than other projects, reliability was no different u 1981 – Radatz – Rome AirDevCenter – effective –Early error detection, improved programmer productivity, savings from early error detection