هندسة برمجيات الغرفة النظيفة

عملية هندسة برمجيات الغرفة النظيفة هي عملية تطوير البرمجيات التي تهدف إلي إنتاج برمجيات لها مستوى معتمد من [الوثوقية reliability]. وقد تم تطوير عملية الغرفة النظيفة في الأصل عن طريق Harlan Mills والعديد من زملائه بما في ذلك Alan Hevner من شركة آي بي إم.[1] وتركيز عملية الغرفة النظيفة هو على الوقاية من الخلل، بدلا من إزالة الخلل. وقد تم اختيار اسم "الغرفة النظيفة" Cleanroom لاستحضار غرفة نظيفة المستخدمة في صناعة الإلكترونيات للوقاية من إدخال الخلل أثناء تصنيع شبه موصل. وكان أول استخدام لعملية الغرفة النظيفة هو في منتصف الثمانينات. وقد بدأت المشروعات الإيضاحية في أوائل التسعينات.[2] وقد فحص عمل مؤخر في عملية الغرفة النظيفة دمج الغرفة النظيفة مع قدرات التحقق الآلي التي توفرها المواصفات الموجودة في [عمليات الاتصال التسلسلية CSP].[3]

قالب:Software development process

المبادئ المحورية

المبادئ الأساسية لعمليات الغرفة النظيفة هي:

تطوير البرمجيات القائم على [الطرق الرسمية formal methods]

يستخدم تطوير الغرفة النظيفة طريقة [Box Structure] لتحديد وتصميم منتج برمجي. ويتم القيام بالتحقق من أن التصميم ينفذ الخاصية من خلال مراجعة الفريق.

التنفيذ ألتزايدي في ظل [ضبط الجودة الإحصائية statistical quality control]

يستخدم تطوير الغرفة النظيفة مدخلا [تكراريا]، والذي فيه يتم تطوير المنتج من خلال إضافات والتي تزيد بشكل تدريجي من الوظيفة المنفذة. ويتم قياس جودة كل إضافة مقابل معايير موضوعة مسبقا من أجل التحقق من أن عملية التطوير تسير على نحو مقبول. والفشل في تحقيق معايير الجودة يؤدي إلي توقف فحص الإضافة الحالية، والعودة إلي مرحلة التصميم.

الفحص الصحيح إحصائيا

يتم تنفيذ فحص البرمجيات في عملية الغرفة النظيفة كتجربة إحصائية. وبناء على الخاصية الرسمية، يتم انتقاء مجموعة فرعية تمثيلية من مسارات إدخال/إخراج البرمجيات وفحصها. وبعد ذلك يتم تحليل هذه العينة لإنتاج تقييم لوثوقية البرمجية، ومستوى الثقة في ذلك التقييم.

المراجع
  1. Mills, H. (1987). "Cleanroom Software Engineering". IEEE Software. 4 (5): 19–25. doi:10.1109/MS.1987.231413. الوسيط |CitationClass= تم تجاهله (مساعدة)
  2. Foreman, John (2005). "Cleanroom Software Engineering Reference". Software Technology Roadmap. Software Engineering Institute (SEI). مؤرشف من الأصل في 29 يونيو 2013. اطلع عليه بتاريخ 27 أبريل 2006. الوسيط |CitationClass= تم تجاهله (مساعدة)
  3. Guy H. Broadfoot and P. J. Hopcroft(2005)."Introducing formal methods into industry using Cleanroom and CSP". Dedicated Systems e-Magazine.Retrieved on 2006-04-27.

    لمزيد من القراءة
    • Stavely, Allan (1999). Toward Zero-Defect Programming. Addison-Wesley. الوسيط |CitationClass= تم تجاهله (مساعدة)
    • Stacy J. Prowell and Carmen J. Trammell and Richard C. Linger and Jesse H. Poore (1999). Cleanroom Software Engineering: Technology and Process. Addison-Wesley. الوسيط |CitationClass= تم تجاهله (مساعدة)
    • Jesse H. Poore and Carmen J. Trammell (1996). Cleanroom Software Engineering: A Reader. NCC Blackwell. الوسيط |CitationClass= تم تجاهله (مساعدة)

    وصلات خارجية

    قالب:Software Engineering

    • بوابة تصميم

    قالب:Soft-eng-stub

    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.