|
|
ru.linux- RU.LINUX --------------------------------------------------------------------- From : Ian Dichkovsky 2:5020/400 24 Jan 2003 16:45:53 To : All Subject : Linux community and errors in kernel -------------------------------------------------------------------------------- Hello, All! http://itc.ua/forums/thread.phtml?ID=4994&n=83348#83348 А сложность и распределённая разработка по принципам комьюнити - вещи не очень хорошо сочетаемые. Hасколько "не очень хорошо", показывает результат работы Yichen Xie и Dawson Engler из Стэнфордского Университета (короткий отчёт здесь - http://www.stanford.edu/~engler/p401-xie.pdf ). Для не любящих читать из pdf-файлов с отвратительными шрифтами :-), два слова - Xie и Engler проводили анализ 2055 файлов исходных текстов ядра Linux версии 2.4.1 и обнаружили 1800 hard serious ошибок в 551 файле. Причём суть их (Xie и Engler) работы - не полноценный аудит кода, а только анализ избыточности (есть эмпирическое правило - фрагменты избыточного, бессодержательного или недостижимого потоком вычислений, кода с вероятностью от 50% до 100% свидетельствуют о наличии серьёзных ошибок). Что дал бы полный аудит кода (вот куда бы IBM потратить мифический миллиард инвестиций...) - об этом лучше не задумываться.. Best regards, Ian Dichkovsky, mailto: ntokay at org lviv net, ICQ 83146271 --- ifmail v.2.15dev5 * Origin: Ukranian Academic Research Network (2:5020/400) Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
Архивное /ru.linux/64772dabcf8a.html, оценка из 5, голосов 10
|