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

Direct link
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
URN: urn:nbn:se:liu:diva-121729ISRN: LIU-IDA/LITH-EX-A--14/067--SEOAI: diva2:859046
External cooperation
Saab AB
Subject / course
Computer Engineering
Available from: 2015-10-06 Created: 2015-10-04 Last updated: 2015-10-06Bibliographically approved

Open Access in DiVA

fulltext(1086 kB)46 downloads
File information
File name FULLTEXT01.pdfFile size 1086 kBChecksum SHA-512
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: 46 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

Total: 778 hits
ReferencesLink to record
Permanent link

Direct link