• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Complex Fuzz-testing Method for a Real Time Operating System

Student: Vitalii Cheptsov

Supervisor: Alexander K. Petrenko

Faculty: Faculty of Computer Science

Educational Programme: System Programming (Master)

Final Grade: 10

Year of Graduation: 2019

This paper explores the problems of airborne hard real-time operating system testing. To find errors at different lifecycle stages in software of this kind, we propose application of fuzz testing methods. To implement the task we analyse modern approaches of software fuzzing and consider the specialised life cycle characteristics of airborne systems in civil aviation. The work follows the details of implementing individual low-level steps, such as test case generation, fuzzing evaluation, and detection of emerging anomalies. In addition the following high-level approaches are also analysed: security testing application, threat model building, input interaction with the environment prioritisation, risk assessment for the target system. To implement the concept we use an ARINC~653 compatible prototype of an airborne operating system named JetOS, for which we explore the potential input interaction and suggest methods of fuzz testing. We provide a sample implementation of a fuzz testing system usable at the integration stage for analysing credibility of third-party components, such as hardware equipment and supplementary drivers.

Full text (added June 2, 2019)

Student Theses at HSE must be completed in accordance with the University Rules and regulations specified by each educational programme.

Summaries of all theses must be published and made freely available on the HSE website.

The full text of a thesis can be published in open access on the HSE website only if the authoring student (copyright holder) agrees, or, if the thesis was written by a team of students, if all the co-authors (copyright holders) agree. After a thesis is published on the HSE website, it obtains the status of an online publication.

Student theses are objects of copyright and their use is subject to limitations in accordance with the Russian Federation’s law on intellectual property.

In the event that a thesis is quoted or otherwise used, reference to the author’s name and the source of quotation is required.

Search all student theses