PHP के लिए स्वचालित कोड सत्यापन

मुझे आपको जोहान्स श्मिट ऑटोमेटेड कोड समीक्षाएं PHP के लिए एक लेख के अनुवाद से परिचित कराती हूं। व्यक्तिगत रूप से, उसने मुझे अपने अनुप्रयोगों के विकास और परीक्षण की प्रक्रिया पर थोड़ा अलग नज़र डालने में मदद की। और परीक्षण के लिए लेखक का मूल दृष्टिकोण, कम से कम, ध्यान देने योग्य है।
यदि आप भी रुचि रखते हैं, तो बिल्ली में आपका स्वागत है।

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

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

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

<?php class UserProvider { /** @return User|null */ public function loadUser($username) { /** ... */ } public function refreshUser(User $user) { if (null === $user = $this->loadUser($user->getUsername())) { throw new RuntimeException( sprintf('User "%s" was not found.', $user->getUsername())); } return $user; } } 

और इसलिए, रिफ्रेशर विधि लोडर विधि का उपयोग करके उपयोगकर्ता वर्ग की एक वस्तु प्राप्त करती है और इस वस्तु को वापस करती है। और यदि ऑब्जेक्ट नहीं मिला है, तो यह एक अपवाद फेंकता है। सब कुछ सरल लगता है, लेकिन क्या वास्तव में ऐसा है? और अगर मैं इस बारे में पूछता हूं, तो स्पष्ट रूप से नहीं, और आप में से कई ने पहले ही एक गलती देखी है। अगर अंदर $ उपयोगकर्ता ब्लॉक शून्य है और हम उस पर getUserName विधि नहीं कह सकते हैं। ऐसी त्रुटियों को खोजने के लिए, मैंने कई सरल समाधानों की कोशिश की, लेकिन बहुत जल्दी यह स्पष्ट हो गया कि वे केवल बहुत विशिष्ट मामलों में काम करते हैं। मुझे कुछ बेहतर चाहिए था।

PHP कोड का प्रकार

मैंने डेटा प्रवाह, नियंत्रण प्रवाह और अमूर्त व्याख्या की अवधारणाओं में देरी करने में काफी समय बिताया। जो अपने आप में जटिल दिखता है और इस लेख के दायरे से परे है। लेकिन मैं आपको केवल कुछ उदाहरण देता हूं और आपको इन अवधारणाओं का एक सामान्य विचार देता हूं।

नियंत्रण प्रवाह विश्लेषण

इस धागे का विश्लेषण आपको यह निर्धारित करने की अनुमति देता है कि आपके कोड के विभिन्न ब्लॉकों को किस क्रम में निष्पादित किया जाएगा।

 <?php function fooBar($i) { if ($i > 0) { echo 'foo'; } else { echo 'bar'; } } 

इस कोड के लिए, नियंत्रण प्रवाह इस तरह दिखाई देगा:

हम शुरू करते हैं अगर, तो "दूर" या "बार" पर जाएं और अंत में बाहर निकलें। अपने आप में, यह हमारी किसी भी चीज़ में मदद करने की संभावना नहीं है, लेकिन यह अगले चरण के लिए आधार के रूप में काम करेगा।

डेटा प्रवाह विश्लेषण

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

 <?php $x = null; // $x  null. if ($y) { $x = new DateTime(); $x->format(); //   ,     $x   DateTime } else { $x = 0; } $x->format(); // $x  DateTime   "integer",     //         

कोड के आदेश को जाने बिना, हम केवल यह निष्कर्ष निकाल सकते हैं कि $ x शून्य, एक संख्या या एक डेटटाइम हो सकता है। लेकिन यह पता लगाने में हमारी मदद नहीं करता है कि क्या प्रारूप पद्धति को बुलाया जा सकता है।

सार व्याख्या

हमारे मामले के लिए, यह अवधारणा इस सवाल पर उबलती है "अगर हम सशर्त अभिव्यक्ति का परिणाम जानते हैं तो हम क्या धारणा बना सकते हैं?" आइए एक और उदाहरण देखें:

 <?php class Foo { private $logger; public function __construct(Logger $logger = null) { $this->logger = $logger; } public function doSth() { if (null !== $this->logger) { $this->logger->log('doing sth'); } } } 

इस मामले में, "सशर्त अभिव्यक्ति" शून्य है! == $ यह-> लकड़हारा। यदि यह स्थिति सत्य है, तो हमारा प्रश्न निम्न प्रकार से व्यक्त किया जा सकता है: "यदि अभिव्यक्ति शून्य है! == $ यह-> लकड़हारा सत्य है, तो $ इस बारे में क्या धारणा बनाई जा सकती है-> लकड़हारा?" जैसा कि हम पहले ही देख चुके हैं, $ यह-> लकड़हारा अशक्त या लकड़हारा हो सकता है। लेकिन अमूर्त व्याख्या के लिए धन्यवाद, हम यह सुनिश्चित कर सकते हैं कि अगर $ $ इस अंदर-> लकड़हारा हमेशा लकड़हारा का उदाहरण होगा, इसलिए, विधि कहा जा सकता है।

स्वचालित सत्यापन प्रणाली

इन सबका क्या फायदा, आप पूछिए। लेख की शुरुआत में, मैंने कहा कि मेरा लक्ष्य एक स्वचालित कोड सत्यापन प्रणाली बनाना था। और मुझे लगता है कि अब यह व्यापक उपयोग और चर्चा के लिए तैयार है। मैंने अपने सिस्टम के साथ अग्रणी PHP पुस्तकालयों का परीक्षण किया, जैसे कि Zend फ्रेमवर्क 2, Symfony2, Doctrine, Propel और कई अन्य। इसमें 100 से अधिक सत्यापन नियम शामिल हैं जिन्हें आप उपयोग और कॉन्फ़िगर कर सकते हैं। यदि आपके पास Github पर PHP प्रोजेक्ट है तो आप आसानी से इसे आज़मा सकते हैं। बस http://jmsyst.com/automated-code-reviews पर लॉग इन करें और उस रिपॉजिटरी का चयन करें जिसकी आपको ज़रूरत है। और यदि आप इसे पसंद नहीं करते हैं, तो आप इसे किसी भी समय बंद कर सकते हैं।

यदि अब कोई कहता है कि PHP प्रोग्रामर कोड की गुणवत्ता के बारे में बहुत गंभीर नहीं हैं, तो उन्हें मेरे पास भेजें।