قانون لينوس

في مجال تطوير البرمجيات ، ينص قانون لينوس على أنه "مع وجود عدد كافٍ من المراجعين، تصبح جميع الأخطاء سطحية". وقد صاغ هذا القانون إريك س. ريموند في مقالته وكتابه "الكاتدرائية والبازار " (1999)، وسُمّي تكريمًا للينوس تورفالدز . ^{[ 1 ] [ 2 ]}

بصيغة أكثر رسمية: "مع وجود قاعدة كبيرة كافية من مختبري النسخ التجريبية والمطورين المشاركين ، سيتم تحديد معظم المشاكل بسرعة، وسيكون الحل واضحًا لشخص ما". يُعد عرض الكود على عدة مطورين بهدف التوصل إلى توافق في الآراء بشأن قبوله شكلاً بسيطًا من أشكال مراجعة البرمجيات . وقد أثبت الباحثون والممارسون مرارًا وتكرارًا فعالية عمليات المراجعة في اكتشاف الأخطاء والمشاكل الأمنية. ^{[ 3 ]}

في كتابه "حقائق ومغالطات حول هندسة البرمجيات"، يشير روبرت غلاس إلى هذا القانون باعتباره "شعارًا" لحركة المصادر المفتوحة ، لكنه يصفه بالمغالطة نظرًا لافتقاره إلى الأدلة الداعمة، ولأن الأبحاث أشارت إلى أن معدل اكتشاف الأخطاء الإضافية لا يتناسب طرديًا مع عدد المراجعين؛ بل هناك حد أقصى صغير لعدد المراجعين المفيدين، يتراوح بين اثنين وأربعة، ويؤدي وجود مراجعين إضافيين فوق هذا العدد إلى اكتشاف الأخطاء بمعدل أقل بكثير. ^{[ 4 ]} في حين أن ممارسي المصادر المغلقة يشجعون أيضًا على تحليل الكود بشكل صارم ومستقل أثناء تطوير مشروع البرمجيات، إلا أنهم يركزون على المراجعة المتعمقة من قبل عدد قليل من المراجعين، وليس بشكل أساسي على عدد "المراجعين". ^{[ 5 ]}

يُعتبر استمرار ثغرة Heartbleed الأمنية في جزء برمجي بالغ الأهمية لمدة عامين بمثابة دحض لمقولة ريموند. ^{[ 6 ] [ 7 ] [ 8 ] [ 9 ]} يشك لاري سيلتزر في أن توفر شفرة المصدر قد يدفع بعض المطورين والباحثين إلى إجراء اختبارات أقل شمولاً مقارنةً بالبرامج المغلقة المصدر ، مما يُسهّل بقاء الأخطاء. ^{[ 9 ]} في عام 2015، جادل جيم زملين، المدير التنفيذي لمؤسسة لينكس ، بأن تعقيد البرامج الحديثة قد ازداد إلى مستويات تستدعي تخصيص موارد محددة لتحسين أمنها. وفيما يتعلق ببعض أكبر ثغرات البرامج مفتوحة المصدر عالميًا في عام 2014 ، يقول: "في هذه الحالات، لم تكن الأنظار مُركّزة". ^{[ 8 ]} لم تُجرَ تجارب واسعة النطاق أو استطلاعات رأي مُحكّمة لاختبار مدى صحة هذه المقولة عمليًا. ^{[ 10 ]}

تم الحصول على دعم تجريبي لصحة قانون لينوس ^{[ 11 ]} من خلال مقارنة المشاريع الشائعة وغير الشائعة لنفس المؤسسة. المشاريع الشائعة هي تلك التي حازت على أعلى 5% من نجوم GitHub (7481 نجمة أو أكثر). تم قياس تحديد الأخطاء باستخدام احتمالية الالتزام التصحيحي، أي نسبة الالتزامات التي تم تحديد ارتباطها بإصلاح الأخطاء. أظهر التحليل أن المشاريع الشائعة تتمتع بنسبة أعلى من إصلاحات الأخطاء (على سبيل المثال، مشاريع جوجل الشائعة لديها معدل إصلاح أخطاء أعلى بنسبة 27% من مشاريع جوجل الأقل شيوعًا). ونظرًا لأنه من غير المرجح أن تكون جوجل قد خفضت معايير جودة الكود في مشاريعها الأكثر شيوعًا، فإن هذا مؤشر على زيادة كفاءة اكتشاف الأخطاء في هذه المشاريع.

• جينغ وانغ؛ جيه إم كارول (27 مايو 2011). ما وراء قانون لينوس: تحليل أولي لممارسات مراجعة النظراء لبرمجيات المصادر المفتوحة في موزي . المؤتمر الدولي لتقنيات وأنظمة التعاون (CTS)، فيلادلفيا، بنسلفانيا . مكتبة IEEE Xplore الرقمية. الصفحات 117-124 . doi : 10.1109/CTS.2011.5928673 .