Change search
ReferencesLink to record
Permanent link

Direct link
Offline Analysis of Independent Guarded Assertions in Automotive Integration Testing
RISE, Swedish ICT, SICS.
RISE, Swedish ICT, SICS.
Number of Authors: 4
2015 (English)Conference paper (Refereed)
Abstract [en]

The size and complexity of software in automotive systems have increased steadily over the last decades. Modern vehicles typically contain numerous electrical control units (ECUs), and more and more features require real-time interaction between several dedicated ECUs (e.g., gearbox, brake and engine control units) in order to perform their tasks. Since system safety and reliability must not be adversely affected by this increase in complexity, proper quality assurance is a must. Such quality assurance is often performed by testing the system in different levels of integration throughout the development process. However, the growth of complexity of the system under test aslo affects the testing, making it laborious, difficult and costly. This paper presents a novel method for efficient offline analysis of traces, which has been especially tailored for integration testing of automotive systems. The method exploits the recently defined concept of independent guarded assertion in order to formally describe the events that are relevant for the analysis as well as the expected behavior in those events. The offline analysis is implemented using a standard commercial model checker and has shown good performance in the conducted experiments.

Place, publisher, year, edition, pages
2015, 7.
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-15660OAI: diva2:1036980
Available from: 2016-10-13 Created: 2016-10-13

Open Access in DiVA

fulltext(366 kB)4 downloads
File information
File name FULLTEXT01.pdfFile size 366 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

By organisation
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 4 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

ReferencesLink to record
Permanent link

Direct link