RAID डेटा स्टोरेज

औपचारिक सत्यापन एक ऐसी प्रक्रिया है जिसमें किसी प्रणाली के डिज़ाइन की शुद्धता को औपचारिक विनिर्देश के संदर्भ में सिद्ध या असिद्ध करने के लिए गणितीय विधियों का उपयोग किया जाता है। परीक्षण के विपरीत, जो केवल विशिष्ट इनपुट के लिए त्रुटियों की उपस्थिति को दर्शा सकता है, औपचारिक सत्यापन सभी संभावित इनपुट के लिए त्रुटियों की अनुपस्थिति को सिद्ध कर सकता है। इसमें प्रणाली का एक औपचारिक मॉडल बनाना और मॉडल जाँच या प्रमेय सिद्धीकरण जैसी तकनीकों का उपयोग करना शामिल है।

बायज़ेंटाइन फॉल्ट टॉलरेंस (BFT) एक ऐसी प्रणाली की विशेषता है जो उसे कुछ घटकों के मनमाने, अप्रत्याशित तरीकों से विफल होने पर भी, जिनमें दुर्भावनापूर्ण व्यवहार (बायज़ेंटाइन विफलताएँ) भी शामिल हैं, सही ढंग से कार्य करते रहने और सहमति तक पहुँचने की अनुमति देती है। यह साधारण क्रैश विफलताओं को सहन करने की तुलना में कहीं अधिक मजबूत गारंटी है। इसके लिए कम से कम 3f+1 घटकों की आवश्यकता होती है ताकि f दोषपूर्ण, दुर्भावनापूर्ण घटकों को सहन किया जा सके।

सत्यापन और प्रमाणीकरण (V&V) अलग-अलग प्रक्रियाएं हैं। सत्यापन यह सुनिश्चित करता है कि उत्पाद अपनी निर्धारित आवश्यकताओं को पूरा करता है ("क्या आप इसे सही ढंग से बना रहे हैं?")। प्रमाणीकरण यह सुनिश्चित करता है कि उत्पाद उपयोगकर्ता की वास्तविक आवश्यकताओं और इच्छित उपयोग को पूरा करता है ("क्या आप सही उत्पाद बना रहे हैं?")। ये गुणवत्ता प्रबंधन के अंतर्गत पूरक गतिविधियां हैं, जिन्हें अक्सर शुद्धता और उपयोगिता दोनों को सुनिश्चित करने के लिए क्रमिक रूप से या समानांतर रूप से किया जाता है।

पुनरावर्तनीयता सीमा, r, पुनरावर्तनीयता मानक विचलन (s_r) से प्राप्त एक महत्वपूर्ण मान है। यह पुनरावर्तनीयता की स्थितियों में 95% प्रायिकता के साथ प्राप्त दो एकल परीक्षण परिणामों के बीच अधिकतम अपेक्षित निरपेक्ष अंतर को दर्शाता है। इसकी गणना आमतौर पर r = 2.8 × s_r के रूप में की जाती है। यदि अंतर r से अधिक हो जाता है, तो परिणाम संदिग्ध माने जाते हैं।

स्पाइरल मॉडल एक जोखिम-आधारित सॉफ्टवेयर विकास प्रक्रिया मॉडल है जो प्रोटोटाइपिंग और वॉटरफॉल मॉडल दोनों के तत्वों को जोड़ता है। यह एक प्रकार का पुनरावृत्ति विकास है जिसमें परियोजना प्रत्येक पुनरावृत्ति (स्पाइरल) में चार चरणों से गुजरती है: उद्देश्यों का निर्धारण, जोखिमों की पहचान और समाधान, विकास और परीक्षण, और अगली पुनरावृत्ति की योजना बनाना। यह निरंतर जोखिम विश्लेषण पर जोर देता है।

सिग्नल डिटेक्शन बड़े डेटासेट, विशेष रूप से स्वतः रिपोर्टिंग सिस्टम से किसी दवा और प्रतिकूल घटना के बीच संभावित कारण संबंधों की पहचान करने की प्रक्रिया है। यह सांख्यिकीय तरीकों का उपयोग करता है, जिन्हें असमानता विश्लेषण के रूप में जाना जाता है, ताकि अपेक्षित से अधिक बार रिपोर्ट किए गए दवा-घटना संयोजनों का पता लगाया जा सके। एक सामान्य माप रिपोर्टिंग ऑड्स रेशियो (ROR) है, जिसका मान एक से अधिक होने पर एक संभावित संकेत का सुझाव देता है जिसके लिए आगे की जांच की आवश्यकता होती है।

मुख्य रूप से UI और वेबडिज़ाइन में एक प्रमुख उपयोगिता सलाहकार जैकब नील्सन ने उपयोगिता को पांच गुणवत्ता घटकों के माध्यम से परिभाषित किया: सीखने की क्षमता (पहली बार उपयोगकर्ताओं के लिए बुनियादी कार्य पूरे करना कितना आसान है?), दक्षता (एक बार सीख लेने के बाद वे कितनी जल्दी कार्य कर सकते हैं?), यादगारपन (क्या उपयोगकर्ता इसे उपयोग न करने की अवधि के बाद दक्षता फिर से स्थापित कर सकते हैं?), त्रुटियां (उपयोगकर्ता कितनी त्रुटियां करते हैं?), और संतुष्टि (इसका उपयोग करना कितना सुखद है?)

अंतर्राष्ट्रीय मानक ISO 9241-11 उपयोगिता को "उस सीमा तक परिभाषित करता है जहाँ तक किसी उत्पाद का उपयोग निर्दिष्ट उपयोगकर्ताओं द्वारा उपयोग के एक निर्दिष्ट संदर्भ में प्रभावशीलता, दक्षता और संतुष्टि के साथ निर्दिष्ट लक्ष्यों को प्राप्त करने के लिए किया जा सकता है।" यह परिभाषा उपयोगिता को मापने के लिए एक ढाँचा प्रदान करती है, इसे तीन अलग-अलग, मात्रात्मक घटकों में तोड़कर, विशुद्ध रूप से व्यक्तिपरक मूल्यांकनों से आगे बढ़कर।