साइक्लोमेटिक कम्पलेक्सिटी

साइक्लोमैटिक कम्पलेक्सिटी एक सॉफ्टवेयर मीट्रिक है जिसका उपयोग प्रोग्रामिंग कम्पलेक्सिटी को इंगित करने के लिए किया जाता है। यह प्रोग्राम के स्रोत कोड के माध्यम से रैखिक रूप से इंडिपेंडेंट पाथ्स की संख्या का एक मात्रात्मक माप है। इसे 1976 में थॉमस जे. मैककेबे, सीनियर द्वारा विकसित किया गया था।

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

एक सॉफ़्टवेयर टैस्टिंग रणनीति, जिसे मैककेबे ने बेसिस पाथ टैस्टिंग कहा है, जिन्होंने सबसे पहले इसे प्रस्तावित किया था, प्रोग्राम के माध्यम से प्रत्येक रैखिक रूप से इंडिपेंडेंट पाथ की टैस्टिंग करना है; इस केस में, टैस्टिंग केसेस की संख्या प्रोग्राम की साईक्लोमैटिक कम्पलेक्सिटी के समतुल्य होती है।

परिभाषा
स्रोत कोड के एक अनुभाग की साईक्लोमैटिक कम्पलेक्सिटी इसके समाविष्ट रैखिक रूप से इंडिपेंडेंट पाथ (ग्राफ सिद्धांत) की संख्या है - पाथ्स का एक सेट रैखिक रूप से निर्भर होता है यदि एक या अधिक पाथ्स का एक उपसमूह होता है जहां उनके एज सेट का सममित अंतर रिक्त होता है। उदाहरण के लिए, यदि स्रोत कोड में कोई कंट्रोल फ्लो (कंडीशनल या डिसीज़न पॉइंट) नहीं है, तो कम्पलेक्सिटी 1 होगी, क्योंकि कोड के माध्यम से केवल एक ही पाथ होता है। यदि कोड में एक एकल-केस IF स्टेटमेंट है, तो कोड के माध्यम से दो पाथ होंगे: एक जहां IF स्टेटमेंट TRUE का मूल्यांकन करता है और दूसरा जहां यह FALSE का मूल्यांकन करता है, इसलिए कम्पलेक्सिटी 2 होगी, दो नेस्टेड एकल-केस IF, या दो शर्तों वाला एक IF, 3 की कम्पलेक्सिटी उत्पन्न करता है।

गणितीय रूप से, स्ट्रक्चर्ड प्रोग्रामिंग की साईक्लोमैटिक कम्पलेक्सिटी के प्रोग्राम को कंट्रोल-फ्लो ग्राफ के संदर्भ में परिभाषित किया गया है, एक डायरेक्टेड ग्राफ जिसमें प्रोग्राम के बेसिक ब्लॉक होते हैं, दो बेसिक ब्लॉकों के बीच एक एज के साथ यदि कंट्रोल पहले से दूसरे तक जा सकता है। कम्पलेक्सिटी $M$ को इसलिए परिभाषित किया गया है: $$M = E - N + 2P,$$जहाँ
 * $E$ = ग्राफ़ के एजेस की संख्या
 * $N$ = ग्राफ़ के नोड्स की संख्या
 * $P$ = कनेक्टेड कम्पोनेंट्स की संख्या (ग्राफ़ सिद्धांत)

एक वैकल्पिक सूत्रीकरण एक ग्राफ़ का उपयोग करना है जिसमें प्रत्येक एग्जिट पॉइंट दोबारा एंट्री पॉइंट से जुड़ा होता है। इस केस में, ग्राफस्ट्रॉन्ग्ली कनेक्टेड होता है, और प्रोग्राम की साइक्लोमैटिक कम्पलेक्सिटी इसके ग्राफ की साईक्लोमैटिक संख्या के समतुल्य है (जिसे ग्राफ सिद्धांत में पहली बेट्टी संख्या), जिसे इस प्रकार परिभाषित किया गया है $$M = E - N + P.$$इसे ग्राफ़ में उपस्थित रैखिक रूप से इंडिपेंडेंट साइकल्स की संख्या की कंप्यूटेड रूप में देखा जा सकता है, अर्थात वे साइकल्स जिनके समाविष्ट अन्य साइकल्स सम्मिलित नहीं हैं। ध्यान दें कि क्योंकि प्रत्येक एग्जिट पॉइंट एंट्री पॉइंट पर दोबारा लूप करता है, प्रत्येक एग्जिट पॉइंट के लिए कम से कम एक ऐसी साईकल जरूर होती है।

