Observational slicing based on visual semantics

التفاصيل البيبلوغرافية
العنوان: Observational slicing based on visual semantics
المؤلفون: Shin Yoo, Roger D. Eastman, David Binkley
المصدر: Journal of Systems and Software. 129:60-78
بيانات النشر: Elsevier BV, 2017.
سنة النشر: 2017
مصطلحات موضوعية: Theoretical computer science, Source code, Computer science, Programming language, Generalization, Semantics (computer science), media_common.quotation_subject, 020207 software engineering, 02 engineering and technology, computer.software_genre, Slicing, Range (mathematics), Hardware and Architecture, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Program slicing, Code (cryptography), computer, Software, Information Systems, media_common
الوصف: We describe how to slice languages with non-standard semantics.We present implementation of a slicer for Picture Description Languages.We study the PDL slices and resulting diagrams both quantitatively and qualitatively.We introduce a novel template matching for PDL slicing. Program slicing has seen a plethora of applications and variations since its introduction over 35 years ago. The dominant method for computing slices involves significant complex source-code analysis to model the dependencies in the code. A recently introduced alternative, observation-based slicing, sidesteps this complexity by observing the behavior of candidate slices. Observation-based slicing has several other strengths, including the ability to easily slice multi-language systems.However, the initial implementation of observation-based slicing, ORBS, remains rooted in tradition as it captures semantics by comparing sequences of values. This raises the question of whether it is possible to extend slicing beyond its traditional semantic roots. A few existing projects have attempted this but the extension requires considerable effort.If it is possible to build on the ORBS platform to more easily generalize slicing to languages with non-traditional semantics, then there is the potential to vastly increase the range of programming languages to which slicing can be applied. ORBS supports this by reducing the problem to that of generalizing how semantics are captured. Taking Picture Description Languages as a case study, the challenges and effectiveness of such a generalization are considered. The results show that not only is it possible to generalize the ORBS implementation, but the resulting slicer is quite effective, removing from 8% to 98% of the original source code with an average of 83%. Finally a qualitative look at the slices finds the technique very effective, at times producing minimal slices.
تدمد: 0164-1212
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ed2046372b0f025736f724689e6b8078
https://doi.org/10.1016/j.jss.2016.04.009
حقوق: CLOSED
رقم الأكسشن: edsair.doi...........ed2046372b0f025736f724689e6b8078
قاعدة البيانات: OpenAIRE