Кіріспе

1999 жылы Эрик С. Реймондтың Линус Торвальдстың есімімен аталған бағдарламалық жасақтаманы дамыту туралы айтқан пікірі.

Бағдарламалық жасақтаманы дамытуда Линус заңы – "көздер жеткілікті көп болса, барлық қателер беткей болады" деген тұжырым. Бұл заңды Эрик С. Реймонд өзінің "Кафедраль және базар" (1999) эссесі мен кітабында айтқан және Линус Торвальдстың құрметіне осылай атаған. Заңның толыққанды түрі: "Егер жеткілікті түрде көптеген сынаушылар мен бірлесіп жұмыс істейтін дамытушылар болса, дерлік барлық мәселелер тез анықталады және оларды шешудің жолы біреуге анық болады". Кодты көптеген дамытушыларға көрсету және оның қабылдануы туралы келісімге келу – бағдарламалық жасақтаманы қараудың қарапайым түрі. Зерттеушілер мен тәжірибелі мамандар кодты қарау процесінің қателерді және қауіпсіздік мәселелерін табуда тиімді екенін көптеген рет көрсеткен.

Қолданылу мерзімі

Бағдарламалық жасақтама туралы фактілер мен қателіктерде Роберт Гласс заңды ашық кодты қолдаушылардың "мантрасы" деп атайды, бірақ оны қолдайтын дәлелдердің жетіспеуіне және зерттеулер қосымша қателердің табылу қарқыны рецензенттер санына пропорционалды емес екенін көрсеткендіктен, қателік деп санайды. Керісінше, пайдалы рецензенттердің саны екі мен төрт арасындағы шектеулі, ал осы сандан артық рецензенттер қателерді айтарлықтай төмен қарқынмен табады. Жабық кодты қолданушылар да бағдарламалық жасақтама жобасын дамыту кезінде қатаң, тәуелсіз кодты талдауды жақтайды, бірақ олар негізінен "көздердің" санына емес, бірнеше сарапшының терең талдауына баса назар аударады. Heartbleed қауіпсіздік ақауының маңызды код бөлігінде екі жыл бойы сақталуы Реймондтың қағидасын жоққа шығаратын дәлел ретінде қарастырылды. 2015 жылы Linux Foundation атқарушы директоры Джим Землин қазіргі заманғы бағдарламалық жасақтаманың күрделілігі оның қауіпсіздігін арттыру үшін нақты ресурстарды бөлуді қажет ететін деңгейге жеткенін мәлімдеді. 2014 жылғы ең ірі ашық кодты бағдарламалық жасақтамадағы осалдықтар туралы ол: "Осы жағдайларда көздер жеткілікті мұқият қараған жоқ" деді. Бұл мантраның практикада қаншалықты тиімді екенін тексеру үшін кең ауқымды тәжірибелер немесе пәлсапалық зерттеулер жүргізілген жоқ. Линус заңының эмпирикалық негізін бір ұйымның танымал және танылмаған жобаларын салыстыру арқылы растады. Танымал жобалар – GitHub-тағы ең жоғары 5%-ға кіретін жобалар (7481 жұлдыз немесе одан да көп). Ақауларды анықтау түзетуге қатысты комиттердің үлесі арқылы өлшенді, яғни ақауларды түзетумен байланысты комиттердің саны. Талдау көрсеткендей, танымал жобаларда ақауларды түзету көрсеткіші жоғары болды (мысалы, Google-дың танымал жобалары Google-дың аз танымал жобаларына қарағанда 27%-ға көбірек ақауларды түзетті). Google танымал жобаларында код сапасы стандарттарын төмендеткені екіталай болғандықтан, бұл танымал жобаларда ақауларды анықтау тиімділігінің артып отырғанын көрсетеді.