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

Featured Post

computer glossary - कम्प्यूटर शब्दावली "D"

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

टिप्पणियाँ

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

foxpro commands in hindi

आज हम computers in hindi मे  foxpro commands  क्या होता है उसके कार्य के बारे मे जानेगे?   foxpro all commands in hindi  में  तो चलिए शुरु करते हैं-   foxpro commands in hindi:-  (1) Clear command in foxpro in hindi:-  इस  command  का प्रयोग  foxpro  की main स्क्रीन ( जहां रिकॉर्ड्स / Output प्रदर्शित होते हैं ) को Clear करने के लिए किया जाता है ।  (2) Modify Structure in foxpro in hindi :-  इस  command  का प्रयोग वर्तमान प्रयुक्त  डेटाबेस  फाईल के स्ट्रक्चर में आवश्यक परिवर्तन करने के लिए किया जाता है । इसके द्वारा नये फील्ड भी जोड़े जा सकते हैं तथा पुराने फील्ड्स को हटाया व उनके साईज़ में भी परिवर्तन किया जा सकता है ।  (3) Rename in foxpro in hindi :-  इस  command  के द्वारा किसी  database  file का नाम बदला जा सकता है जिस फाईल को Rename करना हो वह मैमोरी में खुली नहीं होनी चाहिए ।   Syntax : Rename < Old filename > to < New filename >  Foxpro example: -  Rename Student.dbf to St.dbf (4) Copy file in foxpro in hindi :- इस command के द्वारा किसी एक डेटाबेस फाईल के रिकॉ

foxpro data type in hindi । फॉक्सप्रो

 आज हम computers in hindi मे फॉक्सप्रो क्या है?  Foxpro data type in hindi  कार्य के बारे मे जानेगे? How many data types are available in foxpro?    में  तो चलिए शुरु करते हैं-    How many data types are available in foxpro? ( फॉक्सप्रो में कितने डेटा प्रकार उपलब्ध हैं?):- FoxPro में बनाई गई डेटाबेस फाईल का एक्सटेन्शन नाम .dbf होता है । foxpro data type in hindi (फॉक्सप्रो डेटा प्रकार) :- Character data type Numeric data type Float data type Date data type Logical data type Memo data type General data type 1. Character data type :- Character data type  की फील्ड में अधिकतम 254 Character store किये जा सकते हैं । इस टाईप की फील्ड में अक्षर जैसे ( A , B , C , .......Z ) ( a , b , c , ...........z ) तथा इसके साथ ही न्यूमेरिक अंक ( 0-9 ) व Special Character ( + , - , / . x , ? , = ; etc ) आदि भी Store करवाए जा सकते हैं । इस प्रकार की फील्ड का प्रयोग नाम , पता , फोन नम्बर , शहर का नाम , पिता का नाम , माता का नाम आदि संग्रहित करने के लिए किया जाता है । 2. Numeric data type :- Numeric da

Management information system (MIS in hindi)

What is Management Information Systems (MIS) in hindi ? Introduction to management information system (MIS in hindi):-  बिजनेस प्रॉब्लम का समाधान प्राप्त करने के लिए युजर, तकनीक और प्रॉसीजर (procedure) एक साथ मिलकर  कार्य करते हैं। यूूूूजर तकनीक और प्रॉसीजर के सकलन को Information system  कहते हैं।   management information system definition :- जब इनफॉर्मेशन सिस्टम में निहित सभी भाग एक अनुशासन (Discipline) विधि से किसी बिजनेस प्रॉब्लम को हल करते हैं तो इस प्रक्रिया को Management information system ( MIS in hindi ) कहते हैं।   MIS कोई नवीन व्यवस्था नहीं है, कंप्यूटर के आगमन से पूर्व व्यवसाय की गतिविधियों का योजना निर्धारण और नियन्त्रण करने का कार्य इसी प्रकार की MIS विधि से ही सम्पन्न किया जाता था।  कंप्यूटर ने इस MIS व्यवस्था में नवीन आयामों  जैसे, गति (speed), शुद्धता (accuracy) और वृहद मात्रा में डेटा समापन को भी सम्मिलित कर दिया गया है। management, Information और system    को कंप्यूटर की सहायता से मिश्रित व्यावसायिक गतिविधियों को सम्पन्न किया जाता है।  किसी ऑर्गेनाइजेशन की ऑ