Measuring Complexity at the Requirements Stage: Spectral Metrics as Development Effort Predictors

1. بيان المشكلة

تواجه الأنظمة الهندسية الحديثة تحديات مستمرة ناتجة عن زيادة التعقيد، مما يؤدي إلى تجاوز التكاليف، وتأخر الجداول الزمنية، وفشل المشاريع. وبينما تمت دراسة وقياس التعقيد المعماري بشكل مكثف، لا يزال التعقيد الهيكلي المتضمن في مواصفات المتطلبات غير مفهوم بشكل كافٍ وغير مقاس بشكل ملائم.

• الفجوة: تُعد المتطلبات محركاً أساسياً لتصميم النظام. والتعقيد الذي يُدخل في هذه المرحلة ينتقل عبر البنية المعمارية والتنفيذ. ومع ذلك، تركز المقاييس الحالية على بنية النظام (بعد مرحلة التعريف) أو تعتمد على استدلالات سطحية قائمة على النصوص (مثل عدد الكلمات، أو سهولة القراءة) التي تفشل في التقاط الترابطات الهيكلية العميقة.
• الحاجة: هناك حاجة ماسة لمقاييس كمية تم التحقق من صحتها يمكنها التنبؤ بجهد التكامل البشري بناءً على الخصائص الهيكلية للمتطلبات قبل أن تفرض القرارات المعمارية قيوداً على مرونة التصميم.

2. المنهجية

استخدم المؤلفون نهجاً تجريبياً منضبطاً يستفيد من التماثل الهيكلي (Structural Isomorphism) بين الرسوم البيانية للجزيئات وشبكات المتطلبات لعزل التعقيد الهيكلي عن الغموض الدلالي.

أ. الأساس النظري: المقايسات الطيفية (Spectral Metrics)

تستخدم الدراسة نظرية الرسم البياني الطيفي (Spectral Graph Theory) لقياس التعقيد. فبدلاً من مجرد عد الاتصالات البسيطة، تقوم هذه المقايسات بتحليل طيف القيم الذاتية (Eigenvalue Spectrum) لمصفوفات التمثيل (مصفوفات التجاور واللابلاسيان) لرسوم النظام البياني.

• المقايسات الرئيسية التي تم تقييمها:
  • طاقة الرسم البياني (GE): مجموع القيم المطلقة للقيم الذاتية لمصفوفة التجاور.
  • طاقة رسم لابلاس البياني (LGE): مشتقة من القيم الذاتية لمصفوفة لابلاس، وهي حساسة لتوزيع الدرجات.
  • حمل التكامل (Integration Load): مقياس مركب يجمع بين تعقيد المكونات وتعقيد الواجهات.
  • مقايسات التحكم: التعقيد الدوري (Cyclomatic Complexity)، وكثافة الشبكة، وفارق الكثافة (Density Delta).

ب. التصميم التجريبي: وسيط التكامل الجزيئي

لتجنب العوامل المربكة مثل الخبرة في المجال، أو الغموض اللغوي، أو تفسير أصحاب المصلحة، استخدم الباحثون مهام التكامل الجزيئي كوسيط لعملية تكامل المتطلبات.

• التماثل الهيكلي: تشكل المتطلبات المستخرجة عبر معالجة اللغات الطبيعية (NLP) شبكات متطابقة طوبولوجياً مع الهياكل الجزيئية (العقد = الكيانات/المكونات؛ الحواف = التبعيات/التفاعلات).
• المهمة: قام 23 مشاركاً من ذوي الخلفيات الهندسية (لكن دون خبرة في الكيمياء) بتجميع نماذج جزيئية ثلاثية الأبعاد ذات تعقيد هيكلي متفاوت.
• المتغيرات:
  • المتغير المستقل: مقايسات التعقيد الهيكلي المحسوبة لكل رسم بياني جزيئي.
  • المتغير التابع: وقت إنجاز المهمة (وسيط لجهد التكامل).
• الإجراء: أكمل المشاركون 10 مهام عشوائية. وتم تسجيل أوقات الإنجاز، وأُجريت تحليلات الانحدار الإحصائي (الخطي، والتربيعي، والنماذج ذات التأثيرات المختلطة) لاختبار صلاحية التنبؤ.

3. النتائج الرئيسية

أسفرت الدراسة عن ارتباطات ذات دلالة إحصائية بين مقايسات طيفية محددة وجهد التكامل، بينما فشلت المقايسات الأخرى الشائعة في التنبؤ بالأداء.

• الصلاحية التنبؤية العالية للمقايسات الطيفية:

  • طاقة لابلاس التكامل (LGE): حققت أعلى ارتباط مع وقت إنجاز المهمة ($r \approx 0.957$).
  • طاقة الرسم البياني للتكامل (GE): أظهرت ارتباطاً قوياً ($r \approx 0.954$).
  • حمل التكامل: كان أيضاً شديد القدرة على التنبؤ ($r \approx 0.954$).
  • مقايسات مستوى الجزيء: أظهر كل من متوسط GE وLGE ارتباطات قوية أيضاً ($r > 0.94$).
  • التعقيد الدوري: أظهر صلاحية تنبؤية قوية ($r \approx 0.89$).

