جفتگری (دانش رایانه)

در دانش رایانه جفتگری یا وابستگی به میزان اتکای یک ماژول از برنامه به سایر ماژولها گفته می‌شود.
جفتگری عموما با چسبندگی در تقابل است. جفتگری ضعیف معمولا با چسبندگی زیاد همراه می‌شود و بالعکس. این دو مشخصه به عنوان معیارهای اندازه‌گیری کیفیت نرم‌افزار، توسط لری کنستانتین، از توسعه دهندگان اصلی طراحی ساختاریافته ابداع شدند. غالبا جفتگری ضعیف نشانه یک طراحی خوب و یک سیستم خوش ساختار است واگر با چسبندگی بالا همراه شود خوانایی و قابلیت نگهداری سیستم افزایش می‌یابد.
جفتگری را می‌توان نقطه مقابل چسبندگی (Cohesion) دانست. جفتگری کم اغلب با چسبندگی زیاد متناظر است و بالعکس. چسبندگی و جفتگری به عنوان معیارهای اندازه‌گیری کیفیت نرم‌افزار توسط لری کنستانتین، یکی از توسعه دهنگان اصلی طراحی ساختاریافته، که از طرفداران اولیه این مفاهیم بود ابداع شد. جفتگری ضعیف غالبا نشانه یک سیستم رایانه‌ای خوش ساخت و یک طراحی خوب است و اگر با چسبندگی بالا نیز همراه شود، باعث افزایش خوانایی و قابلیت نگهداری می‌شود.
انواع جفتگری در زبان‌های ساخت‌یافته
مدل مفهومی جفتگری
جفتگری ممکن است زیاد (جفتگری قوی یا سفت) یا کم (جفتگری ضعیف یا شل) باشد. برخی از انواع جفتگری به ترتیب نزولی از بیشترین تا کمترین میزان جفتگری عبارتند از:
جفتگری محتوا(Content Coupling)
در این نوع جفتگری یک ماژول از برنامه به جزئیات داخلی یک ماژول دیگر وابسته است یا آن را تغییر می‌دهد. (مثلا دسترسی به داده‌های محلی یک ماژول دیگر)
جفتگری مشترک (Common Coupling)
زمانی است که دو ماژول یک داده سراسری (مانند یک متغیر سراسری) را به اشتراک می‌گذارند.
جفتگری بیرونی(External Coupling)
زمانی رخ می‌دهد که دو ماژول به‌طور مشترک از یک پروتکل ارتباطی یا فرمت داده‌ای و مشابه آن‌ها که از یک منبع بیرونی به سیستم تحمیل می‌شود استفاده می‌کنند.
جفتگری کنترلی(Control Coupling)
وقتی است که یک ماژول روند اجرای یک ماژول دیگر را از طریق ارسال اطلاعات مربوط به کاری که باید انجام شود کنترل می‌کند.
جفتگری ساختار داده(Data Structured Coupling)
وقتی که دو ماژول از یک ساختار داده‌ای مشترک استفاده می‌کنند اما هرکدام تنها به بخشی از آن نیاز دارند.
جفتگری پیام(Message Coupling)
ضعیفترین نوع جفتگری است که در آن ماژولها به یکدیگر وابسته نیستند بلکه تنها با استفاده از یک واسط عمومی به تبادل پیام‌های بدون پارامتر می‌پردازند.
استاندارد موسسه مهندسان برق و الکترونیک
این استاندارد توسط موسسه مهندسان برق و الکترونیک ارائه شده و مشتمل بر ۶ جفتگری است این استاندارد تا حد زیاد با آنچه گلنفورد میرز در سال ۱۹۷۴ ارائه داده شباهت دارد ولی تفاوت‌های نیز وجود دارد.
جفتگیری علی (Pathlogical Coupling): دو ماژول از طریق داده مشترک با یکدیگر به ارتباط می‌پردازند.
جفتگیری مشترک (Common couplin): یک ماژول محتوی ارجاعی به ماژول دیگر باشد. این رابطه می‌تواند در قالب رابطه بخشی-از (part-of) و ارث‌بری رخ دهد.
جفتگیری ترکیبی (Hybrid Coupling): پارامتری که هم‌زمان به عنوان داده و نیز کنترل‌کننده جریان عمل می‌نماید. برای مثال ارسال عدد صفر به صورتی که داده است و اعلام می‌نماید که پیغام فرستاده شده قابل درک نیست.
جفتگیری محیط مشترک (Common-Enviroment Coupling): از طریق داده مشترک با یکدیگر ارتباط برقرار می‌نمایند.
جفتگیری داده‌ای (Data copling): از طریق یک داده ساده ماژول‌ها ارتباط برقرار می‌نمایند.
جفتگیری کنترلی (Control Coupling): ماژول تاثیری در کنترل ماژول دیگری از طریق ارسال داده به هر نحو داراست.
این استاندراد اگرچه از لحاظ لغوی به بررسی پرداخته، برخی از جنبه‌ها را فراموش نموده که مهمترین آن، به دلیل قدیمی بودن و عدم روزآوری، درنظر نگرفتن برنامه‌نویسی شیءگراست.
جفتگری در زبان‌های شیءگرا
نورمن فنتون در کتاب «متریک‌های نرم‌افزاری: رویکردی سخت‌گیرانه و عملی» متریک نرم‌افزاری را به صورت: «در حقیقت متریک نرم‌افزاری عبارتی بنیادی برای توصیف دامنه وسیعی از فعالیت‌های اندازه‌گیری است. این فعالیت‌ها از استخراج مشخصه‌هایی است که ویژگی‌های کد نرمافزار (تعریف کلاسیک «متریک» در نرم‌افزار) تا مدلهایی برای پیش‌بینی منابع لازم برای نرم‌افزار و کیفیت آن را در بر می‌گیرند. این موضوع همچنین شامل جنبه‌هایی از کنترل کیفیت و ضمانت است که پوشش دهنده فعالیت‌هایی از قبیل یافتن نقایص در طول توسعه و آزمایش است». همچنین وی درباره این موضوع که نباید به سرعت به دنبال انتزاعی کردن تعریف پیش رفت نیز گفته است: «… برای ایجاد نگاشت (ریاضی) تعجیل کرده و سپس اعداد را دستکاری می‌نماییم…».
با ارائه زبان‌های شیءگرا و ارائه ویژگی‌های آن از سوی «گریدی بوش» ویژگی‌های زبان‌های شیءگرا برشمرد. کلاس و شیء دو گونه جدید بود که دربرابر ساختارهای قدیمی قرار می‌گرفت. «شیام چیدامبر» و «کریس کمرر» چارچوبی را برای اندازه‌گیری کیفیت ارائه نمودند. این چارچوب شامل چندین متریک بود که هر یک یکی از وجوه نرم‌افزار را اندازه‌گیری می‌کرد. این چارچوبی یکی از اولین تلاش‌های در این زمینه بود.
نام متریک
مخفف
توصیف
کاپلینگ بین اشیاء
CBO
شیی از کلاس استفاده کند یا مورد استفاده قرار گیرد
ارسال پیام
RFC
تعداد متدهایی که به صورت مستقیم فراخوان شدهاست
عمق درخت ارثبری
DIT
تعداد کلاس‌هایی که از کلاس مورد نظر به نحوی ارثبری کرده‌اند
متدهای وزن‌دار
WMPC
تعداد متدهای موجود در کلاس (شمارش براساس وزن‌دهی)
این متریک مورد انتقادهای زیادی قرار گرفت. «مارتین هیتز» و «بهزاد منتظری» نسبت به روش شمارش آن نقد داشتند. همچنین «تریسی هال» و «توبیاس میر» متریک‌های ارائه شده توسط چیدامبر را بدون منطق و کارایی خطاب کردند.
«هیتز» و «منتظری» چارچوبی جدید را ارائه کردند. ویژگی چارچوب آن‌ها پوشش دو موضوع ارائه شده توسط زبان‌های شی‌گرا بود. آن‌ها میان «شیء» و «کلاس» تفاوت قایل شدند و برای هریک متریکی جداگانه را پوشش دادند. هر دو متریک چدامبر-کمرر و هیتز-منتظری از نوع اعداد ترتیبی بودند. اما روش چیدامبر-کمرر به هیچ وجه اصول اعداد ترتیبی را رعایت نمی‌کرد که منجر به عدم عملیاتی شدن آن می‌گردد. تد فیسون از جهت دیگری به مسئله جفتگری نگاه نموده و آن را از دو جهت بررسی نموده: «ذات» و «گونه». از لطاظ ذات، جفتگری به دو بخش ایستا و پویا تقسیم می‌گردد. در بخش ایستا، تا زمانی که تمام ماژول‌ها فراهم نباشد اصولا برنامه قادر به کامپایل شدن نمی‌باشد. ذات پویا نیز خواستار کد اجرایی برنامه در حین اجراست.
از نظر گونه به سه زیر دسته «جفتگری براساس گونه»، «جفتگری منطقی» و نیز «جفتگری براساس امضا» تقسیم می‌شوند.
نوع جفتگری
زیر مجموعه
شرح
ذات
مثال
منطقی
الگوریتم
دو ماژول براساس یک الگوریتم و به صورت غیر مستقیم با یکدیگر در ارتباط هستند، در صورت تغییر یک از آن‌ها دیگری نیز باید تغییر نماید
پویا
خواندن/نوشتن، رمزنگاری/رمزگشایی
لیترال
دو ماژول بر روی داده‌هایی کار می‌نمایند که مستقیما بین آن‌ها تبادل نمی‌شود اما ترتیب آن‌ها از نظر مفهومی بسیار مهم است و هر گونه تغییر در یکی منجر به ساقط اعتبار شدن فهم ماژول دیگر در فهم داده می‌شود
پویا
ارسال یک آرایه شامل نام و سال
گونه
غیرمبهم
ایجاد یک شی از کلاسی دیگر در همان ماژول یا ماژول متفاوت
پویا
ایجاد شی با استفاده از عملگر new در سی++
مبهم
کلاسی محتوی یک ارجاع به شی دیگر بدون ایجاد مستقیم آن
پویا
دریافت ارجاع به شی از طریق پارمتری در یکی از متدها کلاس جاری
K
کلاسی محتوی یک داده ثابت از کلاس دیگری باشد
ایستا/پویا
کامپایلر در نوع ایستا قادر به کشف و حذف آن است
سکو
با فراخوانی هریک از کلاس‌های پایه سکوی اجرای برنامه، برنامه/ماژول/کلاس به سکوی اجرایش جفت می‌گردد که قابل حذف و تعدیل نمی‌باشد
پویا
مثل cout<<"hello!" در سی++
امضا
ندارد
در این نوع جفت‌گری، به جای کلاس یا ماژول، دو متد از اشیا به یکدیگر جفت می‌شوند. این دو شی اطلاعی از وجود یکدیگر ندارند و توسط توسعه‌گر ثالث و با استفاده از یکسان بودن امضای دو متد صورت می‌گیرد
پویا
استفاده از delegate در C# و mirror در جاوا