Testing AUTOSAR software with QuickCheck
Paper i proceeding, 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.

Författare

Thomas Arts

Quviq Ab

John Hughes

Chalmers, Data- och informationsteknik, Programvaruteknik

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)

Ämneskategorier

Elektroteknik och elektronik

DOI

10.1109/ICSTW.2015.7107466

ISBN

978-1-4799-1885-0

Mer information

Senast uppdaterat

2018-09-06