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

dc.contributor.authorIngemarsson, Oskar
dc.contributor.authorOlsson, Sebastian Weddmark
dc.contributor.departmentChalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)sv
dc.contributor.departmentChalmers University of Technology / Department of Computer Science and Engineering (Chalmers)en
dc.date.accessioned2019-07-03T13:38:23Z
dc.date.available2019-07-03T13:38:23Z
dc.date.issued2015
dc.description.abstractQuviq 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.
dc.identifier.urihttps://hdl.handle.net/20.500.12380/213746
dc.language.isoeng
dc.setspec.uppsokTechnology
dc.subjectData- och informationsvetenskap
dc.subjectInformations- och kommunikationsteknik
dc.subjectComputer and Information Science
dc.subjectInformation & Communication Technology
dc.titleEvaluation of validity of verification methods: Automating functional safety with QuickCheck
dc.type.degreeExamensarbete för masterexamensv
dc.type.degreeMaster Thesisen
dc.type.uppsokH
local.programmeComputer science – algorithms, languages and logic (MPALG), MSc
Ladda ner
Original bundle
Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
213746.pdf
Storlek:
1.19 MB
Format:
Adobe Portable Document Format
Beskrivning:
Fulltext