Modellbaserad Testning av Mekatroniska System (TESTRON)

Syfte och mål: Projektet syftar till att utveckla och demonstrera formella testmetoder, i synnerhet modell-baserad testning (MBT), för mekatroniska och komplexa realtidssystem. Då sådana system inkluderar mekanik med kontinuerlig dynamik blir manuell testning en väldigt oeffektiv lösning. Modell-baserad testning möjliggör automatisk generering av testfall utifrån abstrakta modeller som representerar kraven på systemet och dess omgivning. Målet är att via högre testtäckningsgrad producera mjukvara med högre kvalité och via automation minska utvecklingskostanderna.

Förväntade effekter och resultat: Algoritmer som, givet Simulink modeller som representerar krav, och plantmodeller som representerar fysiska komponenter, kan generera testfall med hög täckningsgrad. Ett MBT-baserat verktyg som kan integreras i MIL och HIL miljöerna på Volvo, verktyget ska utvärderas gentemot kommersiella verktyg. Riktlinjer för hur krav ska modelleras i Simulink för att det ska vara lämpligt för verktyget.

 

Participants

Martin Fabian (contact)

Professor at Signals and Systems, Automation

Collaborations

Quviq Ab

Savedalen, Sweden

Volvo Car Corporation

Gothenburg, Sweden

Funding

VINNOVA

Funding years 2016–2019

Related Areas of Advance and Infrastructure

Sustainable Development

Chalmers Driving Force

More information

Latest update

2017-02-09