الأدوات الأساسية السبع للجودة

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

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

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

The recovery block scheme is a software fault-tolerance technique based on design diversity and backward error recovery. It structures a program as a series of blocks, each with a primary module, an acceptance test, and one or more alternate modules. If the primary module's output fails the acceptance test, the system state is restored, and an alternate module is executed.

Verification and validation (V&V) are distinct processes. Verification ensures a product meets its specified requirements ("Are you building it right?"). Validation ensures the product meets the user's actual needs and intended use ("Are you building the right thing?"). They are complementary activities within quality management, often performed sequentially or in parallel to ensure both correctness and usefulness.

Verification techniques are broadly classified as static or dynamic. Static verification (or static analysis) examines the system's code or design without executing it. Examples include code reviews, inspections, and automated static analysis tools. Dynamic verification (or testing) involves executing the system with a set of inputs and observing its behavior to find defects. Both are complementary for comprehensive quality assurance.

The Risk Priority Number (RPN) is a quantitative measure used in FMEA to prioritize risks. It is calculated as the product of three ranked factors: Severity (S), Occurrence (O), and Detection (D). The formula is [latex]RPN = S times O times D[/latex]. Each factor is typically rated on a scale from 1 to 10, allowing teams to focus on the highest-scoring risks first.

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) هي تقنية عددية سائدة في ديناميكيات الموائع الحسابية لحل المعادلات التفاضلية الجزئية. تُقسّم هذه الطريقة المجال إلى شبكة من أحجام التحكم، وتُطبّق المعادلات الحاكمة بصيغتها التكاملية على كل حجم. بتحويل تكاملات الحجم إلى تكاملات السطح باستخدام نظرية التباعد، تُركّز هذه الطريقة على حساب تدفق الخصائص المحفوظة عبر أسطح الخلايا.

Formal verification is the use of mathematical methods to prove or disprove the correctness of a system's design with respect to a formal specification. Unlike testing, which can only show the presence of bugs for specific inputs, formal verification can prove their absence for all possible inputs. It involves creating a formal model of the system and using techniques like model checking or theorem proving.