सीधे मुख्य सामग्री पर जाएं

verification in hindi - वेरिफिकेशन

आज हम computer in hindi मे आज हम verification in hindi - वेरिफिकेशन - Software Engineering in hindi के बारे में जानकारी देते क्या होती है तो चलिए शुरु करते हैं-

verification in hindi - वेरिफिकेशन :-

verification सॉफ्टवेयर के विकास और products की quality assessment और Improvement करना है। गुणवत्ता विशेषताओं में accuracy, completeness, consistency, reliability, usefulness, utility, efficiency, conformity to standards और overall cost effectiveness शामिल हैं।

Types of verification:-

1. life cycle verification
2. formal verification। 
 life cycle verification उस degree को निर्धारित करने की प्रक्रिया है जिस तक development cycle को किसी दिए गए step के कार्य उत्पाद pre stages के Specifications को पूरा करते हैं। 
formal verification एक mathematical performance है जो source code इसके specifications के according होता है। 

verification ka hindi:- सत्यापन

meaning of verification in hindi :- Are we building the right product?(क्या हम सही उत्पाद बना रहे हैं?) 

Formal verification:-

formal verification में, गणितीय तकनीकों का उपयोग यह प्रदर्शित करने के लिए है कि कंप्यूटर प्रोग्राम में कुछ desired quality हैं। इनपुट-आउटपुट के तरीके, सबसे कमजोर precondition, और structural induction तीन आमतौर पर use की जाने वाली तकनीकें हैं। प्रत्येक पर बारी-बारी से discussion की जाती है।

Types of Formal verification:-

1. Input-Output Assertions
2. Weakest preconditions
3. Structural Induction

1. Input-Output Assertions:-

input-output assertion की विधि Floyd (FLO67) द्वारा पेश की गई थी और Hoare (HOA73) और Dijkstra (DIJ76) द्वारा refined की गई थी। Floyd का कार्य formal verification के लिए महत्वपूर्ण था।
input-output assertion  का उपयोग करते हुए, predicate (assertion) source code में entry point exit point और various intermediate points से जुड़े होते हैं। जब associated code executed किया जाता है, तो predicate conditions true होनी चाहिए।

2. Weakest preconditions:-

loop invariant को सबसे कमजोर precondition (DIJ76) की विधि द्वारा loop invariant की संख्या से दिखाया जा सकता है। 

3. Structural Induction:-

structural induction mathematical induction के general principles पर आधारित एक formal verification techniques है। 

टिप्पणियाँ

एक टिप्पणी भेजें

इस ब्लॉग से लोकप्रिय पोस्ट

half adder and full adder in hindi

  आज हम  computer in hindi  मे  आज हम half adder and full adder in hindi - computer system architecture in hindi   के बारे में जानकारी देगे क्या होती है तो चलिए शुरु करते हैं-   के बारे में जानकारी देगे क्या होती है तो चलिए शुरु करते हैं- half adder and full adder in hindi:- 1. half adder in hindi 2. full adder in hindi  1. Half adder in hindi:- half adder  सबसे basic digital arithmetic circuit 2 binary digits का जोड़ है।  एक combination circuit जो दो bits के arithmetic जोड़ को display करता है उसे half adder कहा जाता है।   half adder के इनपुट variable को Augend और addend bits कहा जाता है। आउटपुट योग और Carrie को बदलता है। दो आउटपुट variable Specified करना आवश्यक है क्योंकि 1 + 1 का योग बाइनरी 10 है, जिसमें दो अंक हैं। हम दो इनपुट वेरिएबल्स के लिए x और y और दो आउटपुट वेरिएबल के लिए S (योग के लिए) और C (कैरी के लिए) असाइन करते हैं। C output 0 है जब तक कि दोनों इनपुट 1 न हों। S आउटपुट योग के कम से कम महत्वपूर्ण बिट ...
एक टिप्पणी भेजें
Read more »

महाकुंभ-आस्था, संस्कृति और आध्यात्मिकता की यात्रा

महाकुंभ-आस्था, संस्कृति और आध्यात्मिकता की यात्रा-1:- कुंभ मेला दुनियां में आस्था और आध्यात्मिकता की सबसे असाधारण अभिव्यक्तियों में से एक है, जो भारतीय संस्कृति और धर्म के शाश्वत सार को दर्शाता है। यह हिंदू परंपराओं में गहराई से निहित एक पवित्र तीर्थयात्रा है, जहाँ लाखों भक्त, साधु- सन्त (पवित्र पुरुष), विद्वान् और साधक ईश्वर में अपनी सामूहिक आस्था का उत्सव मनाने के लिए एकत्र होते हैं। जहां राष्ट्रीय एकात्मता और सामाजिक समरसता के सहज दर्शन होते हैं।* यह स्मारकीय आयोजन महज धार्मिक उत्सव की सीमाओं से परे जाकर भक्ति, सांस्कृतिक विरासत और आध्यात्मिक जागृति के जीवंत संगम के रूप में विकसित होता है। महाकुंभ-आस्था, संस्कृति और आध्यात्मिकता की यात्रा-2:- चार पवित्र स्थानों- हरिद्वार, प्रयागराज, नासिक और उज्जैन - पर चक्रीय रूप से आयोजित होने वाला कुंभ मेला सत्य और मोक्ष की शाश्वत खोज का प्रतीक है। इन स्थानों को मनमाने ढंग से नहीं चुना जाता है; वे प्राचीन हिंदू धर्मग्रंथों और आकाशीय संरेखण से आंतरिक रूप से जुड़े हुए हैं, जो इन पर्वों को गहन आध्यात्मिक महत्त्व देते हैं। प्रत्येक स्थल नदियों या तीर...
एक टिप्पणी भेजें
Read more »

शिक्षक का व्यवहार कैसा होना चाहिए? (What should be the behaviour of a teacher?)

 शिक्षक का व्यवहार कैसा होना चाहिए:-  शिष्य एवं शिक्षक के बीच शिष्टाचार-1:- एक विद्यार्थी अपने शिक्षक से ज्ञान प्राप्त कर जीवन में अग्रसर होता है, अपने जीवन का निर्माण करता है। जो विद्यार्थी अच्छे गुणों को ग्रहण कर शिष्टाचारी बनकर जीवन- पथ पर आगे बढ़ता है; जीवन में उच्च पद, सम्मान आदि प्राप्त करता है और उसको समाज में एक आदर्श व्यक्तित्व का दर्जा प्राप्त होता है। दूसरी ओर वह शिष्य है, जो अशिष्ट है। वह इस दुनियां में आता है और चला जाता है। उसका जीवन कीड़े-मकोड़े की तरह होता है- अर्थात् उनका कोई अस्तित्व नहीं होता। वह निरुद्देश्य जीवन जीते मृत्यु को प्राप्त हो जाता है। जहाँ एक ओर विद्यार्थियों को अपने गुरुजनों, शिक्षकों के साथ सम्मानजनक उचित व्यवहार करना चाहिए, वहीं दूसरी ओर शिक्षकों को भी अपने शिष्यों, विद्यार्थियों के सम्मान का उचित ध्यान रखना चाहिए, अर्थात् दोनों का एक-दूसरे के प्रति शिष्टाचार आवश्यक है।  शिष्य एवं शिक्षक के बीच शिष्टाचार-2:- विद्यार्थी को अपना कार्य स्वयं करना चाहिए, न कि अपने माता-पिता अथवा अभिभावक पर निर्भर होना चाहिए। जो विद्यार्थी अपना कार्य स्वयं कर...
एक टिप्पणी भेजें
Read more »