ما هو القديم هو جديد مرة أخرى مع أحدث باحث عن معهد ماساتشوستس للتكنولوجيا

رمز التصحيح هو صداع دائم لمطوري البرامج ، لكن العلماء أعلنوا عن تقنية جديدة يمكن أن تسهل العملية بشكل ملحوظ.

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

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

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

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

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

يطلق عليها اسمًا ، أنتج النظام نتائج واعدة.

"قابلية توسعة باسيكت رائعة - وقال راجيف جوبتا استاذ علوم الكمبيوتر والهندسة بجامعة كاليفورنيا في ريفرسايد "في بضع دقائق جمعت ما يقرب من 2700 سطر كود." "علاوة على ذلك ، مقارنة النماذج التي تم توليدها بشكل إيجابي مع النماذج التي تم إنشاؤها يدويًا."