Testing AUTOSAR software with QuickCheck
Paper in proceedings, 2015

AUTOSAR (AUTomotive Open System ARchitecture) is an evolving standard for embedded software in vehicles, defined by the automotive industry, and implemented by many different vendors. On behalf of Volvo Cars, we have developed model-based acceptance tests for some critical AUTOSAR components, to guarantee that implementations from different vendors are compatible. We translated over 3000 pages of textual specifications into QuickCheck models, and tested many different implementations using large volumes of generated tests. This exposed over 200 issues, which we raised with Volvo and the software vendors. Compared to an earlier manual approach, ours is more efficient, more effective, and more correct.

Author

Thomas Arts

Quviq Ab

John Hughes

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Ulf Norell

Quviq Ab

Henrik Svensson

Quviq Ab

2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings

2159-4848 (ISSN)

Subject Categories

Electrical Engineering, Electronic Engineering, Information Engineering

DOI

10.1109/ICSTW.2015.7107466

ISBN

978-1-4799-1885-0

More information

Latest update

9/6/2018 1