एकल प्रोग्राम (या सबरूटीन या मेथड्स) के लिए, $P$ निरंतर 1 के समतुल्य होता है। इसलिए एकल सबरूटीन के लिए एक सरल सूत्र है, $$M = E - N + 2.$$ चूँकि, साइक्लोमैटिक कम्पलेक्सिटी को एक ही समय में ऐसे कई प्रोग्रामों या सबप्रोग्रामों पर लागू किया जा सकता है (उदाहरण के लिए, एक क्लासेस के सभी विधियों पर), और इन केसेस में $P$ विचाराधीन प्रोग्रामों की संख्या के समतुल्य होगा, क्योंकि प्रत्येक सबप्रोग्राम ग्राफ़ के डिस्कनेक्ट किए गए सबसेट के रूप में दिखाई देता है।

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

साइक्लोमैटिक कम्पलेक्सिटी को कई एग्जिट पॉइंटओं वाले प्रोग्राम तक बढ़ाया जा सकता है; इस केस में यह समतुल्य है$$\pi - s + 2,$$जहाँ $$\pi$$ प्रोग्राम में डिसीज़न पॉइंटओं की संख्या है, और $s$ एग्जिट पॉइंटओं की संख्या है।

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

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

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

अधिक टोपोलॉजिकली इंक्लाइनड के लिए, साइक्लोमैटिक कम्पलेक्सिटी को वैकल्पिक रूप से एक सापेक्ष बेट्टी संख्या, एक सापेक्ष होमोलॉजी समूह के आकार के रूप में परिभाषित किया जा सकता है: $$M := b_1(G,t) := \operatorname{rank}H_1(G,t),$$ जिसे टर्मिनल नोड्स टी के सापेक्ष ग्राफ़ जी के पहले होमोलॉजी समूह की रैंक के रूप में पढ़ा जाता है। यह एक एंट्री से एग्जिट तक फ्लो ग्राफ के माध्यम से रैखिक रूप से इंडिपेंडेंट पाथ्स की संख्या कहने का एक तकनीकी विधि है, जहां:
 * रैखिक रूप से इंडिपेंडेंट समरूपता से मेल खाता है, और इसका अर्थ है कि कोई बैकट्रैकिंग को दोगुना नहीं करता है;
 * पाथ प्रथम समरूपता से मेल खाते हैं: पाथ एक 1-आयामी वस्तु है;
 * सापेक्ष का अर्थ है कि पाथ किसी एंट्री या एग्जिट पॉइंट पर स्टार्ट और फ़िनिश होनी चाहिए।

यह साईक्लोमैटिक कम्पलेक्सिटी की सहज धारणा से मेल खाता है, और ऊपर बताए अनुसार कंप्यूटेड की जा सकती है।

वैकल्पिक रूप से, कोई किसी दिए गए घटक पर सभी टर्मिनल नोड्स की पहचान करके (एक साथ चिपकाकर) पूर्ण बेट्टी संख्या (पूर्ण समरूपता - सापेक्ष नहीं) के माध्यम से इसकी कंप्यूटेड कर सकता है (या समकक्ष, एंट्री द्वार से एग्जिट को जोड़ने वाले पाथ बनाएं), जिस केस में (नए, संवर्धित ग्राफ को कॉल करना) $$\tilde G$$, जो है ), एक प्राप्त होता है $$M = b_1(\tilde G) = \operatorname{rank}H_1(\tilde G).$$ इसकी कंप्यूटेड होमोटॉपी के माध्यम से भी की जा सकती है। यदि कोई (जुड़े हुए) कंट्रोल-फ्लो ग्राफ को 1-आयामी सीडब्ल्यू कॉम्प्लेक्स मानता है, तो इसे कहा जाता है $$X$$, फिर का मौलिक समूह $$X$$ होगा $$\pi_1(X) \cong \Z^{*n}$$. का मान है $$n+1$$ साईक्लोमैटिक कम्पलेक्सिटी है. मौलिक समूह कंप्यूटेड करता है कि होमोटॉपी तक ग्राफ़ के माध्यम से कितने लूप हैं, और इसलिए हम सहज रूप से जो अपेक्षा करते हैं उसके साथ संरेखित होता है।

यह लूप की संख्या और घटकों की संख्या के रूप में साइक्लोमैटिक कम्पलेक्सिटी के लक्षण वर्णन से मेल खाता है।

