1 / 15

Relation of Model-Based Testing and Safety -Relevant Standards

Relation of Model-Based Testing and Safety -Relevant Standards. Dr. Stephan Weißleder Research Manager Testing Department Quality of Embedded Systems (QUEST) Fraunhofer-Institute FIRST. Fraunhofer-Institute FIRST – Department QUEST . Review and Assessment. Testing. Verification.

keisha
Download Presentation

Relation of Model-Based Testing and Safety -Relevant Standards

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Relation of Model-Based Testing andSafety-Relevant Standards Dr. Stephan Weißleder Research Manager Testing Department Quality of Embedded Systems(QUEST) Fraunhofer-Institute FIRST

  2. Fraunhofer-Institute FIRST – Department QUEST • Review and Assessment • Testing • Verification IEC 61508 DO-178B ISO 26262 IEC 62061 EN 50128 certified

  3. Model-Based Testing

  4. Model-Based Testing Early acceptancetestby model simulation Test management, Variant management Requirements Acceptancetest Model System test Generation oftest design & testoracle Validation andtraceabilityofrequirements Unit test Design • Early testing • Low costs • Support forcertification • Early testing • Low costs • Support forcertification • Bettertestmanagement • Early testing • Low costs • Support forcertification • Bettertestmanagement • High degreeofautomation • Bettertestcoverage Implementation

  5. HowDoes MBT Support Safety-Relevant Standards?

  6. HowDoes MBT Support Safety-Relevant Standards? Coverage Traceability Validation of requirements, BetterTraceability? Relation ofmodel coverageandrequirementscoverage? Requirements ? Measure/Achievecodecoverage, More detailedcoverage informationforsystem tests? Higher Efficiency, Automatic Traceability Tests

  7. How do Safety-Relevant Standards Support MBT?

  8. Standards • The goodthingsaboutstandardsisthereare so manytochoosefrom. General purpose ISO 15408 IEC 61508 VDE 0801 Automotive ISO TR 15497 ISO 26262 Aviation RTCA DO-178B ARINC 653 Railway EN 50128 EN 50126 EN 50159 IEC 62061 EN ISO 13849 Machinery

  9. ISO 26262 (underpublication) 26262-4 "Testing activities are also treated differently since models can be used as a useful source of information for the testing process (model-based testing)." 26262-6

  10. RTCA DO-178B – 1992 (Source: DO-178B Standard) (Source: John Joseph Chilenski)

  11. RTCA DO-178B – 1992 No support for model-based testing. Things are getting better in DO-178C ?

  12. IEC 61508 – 2010 !!!

  13. IEC 61508 – 2010

  14. IEC 61508 – 2010 Model-based testing is (highly!) recommended. • Advantages: • Early requirementsvalidation • Automatic testcasegeneration • Combinationoftestcasegenerationandcodecoveragemeasurement

  15. Dr. Stephan Weißleder • stephan.weissleder@first.fraunhofer.de • +49 (0)30 6392 1876 Ourmissionisto bring model-basedtestingtoindustrialpractice.

More Related