liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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 MCDC adequate test sets for safety critical software to be RORG adequate
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
2015 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

A number of logical code coverage criteria have been used throughout the years in the testing of safety-critical software. Kaminski, et al. proposed Relational Operator Replacement Global (RORG), a method to bring benefits from ROR mutation to Modified Condition / Decision Coverage (MCDC), which is widely used in the avionics industry. However, there is a lack of studies in the industry to support this method. In this thesis, we report on the results of applying RORG to avionic code, augmenting an MCDC adequate test set to satisfy RORG, evaluating its ability to find real faults in industrial software.

Conclusions drawn from this thesis are: (1) Faults in relational operators in avionic code are rare, no faults were found in this study. (2) 24% of the relational operators in our study would require additional software requirements to be verified for RORG coverage. (3) 37% of the relational operators in our study were infeasible to test due to program semantics. (4) 84% of the tests added covered enumeration comparisons.

Place, publisher, year, edition, pages
2015. , 28 p.
Keyword [en]
Software Testing, Code Coverage, Mutation Testing, ROR, RORG, MCDC, Active Clause Coverage, Safety-critical software, Static Code Analysis, Instrumentation, Ada, ASIS
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:liu:diva-121729ISRN: LIU-IDA/LITH-EX-A--14/067--SEOAI: oai:DiVA.org:liu-121729DiVA: diva2:859046
External cooperation
Saab AB
Subject / course
Computer Engineering
Supervisors
Examiners
Available from: 2015-10-06 Created: 2015-10-04 Last updated: 2015-10-06Bibliographically approved

Open Access in DiVA

fulltext(1086 kB)131 downloads
File information
File name FULLTEXT01.pdfFile size 1086 kBChecksum SHA-512
faf1f814cf2c4f4e6e6123fba1543e2339c97c868e9227ce511d6194cb20011258e33f4d1e9662de8db8bcdf924ce693351b417680cfd16b6195da13c3eb0ff6
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Nylén, Christoffer
By organisation
Software and SystemsFaculty of Science & Engineering
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 131 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: 1033 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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