Modelling of Autosar Libraries for Large Scale Testing
We demonstrate a specific method and technology for model-based testing of large software projects with the QuickCheck tool using property-based specifications. Our specifications are very precise, state-full models of the software under test (SUT). In our approach we define (a) formal descriptions...
Main Authors: | Wojciech Mostowski, Thomas Arts, John Hughes |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2017-03-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1703.06574v1 |
Similar Items
-
AUTOSAR Acceptance Test of Communication on CAN bus
by: Sun, Bo, et al.
Published: (2017) -
An Autosar diagnostic platform
by: Dakermandji, Jan
Published: (2008) -
ASFIT: AUTOSAR-Based Software Fault Injection Test for Vehicles
by: Jihyun Park, et al.
Published: (2020-05-01) -
Implementation of CAN Communication Stack in AUTOSAR
by: Alexandersson, Johan, et al.
Published: (2015) -
Generation of AUTOSAR Diagnostic Communication Manager
by: Ravi, Divya
Published: (2016)