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

A Tool for OS Linux Kernel Configuration Families Static Verification

Student: Kateryna Chervinska

Supervisor: Alexander K. Petrenko

Faculty: Faculty of Computer Science

Educational Programme: Software Engineering (Bachelor)

Year of Graduation: 2016

System software can be configured at compile time to tailor it with respect to a broad range of supported hardware architectures and application domains. Valid combinations of configuration options are often restricted by intricate constraints. Describing options and constraints in a variability model allows reasoning about the supported configurations. The Linux v3.2 kernel, for instance, provides more than 12,000 configurable features, which control the configuration-dependent inclusion of 31,000 source files with 89,000 #ifdef blocks. Tools for static analyses can greatly assist with ensuring the quality of code-bases of this size. Unfortunately, static configurability limits the success of automated software testing and bug hunting. For proper type checking, the tools need to be invoked on a concrete configuration, so programmers have to manually derive many configurations to ensure that the configuration-conditional parts of their code are checked. This tedious and error-prone process leaves many easy to find bugs undetected. The purpose of the graduate qualification work is to develop a tool for OS Linux kernel configuration families static verification. for automated testing kit configurations This tool will be used to generate and automatically check a set of configurations that provides coverage of all variable parts of the kernel code, avoiding brute-force fashion for all possible configurations. The paper describes the co-operation in the field of improvement of configuration experience, describes different approaches, and proposes an approach to automate the creation of configurations set with a maximum code coverage. Key words: Software Product Lines, Variability Model, Static Analysis, Configuration Constraints.

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