في عالم البرمجيات، تبرز الحاجة الملحة إلى أساليب فعالة تسهل عملية إصلاح الكود. في هذا السياق، يأتي مشروع THEMIS ليقدم حلاً مبتكرًا لتحقيق ذلك. يقوم هذا المشروع بتوثيق عملية الانتقال من متطلبات الإصلاح إلى تعديلات الكود بشكل تفصيلي وموثوق. يعتمد THEMIS على تفسير دلالي وعرض تمثيلي يتضمن رسم بياني لعدد من المتطلبات المرتبطة بالكود، ما يعزز من فهم المبرمجين لعمليات الإصلاح التي يقومون بها.

اشتمل مشروع THEMIS على تقييم رجعي لـ300 حالة من مشروع SWE-bench Lite، مما أظهر أن الأدلة القابلة للتفتيش تدعم فحصًا شاملاً لكل مرحلة من مراحل العمل. تم توفير أسباب كاملة للمطورين في 288 حالة، بينما احتفظت 214 حالة (71.3%) بمجموعة كاملة من السجلات المدققة.

ما يميز THEMIS هو القدرة على قياس التطابق بين المراحل بشكل منهجي، حيث تم تكرار الرموز المستهدفة في 62.6% من الأسباب المقدمة من المطورين وفي 62.8% من التعديلات، لترتفع النسبة إلى 75.8% عند تضمين الرموز ذات الصلة. في مقارنة تعتمد على 100 حالة، أثبتت طريقة العمل المتجاوبة قدرتها على حل 19 حالة مقارنة بـ9 حالات في الشروط السابقة.

تُعَدّ هذه النتائج بمثابة دليل أولي على فعالية THISMIS في جعل الانتقال من متطلبات الإصلاح إلى تعديلات الكود مثيرًا للاهتمام، مما يمكّن المبرمجين من فحص كيفية استمرار ومواءمة وتطور قرارات الإصلاح عبر المراحل المختلفة.