आज हम 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 है।
टिप्पणियाँ
एक टिप्पणी भेजें