150 likes | 341 Views
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.
E N D
Relation of Model-Based Testing andSafety-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 IEC 61508 DO-178B ISO 26262 IEC 62061 EN 50128 certified
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
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
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
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
RTCA DO-178B – 1992 (Source: DO-178B Standard) (Source: John Joseph Chilenski)
RTCA DO-178B – 1992 No support for model-based testing. Things are getting better in DO-178C ?
IEC 61508 – 2010 !!!
IEC 61508 – 2010 Model-based testing is (highly!) recommended. • Advantages: • Early requirementsvalidation • Automatic testcasegeneration • Combinationoftestcasegenerationandcodecoveragemeasurement
Dr. Stephan Weißleder • stephan.weissleder@first.fraunhofer.de • +49 (0)30 6392 1876 Ourmissionisto bring model-basedtestingtoindustrialpractice.