In English

Evaluation of validity of verification methods: Automating functional safety with QuickCheck

Oskar Ingemarsson ; Sebastian Weddmark Olsson
Göteborg : Chalmers tekniska högskola, 2015. 62 s.
[Examensarbete på avancerad nivå]

Quviq QuickCheck can be used when testing and developing software within the automotive industry. A demonstration of QuickCheck with functional safety in mind has been made. Ambiguities in AUTOSAR 4.0.3 were discovered. Some ISO 26262 requirements are achievable with the use of QuickCheck, but it is not possible to achieve functional safety using only QuickCheck. This is mainly because AUTOSAR is written in informal syntax and can not help verify the model. Coverages have been measured and evaluated. To reach a higher level of coverage, one need both positive and negative testing, as well as more than one configuration.

Nyckelord: AUTOSAR, Veri cation, QuickCheck, Functional safety, ISO 26262

Publikationen registrerades 2015-03-13.

CPL ID: 213746

Detta är en tjänst från Chalmers bibliotek