CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Testing AUTOSAR software with QuickCheck

T. Arts ; John Hughes (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; U. Norell ; H. Svensson
2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings (2159-4848). (2015)
[Konferensbidrag, refereegranskat]

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.

Article number 7107466

Denna post skapades 2015-07-21. Senast ändrad 2017-09-14.
CPL Pubid: 219899


Läs direkt!

Länk till annan sajt (kan kräva inloggning)