Global ETD Search

1	Improving the Development of Safety Critical Software : Automated Test Case Generation for MC/DC Coverage using Incremental SAT-Based Model Checking Holm, Oscar January 2019 (has links) The importance and requirements of certifying safety critical software is today more apparent than ever. This study focuses on the standards and practices used within the avionics, automotive and medical domain when it comes to safety critical software. We identify critical problems and trends when certifying safety critical software and propose a proof-of-concept using static analysis, model checking and incremental SAT solving as a contribution towards solving the identiﬁed problems. We present quantitative execution times and code coverage results of our proposed solution. The proposed solution is developed under the assumptions of safety critical software standards and compared to other studies proposing similar methods. Lastly, we conclude the issues and advantages of our proof-of-concept in perspective of the software developer community safety critical system safety critical software MC/DC quality assurance software engineering Modified Condition Decision Coverage automated testing test case generation SAT solving Z3 Dextool model checking static analysis Computer and Information Sciences Data- och informationsvetenskap Computer Sciences Datavetenskap (datalogi)