O hofmann j wiessalla e pofahl t lenzen r schlick and w herzner
This presentation is the property of its rightful owner.
Sponsored Links
1 / 13

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


  • 78 Views
  • Uploaded on
  • Presentation posted in: General

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

Download Presentation

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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


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 Casesfor Safe and Reliable Vehicle Softwarein the Framework of MOGENTES


Content

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


1 european research project

1. European research project

Universities and research institutes

Tool developers

Industry delivering demonstrators


1 motivation

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


O hofmann j wiessalla e pofahl t lenzen r schlick and w herzner

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


2 from requirements to the model

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


O hofmann j wiessalla e pofahl t lenzen r schlick and w herzner

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


3 the ford demonstrator

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


4 test cases for the demonstrator

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


4 test cases for the demonstrator1

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)


4 test cases for the demonstrator2

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


O hofmann j wiessalla e pofahl t lenzen r schlick and w herzner

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


O hofmann j wiessalla e pofahl t lenzen r schlick and w herzner

5. Summary and outlook

Questions and discussion …


  • Login