کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
433353 1441667 2014 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
CD-Form: A clone detector based on formal methods
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
CD-Form: A clone detector based on formal methods
چکیده انگلیسی


• We propose the use of formal methods (Calculus of Communicating Systems) for detection of software clones.
• We introduce a technique for translating Java bytecode to process algebra representation.
• We present an optimized implementation able to deal with real-world software projects.
• We provide a comparison with a state-of-the-art tool, obtaining comparable results.

This paper presents the design and implementation of CD-Form (Clone Detector based on FORmal Methods), a tool targeted at the detection of Type-2 clones in Java code. CD-Form is based on a novel approach for detecting code clones. The methodology adopted performs the analysis on Java bytecode and not on the original Java source. The bytecode is transformed into CCS (Calculus of Communicating Systems) processes, which are successively checked for equivalence. After a thorough description of the methodology used for detecting clones, the design of the tool is presented. The results obtained by evaluating sample Java codes are validated by comparing them to those obtained by a state-of-the-art tool for clone detection.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 95, Part 4, 1 December 2014, Pages 390–405
نویسندگان
, , ,