👩🏾‍🚀 🛀 🔈 प्लेटफार्मियो में पीवीएस-स्टूडियो का एकीकरण 👰🏼 🙎🏻 🤶🏾

हाल ही में, PlatformIO एम्बेडेड सिस्टम डेवलपमेंट परिवेश में, PVS-Studio के लिए समर्थन दिखाई दिया है। इस लेख में, आप सीखेंगे कि एक उदाहरण के रूप में एक खुली परियोजना का उपयोग करके एक स्थिर विश्लेषक के साथ अपने कोड का परीक्षण कैसे करें।

PlatformIO क्या है?

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

आयात परियोजना

प्रदर्शित करने के लिए, चलो ArduPod ले षट्पद नियंत्रण कार्यक्रम Arduino मेगा बोर्ड पर।

एक उपयुक्त बोर्ड के लिए एक नया प्रोजेक्ट बनाएं और स्रोत कोड की प्रतिलिपि बनाएँ:

फ़ोल्डर / arduino / AP_Utils / उदाहरण / में हेक्सापोड को कॉन्फ़िगर करने और चलाने के लिए कई उदाहरण हैं, हम servo_test.ino का उपयोग करेंगे। Arduino के लिए कार्यक्रम, एक नियम के रूप में, INO प्रारूप में रेखाचित्र के रूप में बनाया गया है, जो इस मामले में पूरी तरह से उपयुक्त नहीं है। सही .cpp फ़ाइल बनाने के लिए, यह आमतौर पर फ़ाइल नाम एक्सटेंशन को बदलने के लिए पर्याप्त है , शुरुआत में #include <Arduino.h> हैडर जोड़ें , और सुनिश्चित करें कि उन्हें एक्सेस करने से पहले फ़ंक्शन और वैश्विक चर घोषित किए जाते हैं।

विधानसभा प्रक्रिया के दौरान, आवश्यक तीसरे पक्ष के पुस्तकालयों की कमी के बारे में त्रुटियां हो सकती हैं। हालाँकि, PlatformIO आपको उन्हें अपने भंडार में खोजने में मदद करेगा।

In file included from src\servo_test.cpp:20:0:
src/AP_Utils.h:10:37: fatal error: Adafruit_PWMServoDriver.h:
No such file or directory
*******************************************************************************
* Looking for Adafruit_PWMServoDriver.h dependency? Check our library registry!
*
* CLI> platformio lib search "header:Adafruit_PWMServoDriver.h"
* Web> https://platformio.org/lib/search?query=header:Adafruit_PWMServoDriver.h
*
*******************************************************************************
compilation terminated.

लिंक उचित विकल्प दिखाएगा, और निर्भरता की स्थापना टर्मिनल में एक कमांड के साथ की गई है:

pio lib install "Adafruit PWM Servo Driver Library"

विश्लेषणकर्ताओं को कॉन्फ़िगर करना और एक परीक्षण शुरू करना

एनालाइज़र को कॉन्फ़िगर करने के लिए, आपको platformio.ini कॉन्फिगर को इस तरह से एडिट करना होगा:

[env:megaatmega2560]
platform = atmelavr
board = megaatmega2560
framework = arduino
check_tool = pvs-studio
check_flags =
  pvs-studio:
    --analysis-mode=4 ; General analysis mode. Set to 32 for MISRA
    --exclude-path=/.pio/libdeps ; Ignore dependency libraries

Check_tool पैरामीटर इंगित करता है कि किस कोड का उपयोग करने के लिए विश्लेषण किया जाता है, और उनका कॉन्फ़िगरेशन check_flags पैरामीटर में किया जाता है । आधिकारिक वेबसाइट पर प्रलेखन में अधिक विस्तृत निर्देश पाए जा सकते हैं: https://docs.platformio.org/en/latest/plus/check-tools/pvs-studio.html

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

pio check

हेक्सापॉड कार्यक्रम की जाँच का परिणाम है

