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

📅 آخر تحديث: ٢٢ يوليو ٢٠٢٦
✍️ نُشر في: ٢٢ يوليو ٢٠٢٦
الموسوعة الحرة

تُعدّ عملية هندسة البرمجيات في بيئة نظيفة عمليةً لتطوير البرمجيات تهدف إلى إنتاج برمجيات ذات مستوى موثوقية قابل للتصديق . وتتمثل المبادئ الأساسية في تطوير البرمجيات بناءً على أساليب رسمية، والتنفيذ التدريجي في ظل مراقبة الجودة الإحصائية، والاختبارات السليمة إحصائياً.

تاريخ

تم تطوير عملية الغرفة النظيفة في الأصل بواسطة هارلان ميلز والعديد من زملائه بمن فيهم آلان هيفنر في شركة IBM . [ 1 ]

بدأ استخدام عملية الغرف النظيفة في منتصف إلى أواخر ثمانينيات القرن الماضي. وبدأت مشاريع تجريبية داخل الجيش في أوائل تسعينيات القرن الماضي. [ 2 ] وقد بحثت الدراسات الحديثة في عملية الغرف النظيفة دمج الغرف النظيفة مع إمكانيات التحقق الآلي التي توفرها المواصفات الواردة في CSP . [ 3 ]

فلسفة

يركز نظام الغرف النظيفة على منع العيوب بدلاً من إزالتها. وقد تم اختيار اسم "الغرفة النظيفة" لاستحضار الغرف النظيفة المستخدمة في صناعة الإلكترونيات لمنع دخول العيوب أثناء تصنيع أشباه الموصلات .

المبادئ الأساسية

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

تطوير البرمجيات باستخدام الأساليب الرسمية
تشمل أدوات دعم البرمجيات القائمة على بعض الصيغ الرياضية التحقق من النماذج ، وجبر العمليات ، وشبكات بتري . قد تكون طريقة بنية الصندوق إحدى هذه الوسائل لتحديد وتصميم منتج برمجي. [ 4 ] يتم التحقق من أن التصميم ينفذ المواصفات بشكل صحيح من خلال مراجعة الفريق، وغالبًا ما يتم ذلك بدعم من أدوات البرمجيات.
التنفيذ التدريجي في ظل مراقبة الجودة الإحصائية
تعتمد عملية تطوير غرف التنظيف على منهجية تكرارية ، حيث يُطوَّر المنتج على مراحل تُحسِّن الوظائف المُطبَّقة تدريجيًا. تُقاس جودة كل مرحلة وفقًا لمعايير مُحدَّدة مسبقًا للتحقق من سير عملية التطوير بشكل مقبول. في حال عدم استيفاء معايير الجودة، يتوقف اختبار المرحلة الحالية، ويُعاد البدء بمرحلة التصميم.
اختبار سليم إحصائياً
يُجرى اختبار البرمجيات في بيئة الغرفة النظيفة كتجربة إحصائية. بناءً على المواصفات الرسمية، يتم اختيار مجموعة فرعية تمثيلية من مسارات إدخال/إخراج البرمجيات واختبارها. ثم تُحلل هذه العينة إحصائيًا لإنتاج تقدير لموثوقية البرمجيات ومستوى الثقة في هذا التقدير.

مراجع

  1. ↑ ميلز، هـ .؛ داير، م.؛ لينجر، ر. (سبتمبر 1987). "هندسة برمجيات الغرف النظيفة" (ملف PDF) . مجلة IEEE للبرمجيات . 4 (5): 19-25 . رمز Bibcode : 1987ISoft...4e..19M . doi : 10.1109/MS.1987.231413 . S2CID 383170 . 
  2. ↑ فورمان، جون (2005). "مرجع هندسة البرمجيات في بيئة نظيفة" . خارطة طريق تكنولوجيا البرمجيات . معهد هندسة البرمجيات (SEI) . تم الاطلاع عليه بتاريخ 27 أبريل 2006 .
  3. ↑ برودفوت، جاي هـ؛ هوبكروفت، بي جيه (2005). "إدخال الأساليب الرسمية في الصناعة باستخدام غرف التنظيف وCSP". مجلة الأنظمة المخصصة الإلكترونية . S2CID 14066854 . 
  4. ↑ لينجر، ر. (أبريل 1994). "نموذج عملية الغرفة النظيفة". IEEE Software . 11 (2): 50-58 . Bibcode : 1994ISoft..11b..50L . CiteSeerX 10.1.1.130.8642 . doi : 10.1109/52.268956 . S2CID 206447346 .  

للمزيد من القراءة

  • ستافيلي، آلان (1999). نحو برمجة خالية من العيوب . أديسون-ويسلي.
  • برويل، ستايسي جيه؛ تراميل، كارمن؛ لينجر، ريتشارد سي؛ بور، جيسي إتش. (1999). هندسة برمجيات غرف التنظيف: التكنولوجيا والعملية . أديسون-ويسلي.
  • بور، جيسي هـ.؛ تراميل، كارمن ج. (1996). هندسة برمجيات غرف التنظيف: مختارات . إن سي سي بلاكويل.