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 of valid function call sequences (public API), (b… (More)
DOI: 10.4204/EPTCS.244.7