Model-based testing of safety-critical avionics systems

Simple item page
dc.contributor.authorArefin, Syed Samsul
dc.contributor.examiningcommitteeMohammed, Noman (Computer Science) Asadzadeh, Masoud (Civil Engineering)en_US
dc.contributor.supervisorHemmati, Hadi (Computer Science) Eskicioglu, Rasit (Computer Science)en_US
dc.date.accessioned2017-08-29T21:10:00Z
dc.date.available2017-08-29T21:10:00Z
dc.date.issued2017
dc.degree.disciplineComputer Scienceen_US
dc.degree.levelMaster of Science (M.Sc.)en_US
dc.description.abstractSafety-critical systems in aviation domain often go through the formal process of airworthiness certification DO-178C, which ensures system's safe and risk-free operation. Two of the main requirements for this certification are to have traceability between specifications and test cases, and have high code coverage. In this thesis, I have implemented a Model-Based Testing (MBT) tool to automate system-level test generation from specification models. MBT alone provides the traceability requirement. To improve the code coverage, unlike transition coverage based MBT, I target model-constraints in a more demanding manner, Modified Condition/Decision Coverage (MC/DC), and generate an extra set of test cases using an evolutionary algorithm that leads to higher code coverage. The result shows, the proposed approach improves the MC/DC model-constraint coverage by 65% and the code-level C/D coverage by 33% for a sample specification model. The proposed approach also detected three new faults in the system.en_US
dc.description.noteOctober 2017en_US
dc.identifier.urihttp://hdl.handle.net/1993/32391
dc.language.isoengen_US
dc.rightsopen accessen_US
dc.subjectAvionics systems,Airworthiness certification, Do-178c, Model-based testing,Search-bases software testing,Test automationen_US
dc.titleModel-based testing of safety-critical avionics systemsen_US
dc.typemaster thesisen_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Model-Based Testing of Safety-Critical Avionics Systems_Arefin.pdf
Size:
582.2 KB
Format:
Adobe Portable Document Format
Description:
Thesis
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
2.2 KB
Format:
Item-specific license agreed to upon submission
Description:
Download
Collections
FGS - Electronic Theses and Practica