विषय
- परिभाषा - स्थैतिक सत्यापन का क्या अर्थ है?
- Microsoft Azure और Microsoft क्लाउड का परिचय | इस गाइड के दौरान, आप जानेंगे कि क्लाउड कंप्यूटिंग क्या है और Microsoft Azure आपको क्लाउड से अपना व्यवसाय चलाने और चलाने में कैसे मदद कर सकता है।
- Techopedia स्टैटिक वेरिफिकेशन की व्याख्या करता है
परिभाषा - स्थैतिक सत्यापन का क्या अर्थ है?
स्टैटिक सत्यापन कंप्यूटर कोड का विश्लेषण है ताकि यह सुनिश्चित किया जा सके कि कार्यक्रम चलाने के बिना मानक कोडिंग प्रथाओं का पालन किया गया है। स्रोत कोड के कुछ संस्करणों पर एक विश्लेषण किया जाता है और प्रोग्रामर के लिए नए कोड को डीबग करने और संकलित कोड में संभावित त्रुटियों का पता लगाने का एक तरीका प्रदान करता है।
Microsoft Azure और Microsoft क्लाउड का परिचय | इस गाइड के दौरान, आप जानेंगे कि क्लाउड कंप्यूटिंग क्या है और Microsoft Azure आपको क्लाउड से अपना व्यवसाय चलाने और चलाने में कैसे मदद कर सकता है।
Techopedia स्टैटिक वेरिफिकेशन की व्याख्या करता है
सुरक्षा-महत्वपूर्ण कंप्यूटर सिस्टम के लिए सॉफ्टवेयर में स्थैतिक सत्यापन का व्यापक रूप से उपयोग किया जाता है। स्थैतिक सत्यापन में उपयोग की जाने वाली प्रमुख प्रौद्योगिकियाँ स्थैतिक समय विश्लेषण और समतुल्यता जाँच हैं। स्थैतिक सत्यापन प्रवाह में समय और कार्यात्मक सत्यापन को अलग किया जाता है और समानांतर में चलाया जाता है। स्टेटिक टाइमिंग एनालिसिस टाइमिंग चेक प्रदान करता है, जबकि समतुल्यता जाँच एक ही सर्किट के दो संस्करणों के कार्यात्मक तुल्यता को स्कैन चेन रिडरिंग, राउटिंग और प्लेसमेंट जैसे विभिन्न परिवर्तनों के माध्यम से डिज़ाइन करता है।
स्थैतिक सत्यापन की कुछ कार्यान्वयन तकनीकें डेटा प्रवाह विश्लेषण, मॉडल जाँच, अमूर्त व्याख्या और अभिकथन उपयोग हैं।
आमतौर पर स्थैतिक सत्यापन के लिए उपयोग किए जाने वाले उपकरणों में सोनार, यास्का, कॉपी / पेस्ट डिटेक्टर, स्टाइलकॉप, एफएक्सकॉप, ब्लास्ट, क्लैंग, लिंट और चेकस्टाइल शामिल हैं।