पीवीएस-स्टूडियो उपयोगकर्ता समर्थन से एक दिन

हम कोड गुणवत्ता के विषय पर किसी भी विषयगत चर्चा का स्वागत करते हैं। हम ग्राहकों, छात्रों और किसी भी अन्य उपयोगकर्ताओं से इंटरनेट पर संपर्क करते हैं। देश, समय क्षेत्र या भाषा के बावजूद। बोली जाने वाली भाषा, बिल्कुल। प्रोग्रामिंग भाषाओं के बीच, हम अभी भी एक सीमित सेट में रुचि रखते हैं। अब यह C, C ++, C # और Java है। संचार के लाभ कई हैं। हम उपयोगकर्ताओं के कुछ ऑफ़र तुरंत लागू करते हैं, क्योंकि वे वास्तव में मददगार हैं। अक्सर हम विश्लेषक की चेतावनियों को समझाते हुए किसी और की परियोजना में मदद करते हैं, जो अंत में एक त्रुटि साबित होती है। यह नोट एक ऐसे ही मामले के बारे में है।

एनालाइजर के बारे में

पीवीएस-स्टूडियो सी, सी ++, सी # और जावा में लिखे गए कार्यक्रमों के स्रोत कोड में त्रुटियों और संभावित कमजोरियों का पता लगाने के लिए एक उपकरण है। यह विंडोज, लिनक्स और मैकओएस पर चलता है।

संचार के लिए, प्रतिक्रिया के 3 रूप हैं:

1. प्रतिक्रिया
2. परीक्षण का अनुरोध
3. मूल्य अनुरोध

गुरुवार की शाम

एक सक्रिय उपयोगकर्ता जिसने अपने कोड पर विश्लेषक की कोशिश की सक्रिय रूप से झूठी चेतावनी भेजना शुरू कर दिया। इससे पहले कि मैं जवाब दे पाता, 3 अक्षर जमा हो गए। यह कार्य दिवस का अंत था और थोड़ी ताकत बची थी (मैनुअल कोड समीक्षा की विश्वसनीयता के सवाल पर)। हमारी टीम सक्रिय रूप से बड़ी रिलीज की तैयारी कर रही थी, जिसमें कुछ ही दिन बचे थे।

मैंने शुक्रवार या अगले सप्ताह तक जवाब स्थगित करने का फैसला किया:

हैलो, कोंस्टेंटिन।

हम चेतावनी देते हैं। अगले सप्ताह मैं संदिग्ध स्थानों पर टिप्पणी करूंगा :-)

यह एक नोट है कि स्थैतिक कोड विश्लेषण बहुत कुशल है, और मैनुअल कोड की समीक्षा विशेष रूप से कार्य दिवस के अंत में कई मामलों में स्वचालित सत्यापन से नीच होगी।

उपयोगकर्ता की अनुमति के साथ, मैं आपको पत्राचार के बारे में बताऊंगा:

पत्र १

गलत सकारात्मक V712:

uint32_t StartUpCounter = 0, HSEStatus = 0; RCC->CR |= ((uint32_t)RCC_CR_HSEON); /* Wait till HSE is ready and if Time out is reached exit */ { HSEStatus = RCC->CR & RCC_CR_HSERDY; StartUpCounter++; } while((HSEStatus == 0) && (StartUpCounter != HSE_STARTUP_TIMEOUT)); // V712... 

पत्र २

एक गलत सकारात्मक V715 है:

 { // V715 ... lpmode.cpp 356 HSEStatus = RCC->CR & RCC_CR_HSERDY; StartUpCounter++; } while((HSEStatus == 0) && (StartUpCounter != HSE_STARTUP_TIMEOUT)); 

पत्र ३

क्रिसमस ट्री चिपक जाती है, मुग्ध जगह! सब कुछ है, शपथ (पिछले पत्रों से कोड देखें):

V560 सशर्त अभिव्यक्ति का एक हिस्सा हमेशा सच होता है: (StartUpCounter! = ((Uint16_t) 0x5000))। lpmode.cpp 356

V776 संभावित रूप से अनंत लूप। लूप से बाहर निकलने की स्थिति में चर 'HSEStatus == 0' पुनरावृत्तियों के बीच अपना मान नहीं बदलता है। lpmode.cpp 356

शायद मुझे कुछ समझ में नहीं आ रहा है? लेकिन व्यवहार में, सब कुछ काम करता है, और यदि क्वार्ट्ज शुरू नहीं होता है, तो हम टाइमआउट;;

पत्र 4 (उत्तर)

हैलो, कोंस्टेंटिन।

हम चेतावनी देते हैं। अगले सप्ताह मैं संदिग्ध स्थानों पर टिप्पणी करूंगा :-)

पत्र ५

अरे! मैंने आपके कोड को लेटरल विज़न के साथ लिखने के बाद ही देखा था - डू स्टेटमेंट को छोड़ दिया गया था ... सब कुछ गिर गया! काफी आंख धुंधला%)

do {...} जबकि (...);

निष्कर्ष

जैसा कि आपने देखा होगा, एक ही जगह पर 4 एनालाइज़र चेतावनी थी, लेकिन फिर भी एक त्रुटि के उपयोगकर्ता को समझाने में समय लगा। ऐसी स्थिति में, मैन्युअल समीक्षा का भी मौका नहीं मिलेगा।

एक सुखद अंत के साथ एक समान कहानी: " कैसे पीवीएस-स्टूडियो साढ़े तीन प्रोग्रामर की तुलना में अधिक चौकस हो गया ।"

अपनी परियोजना में स्थिर विश्लेषक का उपयोग करें। वे एक सहकर्मी के साथ कोड की समीक्षा के लिए एक विकल्प नहीं हैं, लेकिन कोड गुणवत्ता नियंत्रण के लिए एक उपयोगी पूरक हैं।

यदि आप इस लेख को अंग्रेजी बोलने वाले दर्शकों के साथ साझा करना चाहते हैं, तो कृपया अनुवाद के लिंक का उपयोग करें: Svyatoslav Razmyslov। पीवीएस-स्टूडियो यूजर सपोर्ट से वन डे ।