• فشل المقايسات القائمة على الكثافة:

  • أظهرت المقايسات القائمة على كثافة الشبكة (مثل كثافة التكامل، والكثافة المطلقة) عدم وجود ارتباط معنوي مع الجهد (حيث شملت فترات الثقة الصفر). وهذا يشير إلى أن عد الاتصالات البسيطة لا يلتقط الحمل المعرفي المطلوب للتكامل.

• المتانة الإحصائية:

  • أكدت نماذج التأثيرات المختلطة الخطية (التي تأخذ في الاعتبار تباين المشاركين) أن تعقيد المهمة هو المحرك المهيمن لوقت الإنجاز، مع قيم $R^2$ هامشية حول 0.62–0.63 لأعلى المقايسات.
  • تم استبعاد متغيرات لابلاس الموحدة بسبب سلوكها غير الرتيب (حيث انخفضت القيم مع زيادة التعقيد).

4. المساهمات الرئيسية

1. التحقق التجريبي من المقايسات الطيفية: تقدم الورقة أول دليل تجريبي منضبط على أن مقايسات التعقيد الطيفي (تحديداً GE وLGE) المستمدة من التمثيلات الرسومية يمكنها التنبؤ بجهد التكامل البشري بارتباطات تتجاوز 0.95.
2. الربط بين المتطلبات والبنية المعمارية: إنها تؤسس جسراً منهجياً، وتثبت أن تقنيات قياس التعقيد التي كانت مخصصة سابقاً لبنية النظام يمكن تطبيقها على مرحلة المتطلبات عبر استخراج البيانات باستخدام معالجة اللغات الطبيعية (NLP) والتماثل الهيكلي.
3. تحسين اختيار المقايسات: توضح الدراسة بشكل قاطع أن المقايسات القائمة على الكثافة هي مقايسات ضعيفة للتنبؤ بالجهد، بينما تلتقط المقايسات المشتقة من القيم الذاتية الأبعاد المعرفية والطوبولوجية للتعقيد التي تغفلها مقايسات الاتصال الأبسط.
4. إطار التكامل: تقترح إطاراً ثلاثي المراحل لهندسة المتطلبات:
   • الاستخراج الهيكلي: استخدام معالجة اللغات الطبيعية (NLP) لتحويل النص إلى رسوم بيانية.
   • تكميم التعقيد: حساب المقايسات الطيفية.
   • دعم القرار: استخدام المقايسات لتحديد المتطلبات عالية المخاطر لإعادة تخصيص الموارد أو التفكيك.

5. الأهمية والآثار المترتبة

• الإدارة الاستباقية للمخاطر: من خلال قياس التعقيد في مرحلة المتطلبات، يمكن للمؤسسات تحديد "بؤر التعقيد" (مثل التبعيات الدائرية، أو مجموعات التداخل الكثيفة) مبكراً، عندما تكون مرونة التصميم في أعلى مستوياتها وتكلفة المعالجة في أدنى مستوياتها.
• تخصيص الموارد: يمكن أن تعمل درجات التعقيد الطيفي العالية كمؤشرات رائدة لتكليف مهندسين أكثر خبرة، أو تخصيص المزيد من موارد الاختبار، أو منح الأولوية لأنظمة فرعية معينة للتكامل المبكر.
• التكامل مع الذكاء الاصطناعي ونماذج اللغات الكبيرة (LLMs): الطبيعة المستقلة عن المجال لهذه المقايسات تجعلها مثالية لبوابات الجودة المؤتمتة في هندسة المتطلبات المدعومة بالذكاء الاصطناعي. حيث يمكنها بشكل موضوعي رصد المواصفات التي يولدها الذكاء الاصطناعي والتي تسبب تعقيداً هيكلياً، حتى لو بدا المحتوى الدلالي صحيحاً.
• التحول من النوعي إلى الكمي: ينقل هذا البحث هندسة المتطلبات من كونها مجالاً نوعياً في الغالب إلى مجال مستنير بتحليل هيكلي كمي صارم، مما يعكس نضج إدارة التعقيد المعماري.

الخاتمة

تخلص الورقة إلى أن التعقيد الهيكلي في المتطلبات قابل للقياس والتنبؤ به. وتوفر المقايسات الطيفية، وخاصة طاقة الرسم البياني (GE) وطاقة لابلاس (LGE)، أساساً رياضياً قوياً للتنبؤ بجهد التطوير، مما يسمح بالانتقال نحو إدارة استباقية للتعقيد تخفف من المخاطر اللاحقة في هندسة الأنظمة الحديثة.