1 / 13

O. Hofmann, J. Wiessalla, E. Pofahl, T. Lenzen , R. Schlick and W. Herzner

O. Hofmann, J. Wiessalla, E. Pofahl, T. Lenzen , R. Schlick and W. Herzner. Model Based Generation of Test Cases for Safe and Reliable Vehicle Software in the Framework of MOGENTES. Content. Introduction and motivation From requirements to test cases The car alarm system as demonstrator

beyla
Télécharger la présentation

O. Hofmann, J. Wiessalla, E. Pofahl, T. Lenzen , R. Schlick and W. Herzner

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. O. Hofmann, J. Wiessalla, E. Pofahl,T. Lenzen, R. Schlick and W. Herzner Model Based Generation of Test Casesfor Safe and Reliable Vehicle Softwarein the Framework of MOGENTES

  2. Content • Introduction and motivation • From requirements to test cases • The car alarm system as demonstrator • Test cases found at the car alarm system • Summary and outlook

  3. 1. European research project Universities and research institutes Tool developers Industry delivering demonstrators

  4. 1. Motivation HIL test bench (at Ford Cologne) for body engineering • state transitions i.e. door closures and interior lighting • dashboard verification and validation Laboratory vehicle (body ECUs, actuators and loads) Simulator hardware Control PC

  5. 1. Actual procedure at the HIL • manual test case generation from requirements • advantages of automation • Requirement list • requirement 1 • requirement 2 • … • reduction in the work effort of the test engineers • compliance with Functional Safety Requirements(ISO 26262) • tool based Requirements Engineering & Design Verification • coverage of test scenarios Manually written by test engineers Test cases

  6. 2. From requirements to the model • creating manually a modelfrom the requirements • preferred target format is UML (Unified Modelling Language) • Requirement list • requirement 1 • requirement 2 • … manually done Requirements model automated by MOGENTES Test cases

  7. 2. From the model to test cases • introducing mutations into the requirements model • looking for inputs that result in an observable difference in the behaviour of the original and a mutated requirements model • Requirement list • requirement 1 • requirement 2 • … manually done Requirements model Model mutations automated by MOGENTES Original requirements model + … Observable difference Input Mutated requirements model - Test cases • when difference then test case

  8. 3. The Ford demonstrator • car alarm system • example of a requirement The anti-theft alarm system can be deactivated at any time – even when the alarm is sounding – by unlocking the vehicle from outside. alarm armed car locked acoustic alarm alarm sensor optical alarm

  9. 4. Test cases for the demonstrator • test case found by MOGENTES Ctrl : Alarm sensor off Ctrl : Lock the vehicle after(20) Obsv : AlarmArmed SetOn Ctrl : Alarm trigger Obsv : AlarmArmed SetOff Obsv : OpticalAlarm SetOn Obsv : AcousticAlarm SetOn after(30) Obsv : AcousticAlarm SetOff Ctrl : Unlock Obsv : OpticalAlarm SetOff initialisation … … observed signal alarm event expected reactions … … after 30 seconds acoustic alarm switches off unlock the car optical alarm switches off

  10. 4. Test cases for the demonstrator • manually found: “reset alarm by unlocking the car” input: unlock the car car locked alarm trigger input: alarm sensor output: alarm stops alarm armed output: allowed delay acoustic alarm output: optical alarm 120 0 30 60 90 150 180 210 240 time (sec)

  11. 4. Test cases for the demonstrator • comparisonbetween MOGENTES andmanual test case generation • eleven test cases found by MOGENTES • eight test cases found manually • at the moment: analysis of the automatically found test cases • satisfactory results with possibilities of improvement

  12. 5. Summary and outlook • MOGENTES : EU project • reduction of work effort at the HIL test benches • automated test case generationsupported by manual steps • Ford demonstrator : car alarm system • test of MOGENTES • in a software environment and • at the HIL test benches in the final review in February 2011

  13. 5. Summary and outlook Questions and discussion …

More Related