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

Examensarbete för masterexamen

Använd denna länk för att citera eller länka till detta dokument: https://hdl.handle.net/20.500.12380/213746
Ladda ner:
Fil Beskrivning StorlekFormat 
213746.pdfFulltext1.22 MBAdobe PDFVisa
Typ: Examensarbete för masterexamen
Master Thesis
Titel: Evaluation of validity of verification methods: Automating functional safety with QuickCheck
Författare: Ingemarsson, Oskar
Olsson, Sebastian Weddmark
Sammanfattning: 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: Data- och informationsvetenskap;Informations- och kommunikationsteknik;Computer and Information Science;Information & Communication Technology
Utgivningsdatum: 2015
Utgivare: Chalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)
Chalmers University of Technology / Department of Computer Science and Engineering (Chalmers)
URI: https://hdl.handle.net/20.500.12380/213746
Samling:Examensarbeten för masterexamen // Master Theses



Materialet i Chalmers öppna arkiv är upphovsrättsligt skyddat och får ej användas i kommersiellt syfte!