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...

Full description

Bibliographic Details
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