Key points are not available for this paper at this time.
الملخص: لقد تم تقديم الرسوم البيانية المعرفية مؤخرًا في مجال استراتيجيات التحقق بنجاح، مما يمثل تعقيد التحقق في التطبيقات الحياتية الواقعية. يوفر هذا التنسيق تحليلًا خاليًا من القياس لاستراتيجيات التحقق مقارنةً بمواد التحقق التقليدية مثل مصفوفات تتبع المتطلبات ومصفوفات التحقق. يمكن ملاحظة التعقيدات بصريًا وعدديًا من حيث نطاق المشكلة واعتماد الكيانات على بعضها البعض. في هذه الورقة، نستخرج أنماط معلومات استراتيجيات التحقق التي تمثل جوانب مختلفة من التحقق. يتم تحقيق ذلك من خلال الاستفادة من خصائص الشبكة للرسوم البيانية المعرفية. يتم تحليلها للكشف عن أنماط المعرفة الناشئة من أجزاء مختلفة من مواد التحقق. يتم تفسير أوجه التشابه والاختلاف بين استراتيجيتين للتحقق عدديًا ودلاليًا. يتم ربط متطلبات وأنشطة التحقق التي تبدو غير مرتبطة من خلال اتصالات غير مباشرة، وتتم دراسة التفاضلات بين المتطلبات المستقلة. تؤكد هذه النتائج على قابلية توسعة تخطيط التحقق وتقييمه استنادًا إلى الرسوم البيانية المعرفية.
درس يونغ وآخرون (الخميس) هذا السؤال.