इस बार, लेख का लक्ष्य प्लेटफ़ॉर्मियो के साथ पीवीएस-स्टूडियो के एकीकरण का प्रदर्शन करना है, न कि विश्लेषक की नैदानिक क्षमताओं का प्रदर्शन करना है। हालाँकि, एक बार परियोजना सत्यापित हो जाने के बाद, कुछ त्रुटियों को देखते हुए पाया गया कि परियोजना का सफलतापूर्वक विश्लेषण किया गया था।

V519 बाईं और '-' ऑपरेटर के दाईं ओर समान उप-अभिव्यक्तियाँ हैं: pow (t, 2) - pow (t, 2)। AP_Utils.cpp 176

pointLeg* AP_Utils::traceLeg(uint8_t leg, float phi, float z,
  int resolution, uint8_t shape) {
  ....
  if(shape == ELLIPTIC) {
    ....
    float v = sqrt(pow(phi - legs[leg].phi, 2) + pow(z - legs[leg].z, 2));
    float u = sqrt(pow(phi - phi0, 2) + pow(z - z0, 2));
    float t = sqrt(pow(phi0 - legs[leg].phi, 2) + pow(z0 - legs[leg].z, 2));
    theta = acos((pow(t, 2) - pow(t, 2) - pow(v, 2))/(-2.0*t*u));
    ....
  }
  ....
}

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

V550 एक विषम सटीक तुलना: मान! = - 1. परिभाषित सटीकता के साथ तुलना का उपयोग करना बेहतर है: फ़ैब्स (ए - बी)> एप्सिलॉन। AP_Utils.cpp 574

float AP_Utils::sr04_average(uint8_t trig, uint8_t echo,
  int unit, int samples, int time) {
  ....
  float average, pause, value;
  ....
  for(int i=0; i<samples; i++) {
    value = sr04(trig, echo, unit);
    if(value != -1) { // <=
      total += value;
      delay(pause);
    } else {
      i--;
    }
  }
  average = total/samples;
  ....
  return average;
}

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

bool is_equal(double x, double y) {
  return std::fabs(x - y) < 0.001f;
}

गैर-पूर्णांक संख्याओं की सीधे तुलना करने का एकमात्र सुरक्षित विकल्प है कि स्थिरांक को वेरिएबल्स में असाइन किया जाए, और फिर इन स्थिरांक के साथ उनके मूल्यों की तुलना करें। इस स्थिति में, चर मान का मान विशेष रूप से कहीं नहीं दिया गया है -1। इस प्रकार कहा जाता है AP_Utils :: sr04 विधि काम करती है , जो चेक किया गया मान लौटाता है:

float AP_Utils::sr04(uint8_t trig, uint8_t echo, int unit) {
  ....
  float duration, distance;
  ....
  duration = pulseIn(echo, HIGH);
  distance = (346.3*duration*0.000001*unit)/2; // <=
  
  if((distance >= 0.02*unit) && (distance <= 4*unit)) {
    ....
    return(distance);
  } else {
    ....
    return 0;
  }
}

जैसा कि आप देख सकते हैं, मान कुछ गणनाओं का परिणाम लिखा जाता है। असाइनमेंट -1 कहीं नहीं देखा जा सकता है, लेकिन AP_Utils :: sr04 0 पर वापस आ सकता है, और यह बताता है कि तुलना परिणाम के साथ नहीं की गई है।

निष्कर्ष

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

उन लोगों के लिए जो अधिक विस्तार से पीवीएस-स्टूडियो सुविधाओं के बारे में सीखना चाहते हैं, मैं आपको निम्नलिखित लेखों को देखने की सलाह देता हूं:

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

प्लेटफार्मियो में पीवीएस-स्टूडियो का एकीकरण

PlatformIO क्या है?

आयात परियोजना

विश्लेषणकर्ताओं को कॉन्फ़िगर करना और एक परीक्षण शुरू करना

हेक्सापॉड कार्यक्रम की जाँच का परिणाम है

निष्कर्ष

More articles: