Software Quality Assurance Conclusions

Similar documents
ISTQB Sample Question Paper Dump #11

Quality Management of Software and Systems: Organization of Tests

Quality Management of Software and Systems

Prof. Dr. Liggesmeyer, 1. Quality Management of Software and. Organization of Tests. Systems. QMSS - Organization of Tests

AIRBORNE SOFTWARE VERIFICATION FRAMEWORK AIMED AT AIRWORTHINESS

Book Outline. Software Testing and Analysis: Process, Principles, and Techniques

HOW TO AVOID FAILURES-(FMEA and/or FTA)

9. Verification, Validation, Testing

This document describes the overall software development process of microcontroller software during all phases of the Company Name product life cycle.

Towards Systematic Software Reuse in Certifiable Safety-Critical Systems

TEST I VIDAREUTVECKLINGEN AV GRIPENS AVIONIK- OCH MARKSTÖDSYSTEM

Continuous Pharmaceutical Manufacturing: CGMP, Process Validation, and Inspectional Considerations for Implementation

Addressing Predictive Maintenance with SAP Predictive Analytics

PSMC Plenary. Standards as Importable Data

Introduction to RAM. What is RAM? Why choose RAM Analysis?

RELIABILITY, AVAILABILITY AND MAINTAINABILITY CONCEPTS

SOFTWARE DEVELOPMENT STANDARD

Standards Development and Modification

Safety Analysis. Chapter 24. RAM Commander s Safety Module. Chapter 24 Safety Analysis 551

Quality Management of Software and Systems: Software Measurement

Regulatory Guide 2.19

Introduction to Management Accounting

Testing: The Critical Success Factor in the Transition to ICD-10

Testing: The critical success factor in the transition to ICD-10

Why Test Management? 2 TechExcel DevTest

EA Procedure and Criteria. For the Evaluation of Conformity. Assessment Schemes by EA. Accreditation Body Members

Implementing Continuous Pharmaceutical Manufacturing: An FDA Perspective

RAM & LCC for railways Industry: What s really necessary to high performance achievement?

FUNDAMENTAL STAGES IN DESIGNING PROCEDURE OF STATISTICAL SURVEY

AIRCRAFT PAINTING FROM STRUCTURAL PARTS TO COMPLETE AIRCRAFTS. Airbus photo by S. Ramadier

A NEW ERA. The ALPINE Air Jet Sieve

Pierce County Classification Description GIS PROGRAMMER/ENGINEER, EXPERT/SUPERVISOR

Case Study Phoenix Contact Finito Digital Shift Book. 1/6

Software Engineering. Lecture 2: The Personal Software Process

Modeling Software Maintenance in SEER-SEM

TOPIC DESCRIPTION SUPPLEMENT for the SYSTEMS ENGINEERING SURVEY DESCRIPTION

The Safety 4.0 challenge: The Asset Integrity Management for Safety Critical Element risk management.

Technische Universität München. Software Quality. Management. Dr. Stefan Wagner Technische Universität München. Garching 18 June 2010

White Paper. Selecting Enterprise Software

Scope and Coverage. Learning Outcomes. V1.0 Visuals Handout Page 1. This topic will cover: By the end of this topic, students will be able to:

Measuring the Effectiveness of Introducing New Methods in the Software Development Process

codebeamer ALM supports Aviation Development and Regulatory Compliance (DO-178B/C, DO-254, and more)

PREFERRED RELIABILITY PRACTICES. Practice:

Enabling ETL Test Automation in Solution Delivery Teams

QA 2 / 2011 OCCURRENCE OF REVENUE FROM SALE OF GOODS

Find every error, layer by layer: inspecting BGA and QFN packages using 3D X-ray

AMERICAN NATIONAL STANDARD FOR POWER ASSIST AND LOW ENERGY POWER OPERATED DOORS SPONSOR BHMA. bu iiders hardware man ufacturers association

SAFETY ASSESSMENT OF THE EMSLAND TRANSRAPID TEST FACILITY FOLLOWING MAJOR TECHNICAL MODIFICATIONS

Achieving ISO Compliance in Silicon (And Beyond?)

Chapter 1 GETTING STARTED. SYS-ED/ Computer Education Techniques, Inc.

Autoclave Installation and Operation Guidelines

Integration Manager. Prinect

Wide Area Multilateration Implementation (WAM) Example

Seminar 06 Chapter 5 - Part 1

SERVICE & SUPPORT FOR SAFETY

PRISM-FHF The Fred Hollows Foundation

GAIA. GAIA Software Product Assurance Requirements for Subcontractors. Name and Function Date Signature 15/09/05 15/09/05 15/09/05 15/09/05 15/09/05

Safety cannot rely on testing

Verification and Validation Working agile when developing a complex and safety critical product

Supplier Quality System Survey

BASICS OF SOFTWARE TESTING AND QUALITY ASSURANCE. Yvonne Enselman, CTAL

Automated Adaptation of Business Process Models Through Model Transformations Specifying Business Rules

FSC INTERNATIONAL STANDARD

News. Practical experiments of manual vs. automated hardness testing

An Automated approach towards Dev-Ops based continuous Regression Testing for SAP Landscapes

DISIC Remit Final Version 1.0 March 2018

Integrated test & measurement at TRUMPF

SE420 Software Quality Assurance

