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 61508 DO-178B ISO 26262 IEC 62061 EN 50128 IEC 61508 DO-178B ISO 26262 IEC 62061 EN 50128 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 61508 ISO 15408 ISO 26262 RTCA DO-178B ARINC 653 EN 50126 EN 50128 EN 50159 IEC 62061 EN ISO 13849 ISO TR 15497 General purpose Automotive Aviation Railway Machinery
© Fraunhofer FIRST Page 9 ISO 26262 (under publication) 26262-4 26262-6 "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 61508 – 2010 !!!
© Fraunhofer FIRST Page 13 IEC 61508 – 2010
© Fraunhofer FIRST Page 14 IEC 61508 – 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 firstname.lastname@example.org +49 (0)30 6392 1876 Our mission is to bring model- based testing to industrial practice.
0 - 0.
Slide 1 Insert your own content. Slide 2 Insert your own content.
Combining Like Terms. Only combine terms that are exactly the same!! Whats the same mean? –If numbers have a variable, then you can combine only ones.
Bottoms Up Factoring. Start with the X-box 3-9 Product Sum
Addition 1’s to 20.
Test B, 100 Subtraction Facts
5.9 + = 10 a)3.6 b)4.1 c)5.3 Question 1: Good Answer!! Well Done!! = 10 Question 1:
1 Copyright © 2010, Elsevier Inc. All rights Reserved Fig 3.1 Chapter 3.
Safety Critical Systems and Certification Issues DO-178B Airborne Standard
E-Transcripts – Electronic procedure for the exchange of curriculum data of exchange students.
Quest ion 1? A.) answer B.) answer C.) correct answerD.) answer L C.) correct answer F.
© S Haughton more than 3?
Safety Update This presentation covers Machinery Directive 2006/42/EC
Software in Legacy Systems
1 Grafcet point de vue système. 2 Cliquez pour mise en route 0P 0Z 1V 2V 2V 1 1V 1 1V 2 1Z BPR 0Z 3 0V 1A.
Past Tense Probe. Past Tense Probe Past Tense Probe – Practice 1.
Karl-Heinz Kühnlein Conquest 2009: Experiences with model centric Testing in Standard-based Medical IT Environments Test Management Aspects.
2 pt 3 pt 4 pt 5 pt 1 pt 2 pt 3 pt 4 pt 5 pt 1 pt 2 pt 3 pt 4 pt 5 pt 1 pt 2 pt 3 pt 4 pt 5 pt 1 pt 2 pt 3 pt 4 pt 5 pt 1 pt Time Money AdditionSubtraction.
© 2017 SlidePlayer.com Inc. All rights reserved.