تخزين بيانات RAID

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

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

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

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

النموذج الحلزوني هو نموذج لعملية تطوير برمجيات قائم على المخاطر، يجمع بين عناصر كلٍّ من النمذجة الأولية ونموذج الشلال. وهو نوع من التطوير التكراري، حيث يمر المشروع بأربع مراحل في كل تكرار (الحلزوني): تحديد الأهداف، وتحديد المخاطر ومعالجتها، والتطوير والاختبار، والتخطيط للتكرار التالي. ويركز هذا النموذج على التحليل المستمر للمخاطر.

Signal detection is the process of identifying potential causal relationships between a drug and an adverse event from large datasets, typically spontaneous reporting systems. It uses statistical methods, known as disproportionality analysis, to find drug-event combinations reported more frequently than expected. A common measure is the Reporting Odds Ratio (ROR), a value greater than one suggesting a potential signal that requires further investigation.

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

يُعرّف المعيار الدولي ISO 9241-11 قابلية الاستخدام بأنها "مدى إمكانية استخدام منتج ما من قِبل مستخدمين محددين لتحقيق أهداف محددة بفعالية وكفاءة ورضا في سياق استخدام محدد". يوفر هذا التعريف إطارًا لقياس قابلية الاستخدام من خلال تقسيمها إلى ثلاثة مكونات مميزة وقابلة للقياس، متجاوزًا بذلك التقييمات الذاتية البحتة.