सामग्री
- व्याख्या - स्थिर सत्यापन म्हणजे काय?
- मायक्रोसॉफ्ट अझर आणि मायक्रोसॉफ्ट क्लाऊडची ओळख | या संपूर्ण मार्गदर्शकामध्ये आपण क्लाउड संगणन करणे म्हणजे काय आणि मायक्रोसॉफ्ट अझर आपल्याला क्लाऊडवरून आपला व्यवसाय स्थलांतरित आणि चालविण्यात कशी मदत करू शकेल हे शिकाल.
- टेकोपीडिया स्टॅटिक व्हेरिफिकेशन स्पष्ट करते
व्याख्या - स्थिर सत्यापन म्हणजे काय?
प्रोग्रामिंग न चालवता मानक कोडिंग पद्धतींचे पालन केले गेले आहे हे सुनिश्चित करण्यासाठी स्थिर कोड सत्यापन संगणक कोडचे विश्लेषण आहे. स्त्रोत कोडच्या काही आवृत्त्यांवर विश्लेषण केले जाते आणि प्रोग्रामरना नवीन कोड डीबग करण्याचा आणि कंपाईल कोडमध्ये संभाव्य त्रुटी शोधण्याचा मार्ग प्रदान करतो.
मायक्रोसॉफ्ट अझर आणि मायक्रोसॉफ्ट क्लाऊडची ओळख | या संपूर्ण मार्गदर्शकामध्ये आपण क्लाउड संगणन करणे म्हणजे काय आणि मायक्रोसॉफ्ट अझर आपल्याला क्लाऊडवरून आपला व्यवसाय स्थलांतरित आणि चालविण्यात कशी मदत करू शकेल हे शिकाल.
टेकोपीडिया स्टॅटिक व्हेरिफिकेशन स्पष्ट करते
सुरक्षा-गंभीर संगणक प्रणालीसाठी सॉफ्टवेअरमध्ये स्थिर सत्यापन मोठ्या प्रमाणात वापरले जाते. स्थिर सत्यापनमध्ये वापरलेली मुख्य तंत्रज्ञान म्हणजे स्थिर वेळ विश्लेषण आणि समकक्षता तपासणी. स्थिर सत्यापन प्रवाहामधील वेळ आणि कार्यकारी सत्यापन विभक्त केले जातात आणि समांतर चालतात. स्थिर वेळ विश्लेषण वेळेची तपासणी प्रदान करते, तर समतेची तपासणी स्कॅन चेन रॉर्डरिंग, रूटिंग आणि प्लेसमेंट सारख्या भिन्न रूपांतरणांद्वारे डिझाइन स्केलच्या रूपात समान सर्किटच्या दोन आवृत्त्यांमधील कार्यात्मक समानता सत्यापित करते.
स्थिर सत्यापनाची काही अंमलबजावणी तंत्रे म्हणजे डेटा प्रवाह विश्लेषण, मॉडेल तपासणी, अॅब्स्ट्रॅक्शन स्पष्टीकरण आणि ठाम वापर.
सामान्यपणे स्थिर सत्यापनासाठी वापरल्या जाणार्या साधनांमध्ये सोनार, यास्का, कॉपी / पेस्ट डिटेक्टर, स्टाईलकोप, एफएक्सकॉप, ब्लास्ट, क्लॅंग, लिंट आणि चेक स्टाईलचा समावेश आहे.