Citation link: http://dx.doi.org/10.25819/ubsi/10151
DC FieldValueLanguage
dc.contributor.authorAllende, Imanol-
dc.date.accessioned2022-08-19T10:42:53Z-
dc.date.available2022-08-19T10:42:53Z-
dc.date.issued2022de
dc.description.abstractEmerging technologies in the embedded domain enable the development of innovative software-driven solutions. Autonomous systems are a clear example of this trend and have attracted considerable attention from different industrial sectors and research fields. In fact, they can be considered game-changers for several domains, even for the functional safety domain. These innovative safety-related systems are characterized by an increasing software complexity and high-performance requirements. Hence, a desirable requirement is to deploy an Operating System (OS), such as Linux, on these next-generation complex safety-related systems to fully take advantage of its benefits (e.g., security, reliability, software updates, performance). However, implementing a software layer, such as the Linux kernel, on a resource-sharing architecture hinders the verification process so that it is no longer feasible to base it on traditional approaches, most notably on testing. The potential of traditional testing lies in achieving exhaustive coverage, which is extremely difficult (if even feasible) in the systems with the complexity of those being developed today. Therefore, we believe that testing of software elements needs to be combined with analysis to pave the way towards safety assurance. This thesis contributes with a novel statistical analysis technique to quantify the execution path coverage of the Linux kernel and for estimating the risk entailed by untested execution paths. In the first part, the main gaps in the field of test coverage are examined, specially focused on the Linux kernel. Afterward, different research activities are conducted to statistically estimate the test coverage by the analysis of the execution paths traversed during the testing campaign. The inherent non-determinism of the Linux kernel and the viability of estimating the coverage with different methods is further demonstrated. An additional statistical method to calculate the execution probability of untested paths and determine the risk they entail is proposed. Finally, a technique that combines all these contributions in order to quantify the testing process and the risk associated with the uncovered paths. With the above contributions, this thesis proposes moving towards a statistical approach to quantify the coverage and the risk, and bridge the gap towards the certification of safety-related complex applications based on Linux or other complex OS that run on Commercial Off-The-Shelf (COTS) multi-core devices.en
dc.identifier.doihttp://dx.doi.org/10.25819/ubsi/10151-
dc.identifier.urihttps://dspace.ub.uni-siegen.de/handle/ubsi/2239-
dc.identifier.urnurn:nbn:de:hbz:467-22399-
dc.language.isoende
dc.subject.ddc004 Informatikde
dc.subject.otherAutonomous systemsen
dc.subject.otherNon-determinismen
dc.subject.otherSafetyen
dc.subject.otherTest-coverageen
dc.subject.swbModellgetriebene Entwicklungde
dc.subject.swbAutonomes Systemde
dc.subject.swbLINUXde
dc.subject.swbSicherheitskritisches Systemde
dc.subject.swbStatistische Analysede
dc.titleStatistical path coverage for non-deterministic complex safety-related software testingen
dc.title.alternativeStatistische Pfadabdeckung für nicht-deterministische, komplexe und sicherheitsrelevante Softwaretestsde
dc.typeDoctoral Thesisde
item.fulltextWith Fulltext-
ubsi.contributor.refereeObermaisser, Roman-
ubsi.date.accepted2022-05-16-
ubsi.organisation.grantingUniversität Siegen-
ubsi.origin.dspace51-
ubsi.publication.affiliationDepartment Elektrotechnik - Informatikde
ubsi.subject.ghbsTWHFde
ubsi.subject.ghbsTWRFde
ubsi.subject.ghbsTUHde
Appears in Collections:Hochschulschriften
Files in This Item:
File Description SizeFormat
Dissertation_Imanol_Allende.pdf1.84 MBAdobe PDFThumbnail
View/Open

This item is protected by original copyright

Show simple item record

Page view(s)

142
checked on Dec 5, 2022

Download(s)

79
checked on Dec 5, 2022

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.