We think you have liked this presentation. If you wish to download it, please recommend it to your friends in any social system. Share buttons are a little bit lower. Thank you!
Presentation is loading. Please wait.
Published byEllis Whyde
Modified over 2 years ago
© Fraunhofer FIRST Dr. Stephan Weißleder Research Manager Testing Department Quality of Embedded Systems (QUEST) Fraunhofer-Institute FIRST Relation of Model-Based Testing and Safety-Relevant Standards
© Fraunhofer FIRST Page 2 Fraunhofer-Institute FIRST – Department QUEST Review and AssessmentTestingVerification IEC DO-178B ISO IEC EN IEC DO-178B ISO IEC EN certified
© Fraunhofer FIRST Page 3 Model-Based Testing
© Fraunhofer FIRST Page 4 –Early testing –Low costs –Support for certification –Early testing –Low costs –Support for certification –Better test management –Early testing –Low costs –Support for certification –Better test management –High degree of automation –Better test coverage Model-Based Testing Requirements Model Implementation Unit test System test Acceptance test Validation and traceability of requirements Generation of test design & test oracle Early acceptance test by model simulation Design Test management, Variant management
© Fraunhofer FIRST Page 5 How Does MBT Support Safety-Relevant Standards?
© Fraunhofer FIRST Page 6 How Does MBT Support Safety-Relevant Standards? Requirements Tests ? Higher Efficiency, Automatic Traceability Validation of requirements, Better Traceability? Measure/Achieve code coverage, More detailed coverage information for system tests? Relation of model coverage and requirements coverage? TraceabilityCoverage
© Fraunhofer FIRST Page 7 How do Safety-Relevant Standards Support MBT?
© Fraunhofer FIRST Page 8 Standards The good things about standards is there are so many to choose from. VDE 0801 IEC ISO ISO RTCA DO-178B ARINC 653 EN EN EN IEC EN ISO ISO TR General purpose Automotive Aviation Railway Machinery
© Fraunhofer FIRST Page 9 ISO (under publication) "Testing activities are also treated differently since models can be used as a useful source of information for the testing process (model-based testing)."
© Fraunhofer FIRST Page 10 RTCA DO-178B – 1992 DAL EDAL DDAL CDAL BDAL A No effectMinorMajorHazardousCatastrophic (Source: John Joseph Chilenski) (Source: DO-178B Standard)
© Fraunhofer FIRST Page 11 RTCA DO-178B – 1992 ObjectiveDAL ABCD Test coverage of high-level requirements is achieved. XXXX Test coverage of low-level requirements is achieved. XXX Test coverage of software structure is achieved. (MC/DC) X Test coverage of software structure is achieved. (Decision Coverage) XX Test coverage of software structure is achieved. (Statement Coverage) XXX Test coverage of software structure is achieved. (Data coupling / control coupling) XXX No support for model-based testing. Things are getting better in DO-178C ?
© Fraunhofer FIRST Page 12 IEC – 2010 !!!
© Fraunhofer FIRST Page 13 IEC – 2010
© Fraunhofer FIRST Page 14 IEC – 2010 Advantages: -Early requirements validation -Automatic test case generation -Combination of test case generation and code coverage measurement Model-based testing is (highly!) recommended. Model-based testing is (highly!) recommended.
© Fraunhofer FIRST Page 15 Dr. Stephan Weißleder +49 (0) Our mission is to bring model- based testing to industrial practice.
Thursday, November 1, 2001(c) 2001 Ibrahim K. El-Far. All rights reserved.1 Enjoying the Perks of Model-based Testing Ibrahim K. El-Far Florida Institute.
Gérard Ladier Airbus France 11/2003 DO-178B / ED-12B Software Aspect of Certification in the Aerospace sector
1ISOs presentation to the WTO TBT Workshop on Suppliers Declaration of Conformity SG/ International Organization for Standardization.
The Importance of Requirements Management. Why Requirements Management? Better project efficiency Better requirements validation More stakeholder engagement.
Capacity development & learning in evaluation Uganda Evaluation Week 19 th to 223 rd May 2014.
COMP Adrian Marshall Verification and Validation Processes Introduction Adrian Marshall Intro.
ASWEC 2008Slide 1 Construction by Configuration: An opportunity for SE research Prof. Ian Sommerville St Andrews University Scotland.
EHR-S Conformance Considerations Lynne S. Rosenthal National Institute of Standards and Technology August 2004.
HL7 V2 Conformance Testing Robert Snelick NIST January 20 th, 2004
1 Chapter 4 kareRCIserIsviFIsa RsþGnuvtþKMerag Selection Of An Appropriate Project Approach.
1 Computer Systems & Architecture Lesson 3 5. Designing the Architecture.
Interactive Method for Measuring PRE-assembly and STandardisation benefit in construction Christine Pasquire, Nick Blismas, Alistair Gibb.
Construction process lasts until coding and testing is completed consists of design and implementation reasons for this phase –analysis model is not sufficiently.
E-Transcripts – Electronic procedure for the exchange of curriculum data of exchange students.
©Ian Sommerville 2000Software Engineering, 6th edition. Chapter 29Slide 1 Chapter 29 Configuration Management.
1 of 19 Organization and Management New Structures and Alliances IMARK Investing in Information for Development Organization and Management New Structures.
©Ian Sommerville 2000Software Engineering, 6th edition. Chapter 25 Slide 1 Chapter 25 Process Improvement.
EEE 243B Applied Computer Programming Software engineering Life cycle and when to test.
TELEIOS 2nd User Community Workshop Introduction and Agenda Dr. Eva Klien Spatial Information Management Fraunhofer IGD Tel – 412
Janvier 2010 Software aspects of aeronautical certification and static analysis tools Gérard LADIER Airbus / Aerospace Valley
1 International Workshop on Regional Products and Income Accounts, Beijing, China, March 2010 Country Presentation -India By National Accounts Division.
1 Note content copyright © 2004 Ian Sommerville. NU-specific content copyright © 2004 M. E. Kabay. All rights reserved. Critical Systems Validation IS301.
CS Communication & Systèmes – Charte SCADE tools SCADE System SCADE Suite SCADE Display SCADE development modules.
Zeichen setzen für die Zukunft Committing to the future Market Launch Documentation Testo Saveris 21CFR11 Software July 2009.
CYPRESS Software Testing By Rick Clements
Using mixed methods to investigate effectiveness and costs of key worker services for disabled children Tricia Sloper, Social Policy Research Unit, University.
Configuration Management Basics Enchantment Chapter of INCOSE October 12, 2011 Ann Hodges, CSEP
The European standards and guidelines for quality assurance Peter Williams President, ENQA.
CASE tools Upper CASE tools: support for the analysis and design Lower CASE tools: support for construction and maintenance 1980s… Nowadays… Integrated.
Project Management and Software Quality See accompanying Word file “Software PM tools 3”
© 2016 SlidePlayer.com Inc. All rights reserved.