c) Have personnel been appointed to supervise the production operations across all shifts in order to ensure the product quality?

Consumer, Environmental and Health Technologies Chemicals. Table of contents

Quality Assurance Requirements (QAR) OTTO FUCHS Dülken GmbH & Co. KG. for suppliers of. Heiligenstraße 70 D Viersen

Brief Summary of Last Lecture. Model checking of timed automata: general approach

ROSA a computer based safety model for European railways

IBM TRIRIGA BIRT Application Security Reports October 30, 2013

NORTH CAROLINA DIVISION OF AIR QUALITY

Control Environment Toolkit: Internal Audit Function

digital business solution d.velop procurement for SAP ERP

Is Your Electric Utility Prepared for the New Arc Flash Safety Regulation?

EndCustomer Monitor 4.0

Bugs are costly... Kinds of Quality Assurance

Model-Based Integrated Health Management

Design and Research on Co-simulation Training System of Large-Scale Power Grid with Distribution Network Based on Intelligent Materials System

IMPLEMENTATION OF SAFETY PARAMETER DISPLAY SYSTEM ON RUSSIAN NPPs WITH WER REACTORS

Decision 19/CMP.1 Guidelines for national systems under Article 5, paragraph 1, of the Kyoto Protocol

G13 - ITGCs Role in Internal Control over Financial Reporting William J. Powers

What is Continuous Integration. And how do I get there

Safe Testing and Execution of Autonomy in Complex, Interactive Environments. Safe and Secure Systems and Software Symposium (S5) 7/12/2016

Next Generation Design and Verification Today Requirements-driven Verification Methodology (for Standards Compliance)

Erol Simsek, isystem. Qualification of a Software Tool According to ISO /6

Process Improvement. Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 28 Slide 1

Software Quality Assurance and Testing STUDY NOTES

King III Chapter 7 & 9 Guidance on the Assessment of the System of Internal Control. June 2010

Software and Inspection Advances in Pipeline Integrity Assessment

FUNCTIONAL SAFETY CERTIFICATE. IQ3 Valve Actuator manufactured by

The Anatomy and Lifecycle of a Metric

Designing the production of tomorrow today. Your path to the Smart FOOD Factory with CSB

Louisiana State University Health Science Center School of Public Health

U. S. Army Corps of Engineers Liquid Phase Carbon Adsorption Checklist

From EAP to BHAP. A Guide for Fire Departments. Firefighters and their families must have access to. Firefighter Life Safety Initiative #13:

Smart Grid Small Generator Interconnection Procedure (SGIP) Updates. December 06, 2016

Transcription:

Software Quality Assurance Conclusions

Automation of Testing Minimum Requirements Necessary, minimum requirements of testing A simple practical testing strategy Generation of a testing strategy in practice Summary Literature 2

Necessary, Minimum Requirements of Dynamic Testing Absolutely necessary according to all authoritative standards: Function-oriented test planning for all test phases Reproducibility of test results automatic regression test after software modification Large consensus: Supplementary structure-oriented coverage (minimum: branch coverage test) In critical application areas e.g., avionics more thorough structure-oriented tests are explicitly required by the standards Execution preferably during the first test phase after finishing the code (module test) Additional performance and stress testing, especially in technical application areas 3

A Simple, Practical, Dynamic Test Strategy Module Test Function-oriented module test using a branch coverage testing tool Function-oriented test case generation (e.g. generation of functional equivalence classes) Preparation viz. instrumentation of the modules to be tested for controlling the branch coverage achieved Complete execution of the function-oriented testing Controlling of the branch coverage achieved in this way (according to experience, approx. 70% - 80%) Structure-oriented module test using the branch coverage testing tool Cause analysis for the non-execution of branches Generation of test cases for the branches not yet executed Integration and System Test Function-oriented test 4

Measurement Software is nowadays often used in application areas in which quantitative statements are common or necessary: Contract design: We stipulate that the system s minimum availability shall be 99.8%! Safety proof of a railway system at the Federal Railway Authority: How high is the remaining risk posed by software failures? Is the expected number of the remaining failures sufficiently low for the release? Is the probability adequately small that software failures in control units will cause malfunctions of our luxury sedans? We need a failure-free mission time of 4 weeks. Can this be attained? Many enterprises have installed defined processes: The next step is to quantitatively control these. 5

Measurement First steps in measurement: Measurement of the test coverage integrated into dynamic test tools Measurement of code features separate measurement tools 6

Extension of Tests Using tools in support of regression tests load and stress tests GUI tests 7

Statistic Analyses Prior to test execution: Checking compliance with programming conventions Tool Data flow anomalies analysis Tool / Compiler Code Inspection / Review WITHOUT Tool Dynamic test As described Beforehand: Switching on the assertions At the same time: Recording of the test cases (regression test) and recording of the coverage If applicable: load and stress tests / GUI test 8

In Addition If applicable: measurement of the achieved reliability (evaluation of the test observations) Tool If applicable: monitoring of special requirements from the standards: e.g., RTCA DO 178 B demands advanced dynamic tests (avionics) If applicable: early tool-supported safety analysis (FMECA, RBD, FT) 9

Literature Liggesmeyer P., Software-Qualität, 2. Aufl., Heidelberg: Spektrum Akademischer Verlag 2009 10