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

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 है। 

टिप्पणियाँ

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

Recovery technique in dbms । रिकवरी। recovery in hindi

 आज हम Recovery facilities in DBMS (रिकवरी)   के बारे मे जानेगे रिकवरी क्या होता है? और ये रिकवरी कितने प्रकार की होती है? तो चलिए शुरु करतेे हैं- Recovery in hindi( रिकवरी) :- यदि किसी सिस्टम का Data Base क्रैश हो जाये तो उस Data को पुनः उसी रूप में वापस लाने अर्थात् उसे restore करने को ही रिकवरी कहा जाता है ।  recovery technique(रिकवरी तकनीक):- यदि Data Base पुनः पुरानी स्थिति में ना आए तो आखिर में जिस स्थिति में भी आए उसे उसी स्थिति में restore किया जाता है । अतः रिकवरी का प्रयोग Data Base को पुनः पूर्व की स्थिति में लाने के लिये किया जाता है ताकि Data Base की सामान्य कार्यविधि बनी रहे ।  डेटा की रिकवरी करने के लिये यह आवश्यक है कि DBA के द्वारा समूह समय पर नया Data आने पर तुरन्त उसका Backup लेना चाहिए , तथा अपने Backup को समय - समय पर update करते रहना चाहिए । यह बैकअप DBA ( database administrator ) के द्वारा लगातार लिया जाना चाहिए तथा Data Base क्रैश होने पर इसे क्रमानुसार पुनः रिस्टोर कर देना चाहिए Types of recovery (  रिकवरी के प्रकार ):- 1. Log Based Recovery 2. Shadow pag

window accessories kya hai

  आज हम  computer in hindi  मे window accessories kya hai (एसेसरीज क्या है)   -   Ms-windows tutorial in hindi   के बारे में जानकारी देगे क्या होती है तो चलिए शुरु करते हैं- window accessories kya hai (एसेसरीज क्या है)  :- Microsoft Windows  कुछ विशेष कार्यों के लिए छोटे - छोटे प्रोग्राम प्रदान करता है इन्हें विण्डो एप्लेट्स ( Window Applets ) कहा जाता है । उनमें से कुछ प्रोग्राम उन ( Gadgets ) गेजेट्स की तरह के हो सकते हैं जिन्हें हम अपनी टेबल पर रखे हुए रहते हैं । कुछ प्रोग्राम पूर्ण अनुप्रयोग प्रोग्रामों का सीमित संस्करण होते हैं । Windows में ये प्रोग्राम Accessories Group में से प्राप्त किये जा सकते हैं । Accessories में उपलब्ध मुख्य प्रोग्रामों को काम में लेकर हम अत्यन्त महत्त्वपूर्ण कार्यों को सम्पन्न कर सकते हैं ।  structure of window accessories:- Start → Program Accessories पर click Types of accessories in hindi:- ( 1 ) Entertainment :-   Windows Accessories  के Entertainment Group Media Player , Sound Recorder , CD Player a Windows Media Player आदि प्रोग्राम्स उपलब्ध होते है