Runtime Verification

सामान्य जानकारी

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

वर्तमान में रनटाइम वेरिफिकेशन इंक द्वारा कौन से उत्पाद पेश किए जाते हैं?

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

आरवी-भविष्यवाणी का उपयोग कब और क्यों किया जाना चाहिए?

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

आरवी-मॉनिटर का उपयोग कब और क्यों किया जाना चाहिए?

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

आरवी-मैच का उपयोग कब और क्यों किया जाना चाहिए?

आरवी-मॉनिटर किसी दिए गए प्रोग्राम के निष्पादन के कुछ गुणों के अनुपालन को सत्यापित और लागू कर सकता है, जबकि आरवी-मैच रनटाइम पर एक प्रोग्राम की शुद्धता साबित कर सकता है, इस प्रकार सभी संभावित निष्पादन पर निष्पादन निशान का विश्लेषण करता है। पथ और सभी संभावित इनपुट। आरवी-मैच मजबूत शुद्धता की गारंटी प्रदान करता है, लक्ष्य भाषा के औपचारिक रूप से परिभाषित शब्दार्थ का उपयोग करके प्रतीकात्मक तरीके से निष्पादन का अनुकरण करता है। जब औपचारिक सत्यापन की मजबूत गारंटी की आवश्यकता होती है, तो आरवी-मैच का उपयोग किया जाना चाहिए, और उन क्षेत्रों की निगरानी को समाप्त करने के लिए आरवी-मॉनिटर के साथ भी उपयोग किया जा सकता है जो साबित कर सकते हैं कि गुणों का कभी उल्लंघन नहीं किया गया है।

रनटाइम वेरिफिकेशन इंक के उत्पादों द्वारा कौन से लाइसेंस कवर किए जाते हैं?

आरवी द्वारा विकसित परियोजनाएं दो श्रेणियों में आती हैं: मालिकाना उत्पाद और एक खुले लाइसेंस के तहत लाइसेंस प्राप्त लोग (आरवी के ओपन सोर्स इकोसिस्टम के हिस्से के रूप में)।

मालिकाना उत्पादों में सभी उत्पाद शामिल हैं जिन्हें खुले लाइसेंस के तहत स्पष्ट रूप से लाइसेंस नहीं दिया गया है और केवल मूल्यांकन और शैक्षणिक / गैर-वाणिज्यिक उद्देश्यों के लिए उपयोग किया जाता है। पूर्व अनुमति के बिना मालिकाना आरवी उत्पादों का उपयोग करके व्युत्पन्न कार्य नहीं बनाए जा सकते हैं, और आरवी मालिकाना उत्पादों के सभी अधिकार सुरक्षित रखता है। मालिकाना उत्पाद किसी भी तरह से रिवर्स-इंजीनियर नहीं हो सकते हैं।

ब्लॉकचेन प्रोजेक्ट ऑडिट

रनटाइम सत्यापन कई ब्लॉकचेन परियोजनाओं के ऑडिट में शामिल रहा है, जिसमें निम्नलिखित तक सीमित नहीं हैं:

- स्मार्ट अनुबंधों की सुरक्षा ऑडिट: वे ईआरसी -20, ईआरसी -721, ईआरसी -4626, आदि जैसे अनुबंधों की कम लागत वाली ऑडिट प्रदान करते हैं।

- प्रोटोकॉल की सुरक्षा ऑडिट: उधार से संबंधित कार्यों के लिए प्रोटोकॉल शामिल हैं।

- औपचारिक सत्यापन: ऑडिट लागत को कम करने और निरंतर औपचारिक सत्यापन सक्षम करने के लिए ओपन-सोर्स औपचारिक सत्यापन और डेवलपर उपकरण प्रदान करता है।

उनके ऑडिट में आमतौर पर उच्च स्तर की औपचारिक सुरक्षा और विश्वसनीयता सुनिश्चित करने के लिए मैनुअल समीक्षा और मैनुअल सत्यापन शामिल होते हैं।