व्याख्या
अपनी प्रस्तुति में 'जोखिम की पहचान करने के लिए सॉफ्टवेयर गुणवत्ता मेट्रिक्स' होमलैंड सिक्योरिटी विभाग के लिए, टॉम मैककेबे ने साईक्लोमैटिक कम्पलेक्सिटी की व्याख्या करने के लिए निम्नलिखित क्लासेसीकरण प्रस्तुत किया है:


 * 1-10 सिंपल प्रोसीजर, लिटिल रिस्क
 * 11-20 मोर काम्प्लेक्स, मॉडरेट रिस्क
 * 21 - 50 काम्प्लेक्स, हाई रिस्क
 * > 50 अन्टेस्टेबल कोड, वैरी हाई रिस्क

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

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

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

सॉफ़्टवेयर टैस्टिंग के लिए इम्प्लीकेशन
साइक्लोमैटिक कम्पलेक्सिटी का एक अन्य अनुप्रयोग उन टैस्टिंग केसेस की संख्या निर्धारित करना है जो किसी विशेष मॉड्यूल के संपूर्ण टैस्टिंग कवरेज को प्राप्त करने के लिए एसेंशियल हैं।

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

उपरोक्त तीनों संख्याएँ समान हो सकती हैं: ब्रांच कवरेज $$\leq$$ साइक्लोमेटिक कम्पलेक्सिटी $$\leq$$ पाथ्स की संख्या

उदाहरण के लिए, एक प्रोग्राम पर विचार करें जिसमें दो अनुक्रमिक यदि-तब-अन्यथा स्टेटमेंट सम्मिलित हैं।

इस उदाहरण में, पूर्ण ब्रांच कवरेज प्राप्त करने के लिए दो टैस्टिंग केस पर्याप्त हैं, जबकि पूर्ण पाथ कवरेज के लिए चार एसेंशियल हैं। प्रोग्राम की साईक्लोमैटिक कम्पलेक्सिटी 3 है (क्योंकि प्रोग्राम के लिए दृढ़ता से जुड़े ग्राफ में 9 एज, 7 नोड्स और 1 जुड़ा घटक ($9 − 8 + 2×1 = 3$) सम्मिलित है)।

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

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

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

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


 * रिटर्न ट्रू है और  रिटर्न ट्रू है
 * रिटर्न फॉल्स है और  रिटर्न फॉल्स है

इनमें से कोई भी विधि बग को उजागर नहीं करता है। चूँकि, यदि हम एसेंशियल टैस्टिंगों की संख्या को इंगित करने के लिए साइक्लोमैटिक कम्पलेक्सिटी का उपयोग करते हैं, तो संख्या बढ़कर 3 हो जाती है। इसलिए हमें निम्नलिखित पाथ्स में से एक का टैस्टिंग करना चाहिए:


 * रिटर्न ट्रू है और  रिटर्न फॉल्स है
 * रिटर्न फॉल्स देता है और  रिटर्न ट्रू है

इनमें से कोई भी टैस्टिंग बग को उजागर करता है।

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

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

आर्टिफिसियल इंटेलिजेंस
आर्टिफिसियल इंटेलिजेंसमत्ता प्रोग्रामों की सिमेंटिक कम्पलेक्सिटी के मूल्यांकन के लिए साइक्लोमैटिक कम्पलेक्सिटी का भी उपयोग किया जा सकता है।

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

यह भी देखें

 * प्रोग्रामिंग कम्पलेक्सिटी
 * कम्पलेक्सिटी जाल
 * कंप्यूटर प्रोग्राम
 * कंप्यूटर प्रोग्रामिंग
 * बहाव को काबू करें
 * डिसीज़न-से-डिसीज़न पाथ
 * डिज़ाइन विधेय
 * एसेंशियल कम्पलेक्सिटी (स्ट्रक्चर्डता का संख्यात्मक माप)
 * हालस्टेड कम्पलेक्सिटी उपाय
 * सॉफ्टवेयर इंजीनियरिंग
 * सॉफ़्टवेयर टैस्टिंग
 * स्थैतिक प्रोग्राम एनालिसिस
 * रख-रखाव

बाहरी संबंध

 * Generating cyclomatic complexity metrics with Polyspace
 * The role of empiricism in improving the reliability of future software
 * McCabe's Cyclomatic Complexity and Why We Don't Use It