Testing AUTOSAR software with QuickCheck
Paper in 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.
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)
978-1-4799-1885-0 (ISBN)
Subject Categories
Electrical Engineering, Electronic Engineering, Information Engineering
DOI
10.1109/ICSTW.2015.7107466
ISBN
978-1-4799-1885-0