A Tool for OS Linux Kernel Configuration Families Static Verification

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.