Abstract:
Existing research analyzing evolution of the Linux kernel considers the kernel together with loadable modules delivered with it or some specific subsystems of the kernel. The aim of this paper is to evaluate evolution of the kernel without loadable modules. It proposes a method for determining boundaries between them and evaluates evolution for all versions of the Linux kernel, released over the past 7.5 years. Also the paper presents a classification and a distribution of typical bugs that were fixed in the kernel, based on analysis of changes that have been made to stable branches of the kernel during the last 2 months of 2015. One can use the obtained results for evaluation of applicability of various methods and tools for software quality assurance.
\Bibitem{Nov17}
\by E.~M.~Novikov
\paper Evolution of the Linux kernel
\jour Proceedings of ISP RAS
\yr 2017
\vol 29
\issue 2
\pages 77--96
\mathnet{http://mi.mathnet.ru/tisp211}
\crossref{https://doi.org/10.15514/ISPRAS-2017-29(2)-3}
\elib{https://elibrary.ru/item.asp?id=29118078}
Linking options:
https://www.mathnet.ru/eng/tisp211
https://www.mathnet.ru/eng/tisp/v29/i2/p77
This publication is cited in the following 4 articles:
Yu. O. Kostyukov, K. A. Batoev, D. A. Mordvinov, M. P. Kostitsyn, A. V. Misonizhnik, “Avtomaticheskoe dokazatelstvo korrektnosti programm s dinamicheskoi pamyatyu”, Trudy ISP RAN, 31:5 (2019), 37–62
Evgeny Novikov, Ilja Zakharov, Lecture Notes in Computer Science, 11247, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018, 230
E. M. Novikov, “Vozmozhnosti staticheskoi verifikatsii monolitnogo yadra operatsionnykh sistem”, Trudy ISP RAN, 29:2 (2017), 97–116
I. S. Zakharov, E. M. Novikov, “Inkrementalnoe postroenie spetsifikatsii modelei okruzheniya i trebovanii dlya podsistem monolitnogo yadra operatsionnykh sistem”, Trudy ISP RAN, 29:6 (2017), 25–48
Citation in format AMSBIB
Contact us: