مخطط إعادة الهيكلة

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

الأدوات الأساسية السبع للجودة هي مجموعة من التقنيات الرسومية التي حددها كاورو إيشيكاوا لاستكشاف الأخطاء وإصلاحها في مجال الجودة. هذه الأدوات هي: مخطط السبب والنتيجة (هيكل السمكة)، وجدول المراجعة، ومخطط التحكم، والمدرج التكراري، ومخطط باريتو، ومخطط التشتت، والتقسيم الطبقي (الذي يُعرض غالبًا على شكل مخطط انسيابي). تُعتبر هذه الأدوات "أساسية" لسهولة استخدامها وقلة تدريبها الإحصائي الرسمي.

نموذج الشلال هو عملية تطوير برمجيات متسلسلة وغير متكررة، حيث يتدفق التقدم تدريجيًا (مثل الشلال) عبر مراحل مميزة: التصور، والبدء، والتحليل، والتصميم، والبناء، والاختبار، والنشر، والصيانة. يجب إكمال كل مرحلة بالكامل قبل الانتقال إلى المرحلة التالية. وغالبًا ما يُقارن بالنماذج التكرارية لإبراز مرونته.

التحقق والتحقق من الصحة (V&V) هما عمليتان مختلفتان. يضمن التحقق أن المنتج يفي بمتطلباته المحددة ("هل تقوم ببنائه بشكل صحيح؟"). يضمن التحقق من الصحة أن المنتج يلبي الاحتياجات الفعلية للمستخدم والاستخدام المقصود ("هل تبني الشيء الصحيح؟"). وهي أنشطة تكميلية ضمن إدارة الجودة، وغالبًا ما يتم تنفيذها بالتتابع أو بالتوازي لضمان كل من الصحة والفائدة.

حد التكرار، [latex]r[/latex]، هو قيمة حرجة مشتقة من الانحراف المعياري للتكرار ([latex]s_r[/latex]). وهي تمثل الحد الأقصى للفرق المطلق المتوقع بين نتيجتي اختبار واحد، تم الحصول عليها في ظل ظروف التكرار، مع احتمال 95%. ويُحسب عادةً على أنه [latex]r = 2.8 \times s_r[/latex]. إذا تجاوز الفرق [latex]r[/latex]، تعتبر النتائج مشكوكاً فيها.

رقم أولوية المخاطر (RPN) هو مقياس كمي يُستخدم في FMEA لتحديد أولويات المخاطر. ويتم حسابه كحاصل ضرب ثلاثة عوامل مرتبة: الخطورة (S)، والحدوث (O)، والاكتشاف (D). المعادلة هي [latex]RPN = S في O في D[/latex]. عادةً ما يتم تصنيف كل عامل على مقياس من 1 إلى 10، مما يسمح للفرق بالتركيز على المخاطر الأعلى درجة أولاً.

Real-time systems are classified as "hard" or "soft" based on the consequence of missing a deadline. In a hard real-time system, missing a deadline is a total system failure, such as in an anti-lock braking system. In a soft real-time system, missing a deadline leads to degraded performance but not catastrophic failure, such as in live audio-video streaming.

Rate-Monotonic Scheduling (RMS) is a static-priority scheduling algorithm for periodic tasks in a real-time system. It assigns priorities based on task frequency: the shorter a task's period (the higher its rate), the higher its priority. RMS is an optimal static-priority algorithm, meaning if any static-priority algorithm can schedule a task set, RMS can too. Schedulability can be checked using a utilization-based test.

طريقة الحجم المحدود (FVM) هي تقنية عددية سائدة في ديناميكيات الموائع الحسابية لحل المعادلات التفاضلية الجزئية. تُقسّم هذه الطريقة المجال إلى شبكة من أحجام التحكم، وتُطبّق المعادلات الحاكمة بصيغتها التكاملية على كل حجم. بتحويل تكاملات الحجم إلى تكاملات السطح باستخدام نظرية التباعد، تُركّز هذه الطريقة على حساب تدفق الخصائص المحفوظة عبر أسطح الخلايا.

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

BFT (اختصار لـ Byzantine Fault Tolerance) هي خاصية في النظام تسمح له بمواصلة العمل بشكل صحيح والتوصل إلى توافق في الآراء حتى في حال تعطل بعض مكوناته بطرق عشوائية وغير متوقعة، بما في ذلك السلوكيات الخبيثة (الأعطال البيزنطية). وهذا ضمان أقوى بكثير من مجرد تحمل أعطال بسيطة. ويتطلب ذلك حدًا أدنى من 3f+1 من المكونات الإجمالية لتحمل f من المكونات المعيبة والخبيثة.