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

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 »

sql notes in hindi pdf

SQL notes in hindi pdf:- what is sql in hindi (sql क्या है?):- Introduction of sql in hindi:- इस  Oracle  Database के अन्दर डाटा एक्सेस करने के लिए सभी programs और user को  स्ट्रक्चर्ड क्वेरी लेंग्वेज SQL  का प्रयोग करना होता है । SQL कमांड्स का ऐसा set है , जिसे लगभग सभी  रिलेशनल डाटाबेस मैनेजमेंट सिस्टम (RDBMS)  द्वारा Recognize किया जाता है। इस SQL का पहला Commercial रूप से उपलबध पहला Implementation 1979 में रिलेशनल सॉफ्टवेयर Incorporation ने जारी किया था और जिसे आज ऑरेल कॉर्पोरेशन के रूप में जाना जाता है । इस तरह  Oracle  ही शुरूआती  रिलेशनल डाटाबेस मैनेजमेंट सिस्टम (RDBMS)  है , जिसने SQL का उपयोग शुरू किया । इस SQL का उपयोग ज्यादातर  रिलेशनल डाटाबेस मैनेजमेंट सिस्टम (RDBMS)  के लिए एक standard बन गया है । हालांकि Application program और ऑरेकल टूल users को सीधे SQL का उपयोग किए बिना डाटाबेस एक्सेस करने की अनुमति देते हैं और इन application को users की Request execute करते समय SQL का उपयोग करना होता है । यह स्ट्रक्चर्ड क्वेरी...
एक टिप्पणी भेजें
Read more »