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