![](/images/graphics-bg.png)
Combining Slicing and Constraint Solving for Better Debugging : The CONBAS Approach
المؤلفون المشاركون
المصدر
Advances in Software Engineering
العدد
المجلد 2012، العدد 2012 (31 ديسمبر/كانون الأول 2012)، ص ص. 1-18، 18ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2012-12-31
دولة النشر
مصر
عدد الصفحات
18
التخصصات الرئيسية
الملخص EN
Although slices provide a good basis for analyzing programs during debugging, they lack in their capabilities providing precise information regarding the most likely root causes of faults.
Hence, a lot of work is left to the programmer during fault localization.
In this paper, we present an approach that combines an advanced dynamic slicing method with constraint solving in order to reduce the number of delivered fault candidates.
The approach is called Constraints Based Slicing (CONBAS).
The idea behind CONBAS is to convert an execution trace of a failing test case into its constraint representation and to check if it is possible to find values for all variables in the execution trace so that there is no contradiction with the test case.
For doing so, we make use of the correctness and incorrectness assumptions behind a diagnosis, the given failing test case.
Beside the theoretical foundations and the algorithm, we present empirical results and discuss future research.
The obtained empirical results indicate an improvement of about 28% for the single fault and 50% for the double-fault case compared to dynamic slicing approaches.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Hofer, Birgit& Wotawa, Franz. 2012. Combining Slicing and Constraint Solving for Better Debugging : The CONBAS Approach. Advances in Software Engineering،Vol. 2012, no. 2012, pp.1-18.
https://search.emarefa.net/detail/BIM-486399
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Hofer, Birgit& Wotawa, Franz. Combining Slicing and Constraint Solving for Better Debugging : The CONBAS Approach. Advances in Software Engineering No. 2012 (2012), pp.1-18.
https://search.emarefa.net/detail/BIM-486399
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Hofer, Birgit& Wotawa, Franz. Combining Slicing and Constraint Solving for Better Debugging : The CONBAS Approach. Advances in Software Engineering. 2012. Vol. 2012, no. 2012, pp.1-18.
https://search.emarefa.net/detail/BIM-486399
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-486399
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)