Kernel DLC Metrics, Statistic Analysis and Bug-Patterns
by Nicholas Mc Guire
At: FOSDEM 2017
SIL2LinuxMP strives to qualify a defined GNU/Linux subset for the use insafety-related systems by "assessment of non-compliant development". Todemonstrate that the kernel has achieved suitable reliability and correctnessproperties basic metrics of such properties and their statistic analysis canbe used as part of the argument. While IEC 61508 Ed 2 always pairs testing andanalysis, we believe that for a high complexity system traditional testing isof relatively low effectiveness and analytical methods need to be the primarypath.
In this talk we outline the used methods and give examples as well as keyfindings.
SIL2LinuxMP strives to qualify a defined GNU/Linux subset for the use insafety-related systems by "assessment of non-compliant development". Todemonstrate that the kernel has achieved suitable reliability and correctnessproperties basic metrics of such properties and their statistic analysis canbe used as part of the argument. Linux has a wealth of analytical tools built-in to it which allow to extract information on compliance, robustness ofdevelopment, as well as basic metrics on complexity or correctness withrespect to defined properties. While IEC 61508 Ed 2 always pairs testing andanalysis, we believe that for a high complexity system traditional testing isof relatively low effectiveness and analytical methods need to be the primarypath. To this ends we outline some approaches taken:
* Bug-age analysis * Bug-rates and trend analysis * Code-complexity/bug relationship * Brain-dead correctness analysis * Interface and type-correctness analysis * API compliance analysis * Analysis of build-bot data
While much of the data points to robust and mature code there also are someareas where problems popped up. In this talk we outline the used methods andgive examples as well as key findings. FLOSS development has reached a quiteimpressive maturity, to substantially go beyond we think it will need the useof quantitative process and code metrics - these results from SIL2LinuxMP maybe a starting point.
Room: UD2.218A
Scheduled start: 2017-02-05 11:00:00
Что делает видео по-настоящему запоминающимся? Наверное, та самая атмосфера, которая заставляет забыть о времени. Когда вы заходите на RUVIDEO, чтобы посмотреть онлайн «Kernel DLC Metrics, Statistic Analysis and Bug-Patterns», вы рассчитываете на нечто большее, чем просто загрузку плеера. И мы это понимаем. Контент такого уровня заслуживает того, чтобы его смотрели в HD 1080, без дрожания картинки и бесконечного буферизации.
Честно говоря, Rutube сегодня — это кладезь уникальных находок, которые часто теряются в общем шуме. Мы же вытаскиваем на поверхность самое интересное. Будь то динамичный экшн, глубокий разбор темы от любимого автора или просто уютное видео для настроения — всё это доступно здесь бесплатно и без лишних формальностей. Никаких «заполните анкету, чтобы продолжить». Только вы, ваш экран и качественный поток.
Если вас зацепило это видео, не забудьте взглянуть на похожие материалы в блоке справа. Мы откалибровали наши алгоритмы так, чтобы они подбирали контент не просто «по тегам», а по настроению и смыслу. Ведь в конечном итоге, онлайн-кинотеатр — это не склад файлов, а место, где каждый вечер можно найти свою историю. Приятного вам отдыха на RUVIDEO!
Видео взято из открытых источников Rutube. Если вы правообладатель, обратитесь к первоисточнику.