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