Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Improving the Development of Safety Critical Software: Automated Test Case Generation for MC/DC Coverage using Incremental SAT-Based Model Checking
Linköping University, Department of Computer and Information Science.
2019 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

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 identified 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

Place, publisher, year, edition, pages
2019. , p. 40
Keywords [en]
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
National Category
Computer and Information Sciences Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-161335ISRN: LIU-IDA/LITH-EX-A--19/082--SEOAI: oai:DiVA.org:liu-161335DiVA, id: diva2:1366444
External cooperation
Mindroad
Subject / course
Computer science
Presentation
2019-10-18, Donald Knuth, Linköpings Universitet, LINKÖPING, 13:38 (English)
Supervisors
Examiners
Available from: 2019-10-31 Created: 2019-10-29 Last updated: 2019-10-31Bibliographically approved

Open Access in DiVA

fulltext(301 kB)24 downloads
File information
File name FULLTEXT01.pdfFile size 301 kBChecksum SHA-512
9ef96b70f1c77d649e4b297363edd07bbdec5770c794fdbf40002166e58b0c3f5f47612052af6a8b9e86f982128148d23f60b45429b3d0a29a0fcb3c59bcc7ef
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Holm, Oscar
By organisation
Department of Computer and Information Science
Computer and Information SciencesComputer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 24 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 58 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf