کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6874841 1441442 2018 35 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Algorithmic debugging generalized
ترجمه فارسی عنوان
اشکالزدایی الگوریتمی تعمیم یافته است
کلمات کلیدی
اشکالزدایی الگوریتمی، دگرگونی، تعمیم،
ترجمه چکیده
اشکالزدایی الگوریتمی یک تکنیک اشکالزدایی نیمه اتوماتیک است که جزئیات عملیات محاسبات را خلاصه می کند، و برنامه نویس ها را قادر می سازد تا کد خود را از دیدگاه انتزاعی اشکال زدایی کنند. با این حال، استفاده از آن در عمل هنوز حاشیه ای است و یکی از دلایل عدم دقت این تکنیک در هنگام خطایی گزارش کردن است (فعل الگوریتم های فعلی الگوریتم بیان یا خط را به عنوان حشره ای نشان نمی دهند، اما آنها یک روش کامل / عملکرد / روش را نشان می دهند همانطور که حاوی اشکال است). در این مقاله، ما یک گام برای جلوگیری از این مشکل گام برداریم. ما دو دلیل خاص از این مشکل را در فرمول بندی استاندارد و پیاده سازی اشکال زدایی الگوریتمی شناسایی می کنیم و برای اصلاح هر دو مشکل، یک اصلاحیه ارائه می کنیم. ما نشان می دهیم که ایده های جدید موجود در اصلاح پیشنهاد شده توسط استاندارد های داخلی داده های استاندارد (مانند درخت اجرای اجرا) مورد استفاده در این روش پشتیبانی نمی شود و از این رو تعمیم تعاریف و الگوریتم های استاندارد مورد نیاز است. اصلاح فرمولاسیون به شیوه ای مستقل زبان انجام شده است تا آن را در زبان های برنامه نویسی مختلف مفید و قابل استفاده کند.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
اشکالزدایی الگوریتمی تعمیم یافته است
چکیده انگلیسی
Algorithmic debugging is a semi-automatic debugging technique that abstracts the operational details of computations, allowing the programmers to debug their code from an abstract point of view. However, its use in practice is still marginal, and one of the reasons is the lack of precision of this technique when reporting errors (current algorithmic debuggers do not point an expression or line as buggy, but they point a whole procedure/function/method as containing the bug). In this paper, we make a step forward to overcome this problem. We identify two specific causes of that problem in the standard formulation and implementations of algorithmic debugging, and we present a reformulation to solve both problems. We show that the novel ideas included in the reformulation proposed cannot be supported by the standard internal data structures (such as the Execution Tree) used in this technique and, hence, a generalisation of the standard definitions and algorithms is needed. The reformulation has been done in a language-independent manner to make it useful and reusable in different programming languages.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 97, June 2018, Pages 85-104
نویسندگان
, ,